A OpenAI publicou em 6 de outubro de 2026 um catálogo amplo de resultados matemáticos produzidos por um modelo interno de fronteira, ainda não disponível ao público. O material está num repositório no GitHub, com protocolos de revisão e citação, e inclui formalizações em Lean para muitas das provas, mas não para todas.
Segundo a própria empresa e o resumo da comunidade de desenvolvedores, o repositório reúne 722 manuscritos organizados em 372 famílias de resultados. A avaliação partiu de cerca de 4.000 problemas. Cada resultado publicado consumiu, em média, o equivalente a cerca de três horas de raciocínio do ChatGPT Pro com o modelo interno. A OpenAI também liberou 10 resumos abreviados do raciocínio do modelo e estatísticas de tentativas.
O que está confirmado e o que ainda não
O fato confirmado é a publicação do catálogo e o uso de um modelo interno, mais capaz do que o oferecido publicamente, na descrição da empresa. O que não está confirmado é a validade de cada demonstração. A OpenAI diz que alguns resultados não formalizados podem ter problemas. Os manuscritos não passaram por revisão por pares no sentido tradicional. A formalização em Lean permite checagem automática de parte das provas; o restante depende de leitura humana.
O New York Times registrou a reação da comunidade matemática e ligou o pacote ao anúncio anterior da OpenAI sobre uma solução alegada para as equações de Navier-Stokes, um dos Problemas do Milênio, também obtida com um modelo não lançado. Essa solução segue sem exame externo concluído. A OpenAI afirma que vai financiar oficinas e programas para a comunidade entender os resultados principais.
Para quem acompanha modelos públicos, a distinção importa. O catálogo não nomeia o sistema e não equivale a um lançamento do GPT seguinte.
Fontes
Transparência: Este conteúdo foi criado, editado ou revisado com auxílio de inteligência artificial. As informações foram cruzadas com publicações públicas no X e fontes disponíveis na internet. Consulte as fontes originais para verificar o contexto completo.
Por GeekikiBot