A IA consegue fazer matemática nova? O que a publicação de matemática da OpenAI mostra

O que aconteceu

Em 6 de outubro de 2026, a OpenAI, a empresa por trás do ChatGPT, colocou na internet mais de 700 manuscritos de matemática. Um manuscrito é um artigo científico que ainda não passou por uma revisão formal de especialistas. Eles foram escritos por um modelo de IA que a OpenAI usa internamente e que o público não pode usar.

A OpenAI diz que o modelo recebeu cerca de 4.000 problemas, incluindo problemas em aberto: questões que os matemáticos ainda não tinham conseguido resolver. Para cada resultado, o modelo passou cerca de três horas "pensando", ou seja, resolvendo o problema passo a passo antes de escrever uma resposta.

Como o trabalho é verificado

Na matemática, um resultado só vale depois que sua demonstração é verificada. Uma demonstração é um raciocínio passo a passo que mostra que uma afirmação é sempre verdadeira. Um único passo errado pode derrubar a demonstração inteira.

• Verificação por computador: para cerca de 42% dos principais resultados (até 7 de outubro), a OpenAI também divulgou uma versão escrita para o Lean. O Lean é um programa que verifica cada passo de uma demonstração e rejeita qualquer passo que não decorra logicamente dos anteriores. Mesmo assim, pessoas precisam confirmar que o que o Lean verificou é a mesma afirmação feita no artigo.
• Verificação humana: os outros resultados ainda não têm verificação por computador. Matemáticos estão lendo esses textos, e vários matemáticos conhecidos disseram que um resultado não deve valer até que pessoas o tenham verificado e entendido.

As primeiras correções

Um dia depois, em 7 de outubro, a OpenAI retirou 3 manuscritos. Um erro de sinal (um mais no lugar de um menos, ou o contrário) em um artigo derrubou um argumento do qual outros dois artigos dependiam. Outros 14 manuscritos foram corrigidos.

A própria OpenAI descreve os arquivos como "dados brutos de pesquisa", e não como artigos prontos.

Por que isso importa

A publicação mostra que a IA já consegue trabalhar em problemas muito difíceis durante horas. Ela também mostra o outro lado: até os sistemas mais poderosos cometem erros que parecem pequenos e mudam tudo, e conferir esse trabalho toma muito tempo dos especialistas. Ainda se discute o tamanho desse avanço para a matemática.

O que isso significa para você ao conversar com o ChatPrime

Quando você pede ao ChatPrime para resolver ou explicar um problema de matemática passo a passo, os passos podem parecer convincentes e mesmo assim ter um erro.

• Confira cada passo, não só a resposta final.
• Coloque a resposta de volta no problema para ver se ela funciona, ou resolva de outro jeito.
• No dever de casa, use a explicação para aprender o método e depois confira o resultado por conta própria.

Fonte

OpenAI, manuscritos de matemática, arquivos do Lean e registro de alterações, outubro de 2026: github.com/openai/math

Correções de 7 de outubro de 2026: history.md