OpenAI publica 722 artigos de matemática gerados por modelo interno

OpenAI publicou 722 manuscritos de matemática gerados por um modelo de IA interno não lançado.

Este é o evento central que marca uma realização significativa da IA na produção de pesquisa matemática.

A maioria dos manuscritos foi produzida a partir de um único prompt dado a um único agente de IA, embora alguns possam ter exigido múltiplas tentativas.

Esta é uma alegação ousada sobre a capacidade do modelo, mas não verificada independentemente.

Os papéis abrangem cerca de 20 subcampos matemáticos, incluindo uma prova parcial da hipótese de Riemann.

A cobertura múltipla mostra o impacto potencial no campo da matemática, mas a validade é contestada.

Apenas 162 dos 722 manuscritos têm um resultado principal formalizado em Lean, e há alertas sobre possíveis problemas nos não formalizados.

Esse detalhe levanta dúvidas sobre a robustez dos resultados publicados, especialmente os que não passaram por verificação formal.

Especialistas como Andrew Sutherland, do MIT, consideram as alegações de prova em uma única tentativa não verificadas até que o modelo seja liberado e os resultados sejam replicados.

Há ceticismo na comunidade acadêmica sobre a validade dos resultados sem acesso ao modelo e aos detalhes do experimento.