A OpenAI divulgou em 6 de outubro de 2026 uma coleção de 722 manuscritos matemáticos escritos por um modelo de inteligência artificial que a empresa ainda não lançou, segundo a Exame. Os textos estão em um repositório no GitHub, junto com materiais de apoio às demonstrações.
Os manuscritos se organizam em 372 grupos de resultados relacionados e vêm de uma avaliação de aproximadamente 4 mil problemas. A empresa descreve o sistema como um modelo interno e diz que trabalha para disponibilizá-lo ao público, sem informar data.
O que já foi checado e o que não foi
A própria OpenAI avisa que o material está em estágios diferentes de verificação. Trabalhos que ainda não foram formalizados podem conter problemas, de acordo com a empresa. Esse aviso orienta como o lote deve ser lido: são resultados publicados para escrutínio, não teoremas já aceitos pela comunidade.
Parte das provas foi formalizada em Lean, uma linguagem de programação que permite a um computador verificar demonstrações passo a passo. Nesses casos a checagem não depende só da leitura de especialistas. A OpenAI afirma que vai acrescentar novas formalizações à medida que ficarem prontas.
Três horas de ChatGPT Pro por resultado
Segundo a matéria, cada resultado consumiu em média o equivalente a três horas de computação do ChatGPT Pro. O dado dá uma medida do custo de produzir cada manuscrito, embora a empresa não detalhe quanto da maior parte dos 4 mil problemas gerou um texto aproveitável.
Para orientar a divulgação, a OpenAI consultou o Grupo Consultivo de Matemática e Inteligência Artificial, um colegiado independente sediado no Institute for Advanced Study. A fonte não informa o conteúdo das recomendações do grupo.
Como a empresa promete tratar os erros
A OpenAI se comprometeu a manter versões anteriores dos manuscritos acessíveis e a registrar as correções feitas ao longo do tempo. Quem quiser acompanhar uma prova específica poderá ver o que mudou entre uma versão e outra.
A empresa também prometeu financiar workshops, conferências e programas dedicados a entender os resultados. Na prática, a validação fica dividida: matemáticos externos revisam os textos, enquanto ferramentas como o Lean reduzem o trabalho humano nas provas que já foram formalizadas. Até que esse processo avance, o número de 722 manuscritos indica o volume produzido, e não o de descobertas confirmadas.
