Em 6 de outubro de 2026, a OpenAI disponibilizou uma coleção de trabalhos de pesquisa matemática produzidos com auxílio de um de seus modelos internos de inteligência artificial. O material, publicado no repositório OpenAI Math no GitHub, compreende 722 manuscritos agrupados em 372 famílias de resultados.
Segundo a OpenAI, o modelo foi submetido a aproximadamente 4.000 problemas de pesquisa, a partir dos quais foram selecionados os resultados apresentados no catálogo. A computação empregada em cada resultado correspondeu, em média, a cerca de três horas de raciocínio no regime de computação associado ao ChatGPT Pro. Os trabalhos abrangem diversas áreas da matemática e incluem, em parte dos casos, formalizações em Lean, permitindo a verificação formal das demonstrações no assistente de provas.
A OpenAI ressalta que os trabalhos se encontram em diferentes estágios de verificação e que resultados que ainda não foram formalizados podem requerer análise adicional. Assim, o catálogo deve ser entendido como uma coleção de resultados e argumentos matemáticos disponibilizados para exame pela comunidade, e não como uma lista de 722 problemas abertos definitivamente resolvidos. A correção, a novidade e a relevância matemática dos resultados permanecem questões a serem avaliadas de forma independente.
A iniciativa também evidencia uma aproximação da OpenAI com a comunidade matemática. A empresa afirma que pretende apoiar workshops e conferências voltados à discussão dos resultados produzidos por seus sistemas e mantém um Advisory Group on Mathematics and Artificial Intelligence, composto por pesquisadores de diferentes instituições acadêmicas.
Até o momento, o grupo reúne François Charles (ENS-PSL), Camillo De Lellis (IAS e GSSI), Timothy Gowers (Collège de France e University of Cambridge), Martin Hairer (EPFL e Imperial College London), Nikhil Srivastava (University of California, Berkeley, e Simons Institute), Ulrike Tillmann (University of Oxford e Isaac Newton Institute), Ravi Vakil (Stanford University), Edward Witten (Institute for Advanced Study) e Melanie Matchett Wood (Harvard University).Fontes
- OpenAI. Sharing AI progress in mathematics. 2026. https://openai.com/index/sharing-ai-progress-in-mathematics/
- OpenAI Math. Overview. Relatório em PDF. GitHub, 2026. https://github.com/openai/math/blob/main/overview.pdf
- OpenAI Math. Repositório do projeto. GitHub, 2026. https://github.com/openai/math
- OpenAI. Advisory Group on Mathematics and Artificial Intelligence. 2026. https://openai.com/index/advisory-group-on-mathematics-and-ai/