OpenAI publica 722 manuscritos de matemática e retira três provas Por Bruna
3 min de leitura
 |
A OpenAI publicou no GitHub, em 6 de outubro de 2026, 722 manuscritos de matemática produzidos por um modelo interno de fronteira que ainda não foi lançado. No dia seguinte, a empresa retirou três deles por causa de um erro de sinal.
Os trabalhos cobrem álgebra, teoria dos números, topologia, ciência da computação teórica e lógica matemática, e foram gerados em poucas semanas.
Siga o Mix Vale no Google e veja nossas notícias primeiro
A retirada foi registrada em 7 de outubro de 2026 no histórico de versões do repositório. Um erro de sinal num argumento de cancelamento invalidava o manuscrito sobre classes de Weil em variedades abelianas de dimensão oito e outros dois trabalhos que dependiam dele.
Erro de sinal derrubou três provas ligadas à conjectura de Hodge
Um dos trabalhos retirados tratava da conjectura de Hodge racional para produtos de superfícies K3, um dos problemas do milênio. Os três manuscritos agora trazem aviso de retratação, com link para a versão arquivada.
Outros 14 manuscritos receberam correções em provas, enunciados e hipóteses, e 13 tiveram citações atualizadas. Com as retiradas, o catálogo caiu de 722 para 719 trabalhos.
Ao fim dessas correções, 300 dos 719 resultados, cerca de 42%, têm prova formalizada em Lean, linguagem que permite a um computador checar cada passo da demonstração. Os demais ainda não foram formalizados.
Só cerca de 42% dos resultados têm prova formalizada em Lean
O grupo independente AGMAI, formado em setembro e hospedado no Institute for Advanced Study, em Princeton, publicou em 29 de setembro recomendações para laboratórios de inteligência artificial. Entre elas estão divulgar o nome do modelo, os prompts e o custo computacional, além de parar de testar problemas abertos em modelos fechados.
Comitê independente pediu que laboratórios divulgassem prompts e custos
A OpenAI diz ter consultado o AGMAI antes da publicação e afirma trabalhar para lançar o modelo de forma responsável. Mas não entregou os prompts nem o custo de cada resultado. Informou apenas uma média de cerca de três horas de raciocínio equivalente ao ChatGPT Pro por resultado, além de dez resumos de raciocínio.
A reação não foi unânime. O grupo de matemáticos AHM criticou o volume da publicação, com mais de 700 arquivos de uma vez, e pediu que colegas deixem de trabalhar com a empresa.
Grupo de matemáticos critica volume e pede afastamento da OpenAI
O repositório também reúne dois manuscritos sobre a conjectura de Kakeya, em três e em quatro dimensões, com 97 e 175 páginas. Eles ainda não foram verificados por matemáticos independentes, e a própria empresa admite que alguns resultados podem ter problemas.
Dois manuscritos sobre Kakeya estão entre os 719 resultados
Enquanto isso, a verificação depende de matemáticos externos e de quem consiga refazer as provas. O modelo que gerou os resultados continua sem lançamento público.
