Foi uma ideia

Em 20 de maio de 2026, a OpenAI anunciou que um modelo interno de inteligência artificial havia refutado a conjectura da distância unitária de Erdős — um problema em aberto na geometria discreta desde 1946. Não foi uma mera verificação de uma prova existente: a IA construiu um contraexemplo original, algo que matemáticos humanos perseguiam há oito décadas. O resultado foi confirmado por nove pesquisadores de elite, incluindo um medalhista Fields, e publicado no arXiv em 20 de maio de 2026.

O Problema Que Durou 80 Anos

O húngaro Paul Erdős, um dos matemáticos mais prolíficos da história — com mais de 1.500 artigos publicados —, formulou o problema da distância unitária em 1946. A pergunta é surpreendentemente simples de enunciar: dado um conjunto de N pontos no plano, quantos pares podem estar exatamente a uma unidade de distância entre si?

Erdős mostrou que uma grade quadrada de √N × √N pontos produz aproximadamente N^(1 + Ω(1/log log N)) pares a distância unitária. A melhor cota superior conhecida era O(N^(4/3)), devida a Spencer, Szemerédi e Trotter. A conjectura central afirmava que o limite verdadeiro seria próximo de N^(1+o(1)) — isto é, quase linear. A maioria dos especialistas acreditava nisso. A IA provou que estava errada, exibindo uma família de conjuntos de pontos com mais distâncias unitárias do que essa cota permitia.

Como a IA Encontrou a Resposta

O contraexemplo não surgiu de um modelo disponível publicamente. Trata-se de um modelo interno da OpenAI, ainda não liberado para usuários. Segundo o artigo de verificação no arXiv, a prova foi “gerada em um único passo” pelo modelo e depois refinada expositivamente por meio de interações humanas com o Codex — a ferramenta de codificação baseada em IA da empresa.

A descoberta não veio de força bruta nem de uma busca exaustiva. O modelo conectou ideias de várias subáreas da matemática — teoria dos corpos de números, geometria algébrica e combinatória — que nenhum matemador individual tinha combinado daquela forma. A cadeia de raciocínio do modelo, registrada em seu Chain-of-Thought, incluiu uma observação chave: “talvez todos os exemplos extremais possam ser tomados como algébricos. Mas o grau e a altura dessa realização algébrica podem ser enormes… Talvez esse grau enorme não seja apenas um incômodo, mas uma fonte de possíveis contraexemplos.”

Matemáticos de Elite Confirmam

A OpenAI concedeu acesso antecipado ao resultado a vários matemáticos de topo e publicou suas reações. Tim Gowers, da Universidade de Cambridge, vencedor da Medalha Fields — o prêmio mais prestigiado da matemática —, escreveu: “não há dúvida de que a solução do problema da distância unitária é um marco na matemática feita por IA.”

Daniel Litt, professor da Universidade de Toronto, foi ainda mais direto: “este é o primeiro exemplo de um resultado produzido autonomamente por uma IA que eu considero excitante por si só, em oposição a um mero indicador do que virá.”

A versão humana verificada foi assinada por nove matemáticos: Noga Alon (Princeton), Thomas F. Bloom (Manchester), W. T. Gowers (Cambridge), Daniel Litt (Toronto), Will Sawin (Princeton), Arul Shankar (Toronto), Jacob Tsimerman (Toronto), Victor Wang e Melanie Matchett Wood (Harvard). A lista lê como um quem é quem da teoria dos números contemporânea.

A Técnica: Campos Numéricos Infinitos

O salto conceitual do modelo foi usar corpos de números — estruturas algébricas que generalizam os números racionais — de grau crescente. Erdős e seus sucessores sempre trabalharam com construções no plano euclidiano comum, baseadas em grades de números racionais ou inteiros.

A IA percebeu que, ao elevar o grau do corpo numérico ao infinito, mais pontos podiam ser colocados exatamente a distância unitária. Para isso, utilizou torres de corpos de classe do tipo Golod-Shafarevich, que mantêm o discriminante raiz limitado mesmo quando o grau cresce indefinidamente. Essas estruturas já eram conhecidas em teoria dos números, mas nunca tinham sido aplicadas a problemas de geometria discreta.

O modelo também explorou uma propriedade específica dos corpos CM (Complex Multiplication): um elemento tem valor absoluto 1 em alguma imersão se e somente se tem valor absoluto 1 em todas as imersões. Essa característica garantiu que muitos elementos aparecessem como diferenças a distância unitária entre pontos do conjunto construído.

O Que Torna Isso Diferente

Conquistas anteriores de IA em matemática existem, mas tinham um perfil diferente. O AlphaProof e o FunSearch, do Google DeepMind, verificaram provas existentes ou encontraram novas demonstrações para teoremas já enunciados. Sistemas como Lean, Coq e Isabelle formalizaram resultados já conhecidos. Esse salto qualitativo — de verificar para descobrir — acompanha a mesma trajetória observada em outras áreas, como na programação, onde modelos de IA já superam humanos em benchmarks de código.

