OpenAI publica 722 artigos matemáticos gerados por IA em acesso aberto

A OpenAI lançou 722 artigos matemáticos gerados por um modelo de IA interno que ainda não foi disponibilizado publicamente. Cada artigo aborda um problema matemático em aberto, e os trabalhos estão agrupados em 372 famílias de artigos relacionados em diferentes áreas da matemática.

De benchmarks saturados à pesquisa aberta

A empresa afirmou que testar modelos em benchmarks convencionais havia se tornado menos interessante devido à saturação desses indicadores. Em vez disso, um agente recebeu 4.000 problemas de pesquisa em aberto. Segundo a OpenAI, um único resultado levou cerca de três horas de raciocínio, em média.

Resultados notáveis

• Conjectura de Hodge para variedades abelianas CM. Este é um caso especial da Conjectura de Hodge, parte da lista dos Problemas do Prêmio Millennium.
• Extensão da região livre de zeros da função zeta de Riemann para Re(s) > 11/12, o que significa que todos os zeros não triviais são demonstrados como estando na faixa 1/12 < Re(s) < 11/12. Este é um resultado intermediário rumo à Hipótese de Riemann.
• Solução para o problema dos fatores de grupo livre. O problema estava em aberto desde a década de 1940, e a prova encerra uma das questões mais antigas na teoria das álgebras de von Neumann.
• Conjectura dos Jogos Únicos. Esta é uma questão central sobre os limites da computação aproximada: para muitos problemas NP-difíceis, ela implica que os melhores algoritmos conhecidos já são ótimos, e melhorá-los só seria possível se P = NP. Uma prova resolveria a questão para uma enorme classe de problemas.

Repositório

Todos os materiais estão publicados no GitHub: github.com/openai/math.