OpenAI diz que modelo secreto de IA resolveu centenas de problemas matemáticos em aberto com um único prompt — Matemáticos pedem provas

Em resumo

• A OpenAI publicou 722 manuscritos de matemática em 372 famílias de resultados no GitHub a partir de um modelo interno não lançado.
• Apenas 162 dos 722 artigos possuem um resultado principal formalizado em Lean, e a OpenAI alerta que alguns resultados não formalizados podem apresentar problemas.
• Andrew Sutherland, do MIT, diz que a alegação de prompt único e agente único não foi verificada até que o modelo seja lançado, e o lançamento omite os prompts que um grupo consultivo do Institute for Advanced Study recomendou divulgar.

A OpenAI publicou 722 manuscritos de matemática no GitHub na terça-feira, todos produzidos por um modelo interno que a empresa ainda não lançou. Um porta-voz da OpenAI disse que quase tudo veio de um único prompt entregue a um único agente de IA, embora alguns possam ter levado várias tentativas.

É uma afirmação ousada e um avanço potencialmente significativo no campo da matemática. Mas nem todos são fãs ou estão acreditando no hype.

“Até que eles lancem o modelo e as pessoas possam replicar seus resultados, acho que você deve tratar qualquer alegação sobre resolver problemas de uma só vez com um único agente como não verificada”, disse Andrew Sutherland, matemático do MIT, à Scientific American. “Deveríamos pedir os comprovantes”, disse ele.