OpenAI divulga 722 manuscritos matemáticos gerados por IA, mas mantém modelo fechado

A OpenAI publicou no GitHub uma coleção com 722 manuscritos gerados por IA, organizados em 372 “families of results” que, segundo a empresa, vieram de um modelo interno e não divulgado.

O repositório traz formalizações em Lean verificáveis por máquina apenas para um subconjunto dos resultados e dez sumários condensados do raciocínio. A OpenAI lista cerca de 162 resultados principais como formalizados e informa um tempo médio de computação equivalente a aproximadamente três horas de ChatGPT Pro por resultado.

Matemáticos — incluindo grupos como a Association for Human Mathematics e vários ganhadores da Medalha Fields — criticaram duramente a postagem em massa por depender de um modelo proprietário. Eles pedem cautela quanto a atribuição de crédito, às normas éticas e à prática de testar problemas de fronteira em sistemas fechados.

Especialistas ressaltam limites na verificação: um check em Lean confirma passos lógicos, mas não prova que a formulação formal corresponde exatamente ao problema clássico; os prompts e o modelo usado não foram divulgados; e o repositório já teve algumas retratações ou correções.

Revisão humana independente, checagem formal e triagem pela comunidade já começaram e devem levar meses para estabelecer quais reivindicações estão corretas, quais são realmente novas e como resultados gerados por IA devem ser integrados ao processo de revisão por pares, à concessão de prêmios e às carreiras de pesquisadores.