OpenAI publica quase 400 resultados matemáticos gerados por inteligência artificial

A OpenAI publicou, até quarta-feira (8), quase 400 resultados gerados por inteligência artificial em mais de 700 manuscritos distribuídos por diversas áreas da matemática, provocando surpresa e preocupação entre pesquisadores ouvidos pelo The Verge.

A coleção abrange combinatória, geometria, teoria dos números, computação teórica, álgebra, topologia, probabilidade, mecânica estatística e física matemática. A dimensão do material levou a empresa a publicar orientações para navegação no repositório do GitHub.

A OpenAI informou que 300 dos 719 resultados principais haviam sido formalizados na linguagem Lean, o equivalente a cerca de 42% do conjunto. A empresa afirmou que acrescentará novas formalizações à medida que estiverem disponíveis.

Pesquisadores disseram que a qualidade dos manuscritos e das verificações variava bastante. Três artigos foram removidos após a identificação de um erro de sinal que invalidava um argumento, e mais de uma dúzia de manuscritos já havia recebido revisões até quarta-feira (8).

Apesar das falhas de apresentação e da dificuldade de avaliação, matemáticos afirmaram que parte do material parecia ter nível excepcional. Entre os resultados citados estavam avanços relacionados à hipótese de Riemann, a um caso da conjectura de Hodge e à conjectura de Kakeya em quatro dimensões.

A publicação afetou planos de pesquisa, propostas de financiamento e trajetórias acadêmicas em diferentes áreas. Pesquisadores disseram que compreender todo o conteúdo poderá levar anos, enquanto a OpenAI sinalizou que continuará avaliando seus modelos em problemas de matemática e outras ciências.

Por que importa: A publicação mostra que a inteligência artificial já consegue produzir resultados matemáticos em escala capaz de superar a capacidade imediata de análise da comunidade, transferindo aos pesquisadores o trabalho de verificar, explicar e contextualizar as descobertas, além de aumentar a incerteza sobre carreiras e projetos acadêmicos baseados em problemas ainda não resolvidos.

Reportagem original apurada por The Verge.