A OpenAI publicou 722 artigos de matemática que abordam 372 problemas em aberto, abrangendo áreas que vão da álgebra e geometria à ciência da computação teórica. A empresa afirmou que o trabalho, produzido em grande parte por um modelo de IA que ainda não divulgou, poderia ajudar a ampliar as fronteiras do conhecimento humano. A divulgação provocou entusiasmo e preocupação entre matemáticos quanto à confiabilidade dos resultados e à maneira como foram apresentados.
Alguns artigos afirmam ter avançado em questões importantes e antigas, incluindo a hipótese de Riemann e a conjectura de Birch e Swinnerton-Dyer. Cada uma delas é um dos sete Problemas do Prêmio Millennium, cuja solução vale um prêmio de US$ 1 milhão. Desde então, vários artigos da coleção foram retirados ou revisados.
A OpenAI afirma que divulgou os resultados para promover o avanço da matemática. Mas alguns pesquisadores questionaram se os artigos são claros o suficiente para serem avaliados. Um matemático disse ao autor do artigo que um trabalho sobre um problema que ele conhecia bem era tão difícil de entender que, em sua opinião, não seria adequado para revisão por uma revista científica. O autor também relatou que o ChatGPT expressou fortes dúvidas sobre pelo menos um resultado de grande repercussão, dizendo que ele não deveria ser tratado como uma demonstração sem uma auditoria completa por especialistas.
A divulgação ocorreu após uma controvérsia separada sobre o trabalho da OpenAI, em setembro, relativo a um caso do problema de Navier-Stokes, outro Problema do Prêmio Millennium. Os matemáticos Tristan Buckmaster e Levent Alpöge alegaram que a OpenAI havia acessado os dados deles e usado suas ideias antes de dedicar recursos computacionais a uma solução. A OpenAI negou as alegações.
A dimensão da nova coleção também levantou questões sobre as verificações realizadas antes da publicação. A OpenAI retirou três artigos por causa de um erro elementar e corrigiu vários outros depois que erros invalidaram seus resultados. Em matemática, novos trabalhos costumam ser avaliados por especialistas antes de integrarem a literatura aceita, um processo que pode levar anos no caso de artigos técnicos extensos. A revisão da comunidade será, portanto, fundamental para determinar se as alegações se sustentam.
A OpenAI afirma ter formalizado 300 dos principais resultados, usando softwares como o Lean para traduzir argumentos matemáticos em demonstrações que podem ser verificadas passo a passo por um computador. Sistemas de IA estão sendo cada vez mais usados para automatizar esse processo. No entanto, as formalizações também podem ser implementadas incorretamente, e trabalhos anteriores gerados por IA, inclusive sobre Navier-Stokes, foram questionados. Ainda não está claro se os matemáticos aceitarão as formalizações da OpenAI.
As reações à publicação variaram entre descrevê-la como um momento histórico e criticar o volume de material e o ônus imposto aos pesquisadores a quem se pede que o avaliem. Os resultados estimularam especialistas que investigam possíveis avanços, mas também suscitaram preocupações sobre como a pesquisa acelerada com auxílio de IA poderia afetar o trabalho dos matemáticos, particularmente o de estudantes e pesquisadores em início de carreira.
Fontes: Folha Ciência.