OpenAI divulga centenas de artigos com resultados matemáticos gerados por IA
Destaques
- •OpenAI publicou centenas de artigos com resultados matemáticos gerados por IA, incluindo soluções para problemas de longa data.
- •A divulgação em massa gerou comoção e ceticismo na comunidade matemática devido à incompreensibilidade de alguns artigos e à falta de revisão adequada.
- •A OpenAI afirma ter formalizado 300 resultados para garantir a correção, mas a comunidade ainda avalia a confiabilidade e o impacto no futuro da pesquisa matemática.
A OpenAI, empresa de inteligência artificial, publicou no início de outubro um conjunto de centenas de artigos com resultados matemáticos, produzidos em grande parte por um modelo de IA ainda não divulgado. A divulgação, descrita como um "bombardeio em massa" e "matematicalipse", abrange 372 problemas em aberto em diversas áreas, como álgebra, geometria e ciência da computação teórica. Alguns artigos alegam avanços significativos em problemas de grande visibilidade e de longa data, como a hipótese de Riemann e a conjectura de Birch e Swinnerton-Dyer, cada um com recompensa de US$ 1 milhão.
Motivações e Ceticismo da Comunidade
A motivação declarada da OpenAI para a divulgação é "promover mais progresso na matemática". No entanto, a forma como os artigos foram apresentados gerou ceticismo. Um colega sênior da autora descreveu um dos artigos como tão incompreensível que "teria ido direto para a lixeira" se fosse submetido a uma revista de matemática. O próprio modelo ChatGPT da OpenAI classificou um dos resultados de grande repercussão como "uma alucinação grave". A incompreensibilidade de alguns artigos levanta dúvidas sobre a confiabilidade das soluções apresentadas.
Uma possível motivação adicional seria desviar a atenção de uma publicação matemática anterior da OpenAI, que gerou controvérsia. Matemáticos alegaram que a empresa acessou seus dados e ideias para resolver um caso do problema de Navier-Stokes, outro Problema do Milênio. A OpenAI negou as acusações.
IA, AGI e a Busca por Credibilidade
A capacidade dos modelos da OpenAI em realizar cálculos matemáticos de nível de pesquisa pode ser utilizada para dar credibilidade à ideia de que a empresa está se aproximando da Inteligência Artificial Geral (AGI), um tipo hipotético de IA capaz de superar humanos em tarefas cognitivas. Essa narrativa pode beneficiar a OpenAI em sua planejada abertura de capital, com expectativas de atingir uma avaliação de mercado de até US$ 1,4 trilhão.
A matemática, conhecida por sua verdade objetiva e consenso estabelecido por meio de revisão por pares, enfrenta um novo desafio. O processo tradicional de revisão pode ser demorado, e a OpenAI já retirou três artigos por erros elementares e corrigiu outros devido a equívocos, indicando uma possível falta de revisão adequada antes da publicação.
Formalização e o Futuro da Pesquisa Matemática
Para mitigar as preocupações com a correção, a OpenAI afirma ter formalizado 300 dos principais resultados, utilizando sistemas de software que verificam cada etapa da lógica. No entanto, a comunidade matemática ainda avalia a aceitação dessas formalizações, especialmente após problemas anteriores com formalizações geradas por IA. As reações à divulgação variam de "o momento mais significativo da história da matemática" a críticas contundentes. A situação força a comunidade a refletir sobre o valor da pesquisa matemática e o papel dos estudantes e pesquisadores em início de carreira diante dos avanços da IA.
