Modelo de raciocínio da OpenAI afirma ter refutado conjectura clássica ligada a Paul Erdős

O problema geométrico que dura quase 80 anos

O chamado planar unit distance problem pergunta algo aparentemente simples:

Dado um conjunto de n pontos em um plano, qual é o número máximo de pares de pontos que podem estar exatamente a uma distância de 1 unidade entre si?

Apesar da formulação simples, o problema se tornou um dos temas mais estudados na geometria discreta e combinatória. Durante décadas, pesquisadores tentaram construir arranjos de pontos que maximizassem essas distâncias unitárias e também provar limites teóricos para esse número.

Uma crença comum entre matemáticos era que as melhores configurações possíveis seriam parecidas com grades quadradas, semelhantes a pontos distribuídos em um padrão de lattice (malha regular).

Segundo os relatos sobre o trabalho da OpenAI, a nova prova gerada pela IA mostra que essa suposição está errada.

O que a OpenAI diz que seu modelo descobriu

De acordo com a empresa, um modelo de raciocínio de propósito geral produziu uma prova matemática que refuta uma conjectura central relacionada ao problema de Erdős.

Entre os pontos principais do anúncio:

• O modelo teria produzido um argumento matemático novo, não apenas repetindo resultados conhecidos.
• A prova usa ideias da teoria algébrica dos números para construir configurações de pontos mais eficientes que os padrões tradicionais.
• O resultado contradiz a expectativa antiga de que soluções ótimas deveriam se parecer com grades quadradas.

Se confirmado, isso muda a forma como matemáticos entendem uma das perguntas clássicas da geometria discreta.

Por que isso é diferente do episódio do GPT‑5

A OpenAI já havia enfrentado críticas anteriormente ao afirmar que o GPT‑5 havia resolvido vários problemas de Erdős.

Posteriormente, análises mostraram que o modelo apenas havia redescoberto soluções que já existiam na literatura matemática, o que não configurava uma descoberta inédita.

A nova afirmação difere em dois pontos principais:

• A prova é descrita como original, não uma redescoberta.
• Matemáticos externos teriam analisado o argumento e expressado apoio à sua validade inicial.

Mesmo assim, na matemática a confirmação definitiva exige revisão detalhada e, normalmente, publicação em periódico científico revisado por pares.

O que matemáticos disseram até agora

Relatos indicam que pesquisadores conhecidos examinaram a prova e ofereceram comentários favoráveis. Entre os citados estão Noga Alon, Melanie Wood e Thomas Bloom, especialistas em combinatória e teoria dos números.

Observadores afirmaram que o resultado é muito mais forte do que tentativas anteriores de IA de produzir provas matemáticas originais.

Ainda assim, a comunidade matemática costuma verificar cada detalhe cuidadosamente antes de aceitar um resultado dessa magnitude.

Por que pesquisadores consideram isso importante

Além do resultado específico em geometria, cientistas veem uma implicação maior: a possibilidade de que sistemas de IA consigam lidar com cadeias longas e complexas de raciocínio.

Problemas difíceis em ciência frequentemente exigem centenas ou milhares de passos lógicos conectando ideias de diferentes áreas. Se sistemas de IA conseguirem construir e verificar esses raciocínios com confiabilidade, eles podem ajudar em campos como:

• física teórica
• biologia e medicina
• engenharia
• ciência de materiais

Para alguns pesquisadores, isso indica uma mudança gradual no papel da IA: de ferramenta de apoio para cientistas para um sistema que às vezes também pode gerar novas ideias teóricas.

Em resumo

A OpenAI afirma que um de seus modelos produziu uma prova inédita que refuta uma conjectura ligada ao problema da distância unitária no plano de Erdős — um desafio estudado desde 1946.

Se a prova resistir à verificação rigorosa da comunidade matemática, o episódio poderá marcar um dos primeiros casos em que uma IA contribui diretamente para resolver um problema clássico da matemática.