A novidade aqui é categórica: a IA refutou uma conjectura. Construir um contraexemplo exige criatividade geométrica — a capacidade de imaginar uma configuração de pontos que viola a intuição que guiou os matemáticos por décadas. Como nota o portal 24 AI News: “o modelo não se limitou a verificar uma tese proposta; ele a derrubou com uma construção original.”

Impacto Para a Pesquisa Científica

As implicações vão além da matemática pura. Se um modelo de IA pode refutar conjecturas que resistiram a gerações de matemadores humanos, outras disciplinas que dependem de descoberta teórica — física teórica, criptografia, ciência dos materiais — podem ser os próximos alvos. A geometria discreta e a combinatória, por sua natureza combinatorial, são particularmente adequadas para esse tipo de abordagem. O panorama geral da inteligência artificial, mapeado pelo Stanford AI Index 2026, já indicava que modelos de IA estavam cruzando a fronteira da descoberta científica.

O Ars Technica observa que “sistemas de IA têm um conhecimento mais amplo de trabalhos passados do que qualquer humano vivo e muito mais disposição para percorrer estratégias de prova tediosas que provavelmente não funcionam.” Esse perfil complementa a capacidade humana de pensar profundamente sobre um único problema e fazer perguntas mais interessantes.

Para a comunidade científica, o resultado também levanta questões práticas: como citar uma prova gerada por IA? Quem é o autor — o modelo, os engenheiros que o treinaram ou os matemáticos que verificaram o resultado? O artigo no arXiv optou por creditar o modelo como fonte original e listar os nove verificadores como autores humanos, mas ainda não existe um padrão estabelecido.

O Que Vem Pela Frente

Tim Gowers, em sua reação oficial publicada pela OpenAI, aponta um futuro de colaboração próximo entre humanos e IA. A IA não pioneirou técnicas genuinamente novas — ela combinou, de forma engenhosa, ideias já existentes em teoria dos números. A contribuição humana continuou sendo essencial para limpar, simplificar e generalizar o argumento.

Daniel Litt sugere que áreas como teoria dos números algébrica, geometria aritmética e combinatória aditiva são os próximos alvos naturais. Essas áreas compartilham com a geometria discreta a característica de problemas fáceis de enunciar com raízes profundas em várias subdisciplinas — exatamente o tipo de problema onde a capacidade da IA de cruzar fronteiras entre áreas se mostra mais valiosa.

O ritmo é impressionante. Três anos atrás, modelos de linguagem lutavam com problemas de aritmética elementar. No início de 2026, já resolviam competições de matemática do ensino médio. Agora, refutam conjecturas que desafiaram os maiores matemáticos do século XX. A pergunta que fica não é se a IA vai continuar descobrindo verdades matemáticas — é quão rápido isso vai acontecer.

Perguntas Frequentes

O que é a conjectura da distância unitária de Erdős?

É um problema formulado pelo matemático Paul Erdős em 1946 que pergunta: entre N pontos no plano, quantos pares podem estar exatamente a uma unidade de distância? Erdős conjecturou que o limite seria aproximadamente N^(1+o(1)), o que a IA da OpenAI refutou ao construir um contraexemplo.

O modelo da OpenAI que resolveu o problema é público?

Não. O resultado foi obtido por um modelo interno da OpenAI, não disponível para usuários. A prova foi gerada em um único passo pelo modelo e depois refinada com auxílio do Codex, ferramenta de codificação baseada em IA da empresa.

A prova passou por revisão por pares?

O anúncio foi feito pela OpenAI em 20 de maio de 2026 e uma versão verificada por nove matemáticos — incluindo o medalhista Fields W. T. Gowers — foi publicada no arXiv (2605.20695v1). A revisão formal em um periódico de matemática ainda não foi anunciada, mas a verificação humana independente foi concluída.

Por que esse resultado é diferente de conquistas anteriores de IA?

Diferente do AlphaProof e do FunSearch, do Google DeepMind, que verificaram provas existentes ou encontraram novas demonstrações para teoremas já enunciados, aqui a IA refutou uma conjectura aberta construindo um contraexemplo original. Isso exige criatividade geométrica, não apenas poder computacional.

Referências

• OpenAI — An OpenAI model has disproved a central conjecture in discrete geometry
• arXiv:2605.20695v1 — Remarks on the disproof of the unit distance conjecture (Alon, Bloom, Gowers, Litt, Sawin et al.)
• Ars Technica — An OpenAI model solved a famous math problem that stumped humans for 80 years
• 24 AI News — OpenAI model disproves 80-year-old geometry conjecture
• Forsmile — AI Challenges Unsolved Math Problems: OpenAI Disproves Conjecture
• Reddit r/math — OpenAI’s internal model disproves Unit Distance Conjecture of Erdős