OpenAI divulga 722 manuscritos matemáticos de modelo inédito

A OpenAI publicou 722 manuscritos matemáticos gerados por um modelo interno de inteligência artificial ainda não lançado em 6 de outubro de 2026. Os trabalhos foram organizados em 372 grupos de resultados relacionados e disponibilizados no GitHub, acompanhados de materiais de apoio para conferência das demonstrações.

A avaliação envolveu aproximadamente quatro mil problemas. Como os 372 conjuntos reúnem resultados principais, desdobramentos ou demonstrações alternativas, a coleção de 722 manuscritos não representa necessariamente 722 problemas distintos solucionados. A empresa informou que os resultados estão em diferentes estágios de checagem e que materiais não formalizados podem conter falhas.

Parte das demonstrações foi formalizada em Lean, uma linguagem de programação e assistente de provas voltado à validação de argumentos por computador. A OpenAI comunicou que incluirá novas formalizações no repositório, manterá o histórico de versões e registrará correções. A publicação traz dez resumos de raciocínio, apontando que cada resultado consumiu, em média, capacidade computacional equivalente a cerca de três horas de raciocínio do ChatGPT Pro.

A divulgação seguiu orientações do Grupo Consultivo de Matemática e Inteligência Artificial, órgão independente sediado no Institute for Advanced Study. Em recomendações publicadas em 29 de setembro, o grupo defendeu a abertura de documentação, processos e provas formais por laboratórios, além de apoio financeiro à comunidade científica. O comitê ressaltou que a consulta não significa endosso, pediu a interrupção de testes em sistemas proprietários fechados e destacou que a automação não substitui a compreensão humana.