O Dia em que a IA Venceu Erdős: Modelo da OpenAI Refuta Conjectura de 80 Anos

Era 1946. Paul Erdős, o matemático húngaro mais prolífico da história, estava em Princeton com um maço de dólares no bolso e uma pergunta na cabeça. Ele costumava oferecer dinheiro vivo para quem resolvesse seus problemas — US$ 500 para este aqui, especificamente. O problema parecia simples: dados n pontos no plano, quantos pares podem estar exatamente a uma distância unitária um do outro?

Oitenta anos depois, ninguém tinha levado o dinheiro. Até a semana passada.

Em 20 de maio de 2026, a OpenAI anunciou que um modelo interno de raciocínio geral — não treinado especificamente para matemática — refutou a conjectura da distância unitária de Erdős. E não foi só mais um chute de IA: a demonstração tem 125 páginas, usa teoria algébrica dos números de ponta e foi verificada por nove matemáticos, incluindo um medalhista Fields.

O Problema que Parecia Inocente

A conjectura de Erdős é daquelas ideias que qualquer estudante entende, mas que nenhum matemático conseguiu cravar.

Imagine que você espalha n pontos aleatoriamente numa folha de papel. Agora pergunte: quantos desses pares de pontos podem estar a exatamente 1 centímetro de distância?

Para poucos pontos, é fácil desenhar. O problema começa quando n cresce. Erdős demonstrou nos anos 1940 que o número máximo de pares com distância unitária cresce mais que proporcionalmente a n, mas menos que n² — e chutou uma fórmula específica para esse crescimento: algo como n^(1 + c / log log n). Uma função que cresce um pouco mais que linear, mas bem menos que quadrática.

Todo mundo achava que ele estava certo. O problema entrou para a história como um dos grandes enigmas da geometria discreta. Gerações de matemáticos tentaram provar ou refutar a conjectura — e todas falharam.

"É um problema que eu não esperava ver resolvido na minha vida. É absolutamente uma bomba." — Misha Rudnev, matemático da Universidade de Bristol

Nota: citação original em inglês: "This is a problem that I didn't expect to see solved in my lifetime. It's absolutely a bomb."

Erdős morreu em 1996 sem ver a resposta. Mas o prêmio de US$ 500 — que ele oferecia pessoalmente, em dinheiro vivo — continua sendo uma tradição entre matemáticos. Quem pegaria os dólares agora?

Os Fantasmas de Erdős: Problemas que Ainda Esperam

Erdős publicou 1.525 papers com 509 co-autores diferentes ao longo da carreira. Além da conjectura da distância unitária, ele deixou dezenas de problemas em aberto. Alguns dos mais famosos:

A conjectura das progressões, por exemplo, pergunta se qualquer conjunto de inteiros com densidade positiva contém três termos em progressão aritmética. Parece simples — continua sem solução.

O R(5,5) é quase constrangedor: o número de Ramsey para 5 vértices está entre 43 e 48. Para 6, entre 102 e 165. O prêmio é de US$ 100, mas ninguém conseguiu fechar nem R(5,5) em quase um século.

A Jogada Inesperada da IA

O que torna o feito da OpenAI impressionante não é só que a IA resolveu — é como ela resolveu.

O modelo — que a OpenAI ainda não nomeou oficialmente — é um sistema de raciocínio geral, não um assistente matemático especializado. A empresa usou uma técnica de chain-of-thought avançada, onde a IA "pensa em voz alta" durante dias, explorando bilhões de caminhos lógicos.

O resultado? Uma prova de 125 páginas que usa teoria algébrica dos números — especificamente infinite class field towers e o teorema de Golod-Shafarevich — para construir um conjunto de pontos no plano cujo número de pares com distância unitária cresce a um ritmo polinomial de expoente 1,014.

Ou seja: Erdős achava que o crescimento era quase linear com um ajuste logarítmico. A IA mostrou que é polinomial — uma diferença fundamental.

Ninguém, absolutamente ninguém, esperava que a resposta viesse da teoria algébrica dos números. O campo parece distante da geometria discreta. Foi um insight genuinamente criativo — que a IA teve sozinha.

A Ironia de Thomas Bloom

Se você acompanha o mundo da matemática, o nome Thomas Bloom deve soar familiar. Em 2025, ele expôs publicamente uma alegação falsa da OpenAI sobre outro problema matemático. Bloom foi duro: disse que a empresa estava "queimando a reputação científica" com resultados não verificados.

Agora, Bloom é co-autor da verificação da prova.

A OpenAI aprendeu a lição. Dessa vez, antes de qualquer anúncio público, eles convocaram matemáticos de verdade para verificar cada passo. Bloom foi um dos primeiros a ser chamado.

