IA decifra a matemática pura: duas descobertas de 2026 que provam que máquinas já são capazes de descobrir novas teorias

Em 2026, a inteligência artificial atravessou um limiar histórico na matemática pura. Pela primeira vez, sistemas de IA produziram, de forma independente, resultados importantes sobre problemas em aberto que resistiam a matemáticos humanos há décadas. Dois avanços se destacam: a refutação da conjectura de distância unitária de Erdős pela OpenAI, em maio, e o contraexemplo para a conjectura de Jacobian pela Anthropic, em julho. Não são passos incrementais — são mudanças de paradigma que sinalizam uma nova era de colaboração entre humanos e IA na pesquisa matemática.

As duas descobertas

OpenAI refuta a conjectura de distância unitária de Erdős (maio de 2026)

Em 20 de maio de 2026, a OpenAI anunciou que um de seus modelos internos de raciocínio geral havia produzido um contraexemplo para a conjectura de distância unitária de Erdős, um problema proposto por Paul Erdős em 1946 . A conjectura tratava do número máximo de pares de pontos que podem estar exatamente a uma unidade de distância entre n pontos no plano. Por 80 anos, os matemáticos acreditavam que a configuração ideal se assemelhava a uma grade quadrada .

O modelo da OpenAI mostrou que essa crença estava errada. Ele gerou uma família infinita de construções de pontos que alcançam uma melhora polinomial em relação à grade, provando que, para infinitos valores de n, o número de pares a uma unidade de distância cresce mais rápido que n^(1+δ) para algum δ fixo > 0 . A prova utilizou teoria algébrica de números sofisticada, incluindo a teoria de Golod-Shafarevich e torres de corpos de classes infinitas — ferramentas que ninguém havia conectado a esse problema geométrico .

O resultado foi verificado por um grupo de matemáticos externos, incluindo Thomas Bloom — o mesmo pesquisador que havia exposto publicamente uma alegação falsa anterior da OpenAI . Um artigo complementar, 'digerido' por humanos, foi publicado no arXiv . O matemático de Princeton Will Sawin rapidamente refinou a constante, mostrando que o expoente poderia ser de pelo menos n^1.014 . O medalhista Fields Tim Gowers foi um dos nove matemáticos externos que verificaram a prova .

Claude Fable 5, da Anthropic, encontra um contraexemplo para a conjectura de Jacobian (julho de 2026)

Em 19 de julho de 2026, o matemático Levent Alpöge, pesquisador da Anthropic, anunciou no X que havia usado o modelo Claude Fable 5 da Anthropic para encontrar um contraexemplo para a conjectura de Jacobian — um problema em aberto de 87 anos na geometria algébrica, proposto pela primeira vez por Ott-Heinrich Keller em 1939 . A conjectura, classificada como #16 na lista de 1998 do medalhista Fields Stephen Smale de problemas para o próximo século, afirmava que um mapa polinomial de C^n para C^n com um determinante Jacobiano constante e não nulo deve ser globalmente invertível .

O contraexemplo é um mapa polinomial de 216 caracteres notavelmente conciso, de C³ para C³, com um determinante Jacobiano identicamente igual a -2, mas que envia três triplas de entrada distintas para a mesma saída, refutando a invertibilidade global . Em poucas horas após a postagem de Alpöge, matemáticos de todo o mundo verificaram o resultado de forma independente, e uma verificação formal no assistente de prova Lean foi concluída em menos de 24 horas .

Matemáticos proeminentes, incluindo Terence Tao e Timothy Gowers, elogiaram o resultado . Tao publicou uma análise geométrica do contraexemplo, e a verificação foi amplamente confirmada pela comunidade matemática . A versão bidimensional da conjectura permanece em aberto .

O que esses resultados significam para o futuro da matemática

A IA agora pode gerar provas genuinamente inovadoras

Ambas as descobertas envolvem saltos conceituais profundos, não apenas assistência computacional. A refutação da conjectura de distância unitária exigiu que a IA conectasse a teoria algébrica dos números à geometria combinatória — uma conexão que nenhum matemático humano havia feito . O contraexemplo da conjectura de Jacobian exigiu a construção de um mapa polinomial sutil com propriedades algébricas específicas .

O modelo de parceria humano-IA está se mostrando poderoso

Esses resultados apontam para um futuro em que a IA atua como uma colaboradora criativa, e não como uma substituta. No caso da conjectura de Jacobian, um matemático qualificado direcionou a IA e reconheceu o significado de sua produção . No caso da OpenAI, o modelo trabalhou de forma mais autônoma, mas ainda exigiu verificação humana . Esse modelo de parceria permite que a IA explore enormes espaços de busca que os humanos não conseguem percorrer com eficiência, enquanto os humanos fornecem intuição, julgamento e verificação.

O ritmo está se acelerando rapidamente

Mais tarde, em agosto de 2026, a OpenAI anunciou que a mesma classe de modelos de raciocínio interno havia produzido avanços em 10 grandes problemas de matemática e ciência da computação teórica, abrangendo geometria de altas dimensões, teoria de codificação, teoria de grupos, álgebras de operadores, complexidade quântica, criptografia reticular e combinatória extremal . Observadores descrevem uma 'nova era de ouro' da matemática impulsionada pela IA .

Ressalvas importantes permanecem

O contraexemplo da conjectura de Jacobian se aplica apenas na dimensão 3 e acima — a conjectura original permanece em aberto na dimensão 2 . Alguns resultados ainda não passaram por uma revisão completa por pares por meio dos canais tradicionais, e nem todas as alegações foram totalmente publicadas . Mas a direção geral é clara: a IA cruzou o limiar de assistente matemático para descobridor matemático, e seu papel na pesquisa provavelmente se expandirá rapidamente.

O panorama geral

Esses avanços de 2026 seguem uma progressão rápida nas capacidades matemáticas da IA. Em julho de 2025, modelos de IA resolveram cinco dos seis problemas da Olimpíada Internacional de Matemática . No início de 2026, os modelos já alcançavam padrões de medalha de ouro nas Olimpíadas . Agora, a IA está produzindo resultados na fronteira da pesquisa — resolvendo problemas que definiram carreiras inteiras.

Como observou o matemático Terence Tao, o resultado da conjectura de Jacobian representa um marco na colaboração humano-IA . O modelo não trabalhou sozinho, mas a parceria produziu um resultado que nem humano nem máquina poderiam ter alcançado de forma independente. Esse modelo — intuição humana guiada pela exploração da IA, verificada por assistentes de prova formais — pode definir o futuro da descoberta matemática.