Em 6 de outubro de 2026, a OpenAI anunciou no GitHub a publicação de resultados matemáticos gerados por um modelo interno de fronteira. A empresa também descreveu materiais sobre as provas e uma estimativa média de computação por resultado. A matemática foi produzida pelo modelo interno; o ChatGPT Pro aparece apenas como referência para expressar essa estimativa.
O que a OpenAI publicou
A OpenAI informou que o repositório inclui protocolos para revisar e citar os manuscritos, dez resumos do raciocínio do modelo, estimativas de computação e estatísticas sobre os problemas tentados. A empresa também compartilhou formalizações em Lean para muitas provas e afirmou que acrescentaria outras.
Lean é uma linguagem usada para escrever provas em formato formal, que permite a um verificador computacional checar os passos lógicos codificados. A OpenAI descreveu essas formalizações como aplicáveis a muitas provas, não como uma etapa declarada para cada resultado.
O que significa a estimativa de três horas
A OpenAI afirmou que, em média, cada resultado usou computação equivalente a cerca de três horas de raciocínio do ChatGPT Pro. A medida se refere à computação média por resultado, não ao tempo decorrido para produzir o conjunto inteiro. O trabalho foi gerado por um modelo interno de fronteira, não pelo ChatGPT Pro.
As recomendações da AGMAI
Em 29 de setembro de 2026, o Advisory Group on Mathematics and Artificial Intelligence (AGMAI) publicou recomendações para a divulgação de matemática gerada por IA. O grupo pediu que laboratórios deixassem de testar problemas matemáticos avançados em modelos proprietários inacessíveis à comunidade científica. Também recomendou divulgar informações como o nome do modelo, os comandos usados, resumos do raciocínio, tempo e computação estimados, o estado da formalização e o papel da IA em cada problema, além de apoiar iniciativas que ajudem pesquisadores a compreender os resultados.
A OpenAI afirmou que consultou a AGMAI e incorporou suas recomendações à forma de compartilhar os resultados. A empresa também disse que planejava financiar workshops e programas relacionados e que trabalhava para liberar o modelo de maneira responsável.
