Segundo The Guardian US, o último modelo da OpenAI teria resolvido um Problema do Milênio empregando dez mil agentes autônomos, com custo estimado de quinze milhões de dólares, deixando matemáticos inquietos diante da rapidez do avanço da IA.
Reação da comunidade matemática
Professora Colva Roney-Dougal, responsável pelo departamento de matemática pura da Universidade de St Andrews, disse que se sentiu ligeiramente atordoada ao saber da conquista.
Três meses depois, ela admitiu que estava completamente errada sobre a incapacidade da IA de produzir resultados em curto prazo.
David Silvester, matemático da Universidade de Manchester, declarou que o campo está se sentindo muito instável devido ao ritmo acelerado das mudanças.
Ele alertou que, com recursos suficientes, problemas em aberto podem ser resolvidos rapidamente e que essa tendência é irreversível.
James Robinson, da Universidade de Warwick, comentou que ver grandes empresas de tecnologia queimando o "combustível" dos problemas difíceis apenas para exibir o desempenho de seus modelos parece uma exibição infantil ampliada, sustentada por bilhões de dólares e com risco de dano ambiental.
Ele lembrou que a satisfação de resolver um problema vem das semanas, meses ou anos gastos girando em torno dele, testando abordagens diferentes e não desistindo; sem esse processo a matemática pareceria completamente distinta para ele.
Impacto no ensino e na verificação de provas
Segundo The Guardian US, os matemáticos já dedicam bastante tempo à revisão mútua de provas, como aconteceu na década de 1990 ao identificar uma lacuna no trabalho de Andrew Wiles sobre o último teorema de Fermat.
Isso exigiu um ano de esforços adicionais para corrigir a falha.
Silvester sugere que, no futuro, os especialistas podem passar a funcionar mais como auditores, verificando demonstrações produzidas por IA em vez de criá‑las do zero.
Isso mudaria a natureza do trabalho intelectual na área.
A reportagem aponta um sentimento crescente de que se poderia gastar um mês refletindo sobre um assunto enquanto outra pessoa resolve o mesmo problema simplesmente pressionando um botão.
Isso é descrito como horrível e provavelmente continuará por alguns anos.
Quanto ao ensino de graduação, as universidades costumam propor questões aos estudantes, mas há risco de que exercícios que antes levavam meses sejam solucionados em dias por sistemas de IA.
Isso cria dificuldades para professores que buscam avaliar o aprendizado autônomo dos alunos.
O que ainda não foi divulgado
The Guardian US não especifica qual dos Problemas do Milênio foi resolvido pelo modelo da OpenAI.
Também não fornece a data exata em que a conquista ocorreu.
Não detalha as características técnicas do modelo utilizado, tais como arquitetura ou volume de dados de treinamento.
Não apresenta comentários oficiais da OpenAI sobre o feito.
O material não menciona se houve alguma forma de validação independente da solução nem quais são os critérios usados pelos comitês responsáveis pelos prêmios para reconhecer a solução gerada por IA.