"Isto é, sem dúvida, a realização mais impressionante da IA na matemática até hoje." — Thomas Bloom, matemático da Universidade de Oxford

Nota: citação original em inglês: "This is, without doubt, the most impressive achievement of AI in mathematics so far."

Da crítica feroz à co-autoria: a trajetória de Bloom em 18 meses diz muito sobre o choque que a descoberta causou na comunidade matemática.

A Bancada de Verificação

Nove matemáticos de instituições de peso assinaram o paper complementar de verificação no arXiv (2605.20695). A lista inclui:

• Tim Gowers — Medalhista Fields (1998), Universidade de Cambridge
• Thomas Bloom — Universidade de Oxford (ex-crítico ferrenho da OpenAI, agora co-autor)
• Will Sawin — Universidade de Princeton (refinou o resultado para um expoente explícito de δ ≈ 0,014)
• Noga Alon — Universidade de Princeton
• Daniel Litt — Universidade de Toronto
• Arul Shankar — Universidade de Toronto
• Jacob Tsimerman — Universidade de Toronto
• Victor Wang — Universidade de Princeton
• Melanie Matchett Wood — Universidade de Harvard

O trabalho não foi trivial. Cada um dos nove levou semanas para verificar as 125 páginas de raciocínio matemático — algo que a IA produziu em dias.

"Se um humano tivesse escrito o artigo e submetido aos Anais da Matemática, e eu tivesse sido consultado para uma opinião rápida, teria recomendado a aceitação sem qualquer hesitação." — Tim Gowers, Medalhista Fields (1998)

Nota: citação original em inglês: "If a human had written the paper and submitted to the Annals of Mathematics and I had been asked for a quick opinion, I would have recommended acceptance without any hesitation."

Will Sawin, de Princeton, foi além: refinou o resultado da IA para um expoente explícito, fechando ainda mais o argumento. Ele disse que sua reação imediata foi de incredulidade.

"Minha reação imediata foi descrença." — Will Sawin, Universidade de Princeton

Nota: citação original em inglês: "My immediate reaction was disbelief."

O Que Isso Significa

Coloque em perspectiva: esta não é uma IA feita para matemática. É um modelo de raciocínio geral — o mesmo tipo de sistema que pode escrever código, analisar documentos jurídicos ou planejar logística.

Isso muda duas coisas.

Primeiro, na matemática: a prova mostra que conjecturas abertas podem ser atacadas por ângulos que humanos nunca considerariam. A teoria algébrica dos números não estava no radar de ninguém que trabalhava com geometria discreta. A IA simplesmente encontrou um atalho invisível no espaço de todas as ideias possíveis.

Segundo, na IA: estamos diante de um sistema que produz ciência original e verificável. O modelo não alucinou — ele demonstrou, provou e resistiu ao escrutínio de nove especialistas. A diferença entre isso e um chatbot que inventa fontes é abissal.

A OpenAI manteve o modelo em sigilo parcial. Sabemos que é um sistema de chain-of-thought com capacidade de auto-reflexão, mas detalhes arquiteturais ainda não foram divulgados. A empresa prometeu um paper técnico nas próximas semanas.

Quem Leva os US$ 500?

Os US$ 500 de Erdős viraram tradição. Com a morte dele, outros matemáticos passaram a administrar a "carteira" de prêmios. O valor nominal é simbólico — o reconhecimento é o que importa.

A pergunta agora é: a IA pode receber o prêmio? Ou o dinheiro vai para a OpenAI? Ou para os verificadores humanos que atestaram a prova?

A comunidade matemática ainda não decidiu. Mas uma coisa é certa: Erdős, que passou a vida viajando de sofá em sofá, colaborando com centenas de matemáticos, e que dizia que "um matemático é uma máquina de transformar café em teoremas", provavelmente apreciaria a ironia de uma máquina — literalmente — levando seu dinheiro.

O problema de 1946 caiu. E não caiu por um gênio humano depois de décadas de trabalho solitário. Caiu por um modelo de raciocínio que a OpenAI treinou para pensar — e que, de quebra, transformou o campo da matemática experimental.

O século do teorema automatizado começou. E começou com uma bomba.

Artigos Relacionados

Confira também: 2026: O Ano em que a Regulamentação de IA Saiu do Papel — Prazos, Multas e o Que Mudou no Brasil e no Mundo Confira também: A Crise de Segurança dos Agentes de IA em 2026: 30 Mil Instâncias Expostas, 1,5 Milhão de Tokens Vazados e o que Isso Significa para Você Confira também: 1.451 Dispositivos com IA Aprovados pelo FDA: a Revolução Silenciosa na Saúde em 2026