1. Um anúncio que abala o mundo matemático

Em 20 de maio de 2026, a OpenAI anunciou que seu modelo interno de raciocínio geral havia resolvido de forma autônoma um problema aberto central em geometria discreta—o problema de distância unitária de Erdős, derrubando uma conjectura que dominava o campo há quase 80 anos.

Isto marca a primeira vez que um sistema de IA fez tudo o seguinte:

• 🤖 Propôs de forma autônoma uma prova original
• 🔗 Conectou diferentes campos (teoria algébrica dos números ↔ geometria combinatória)
• ✅ Passou por revisão por pares rigorosa de matemáticos de classe mundial
• 🏆 Resolveu um problema aberto central em um subcampo matemático maduro

“Por quase 80 anos, os matemáticos acreditaram que a configuração ótima se assemelhava aproximadamente a uma grade quadrada. Um modelo da OpenAI agora derrubou essa crença, descobrindo uma família inteiramente nova de construções com melhor desempenho.” — OpenAI, 20 de maio de 2026

2. O problema: a pergunta enganosamente simples de Erdős

Em 1946, o matemático húngaro Paul Erdős (1913–1996) propôs um problema simples o suficiente para ser explicado a uma criança, mas profundo o bastante para confundir as mentes mais brilhantes por quase um século:

A pergunta

Dados $n$ pontos no plano, qual é o número máximo de pares que estão exatamente a 1 unidade de distância?

Formalmente, se definirmos $u(n)$ como o número máximo de pares de distância unitária entre $n$ pontos:

$u(n) = \max_{\substack{P \subset \mathbb{R}^2 \\ |P| = n}} \big|\{\{p, q\} \subset P : \|p - q\| = 1\}\big|$

Intuição visual

Imagine colocar pontos no papel. O desafio: como organizá-los para que o maior número possível de pares esteja exatamente a uma unidade de distância?

    •─────•                    •──•──•
    │\   /│                    │\/|\/|
    │ \ / │                    │/\|/\|
    •──X──•         vs.        •──•──•
    │ / \ │                    │\/|\/|
    │/   \│                    │/\|/\|
    •─────•                    •──•──•

  Colocação aleatória         Grade quadrada (construção de Erdős)
  (poucas distâncias unitárias) (muitas distâncias unitárias)

3. 80 anos de consenso matemático

Limite inferior: construção da grade de Erdős (1946)

O próprio Erdős forneceu o limite inferior fundamental usando uma construção elegantemente simples: uma grade quadrada reescalada.

    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•

Escalando cuidadosamente a grade para que muitas distâncias sejam exatamente 1, Erdős provou:

$u(n) \geq n^{1 + \frac{c}{\log\log n}} \quad \text{para alguma constante } c > 0$

Como $\frac{c}{\log\log n} \to 0$ quando $n \to \infty$, isto é “quase linear”—o expoente se aproxima de 1 mas nunca atinge um valor fixo maior que 1.

Limite superior: Spencer–Szemerédi–Trotter (1984)

Em 1984, Joel Spencer, Endre Szemerédi e William T. Trotter estabeleceram o melhor limite superior conhecido usando a então revolucionária desigualdade do número de cruzamentos:

$u(n) = O(n^{4/3})$

Este limite permaneceu por 40 anos.

A conjectura central

O consenso esmagador entre os matemáticos era que o limite inferior de Erdős era essencialmente ótimo:

Conjectura (Erdős, 1946): O número máximo de distâncias unitárias cresce como $n^{1+o(1)}$. Em outras palavras: $u(n) = n^{1 + o(1)}$ A construção da grade quadrada é essencialmente ótima.

Resumo da lacuna

4. O avanço da IA: derrubar uma conjectura

O resultado

O modelo de raciocínio geral da OpenAI—treinado com aprendizagem por reforço e equipado com capacidades estendidas de cadeia de pensamento—completou a prova completa em uma única sessão de geração.

Teorema (gerado por IA, 2026): Existe uma família infinita de construções de conjuntos de pontos no plano tal que para infinitos $n$, o número de pares de distância unitária é pelo menos: $u(n) \geq n^{1 + \delta}$ onde $\delta > 0$ é uma constante positiva fixa.

Isto derruba fundamentalmente a conjectura $n^{1+o(1)}$ de Erdős—o número de distâncias unitárias pode crescer polinomialmente além do linear, não apenas “quase linearmente.”

Números-chave

5. A prova: engenhosidade interdisciplinar

O que surpreendeu os matemáticos não foi apenas o resultado, mas o método. O modelo introduziu ferramentas da teoria algébrica dos números em um problema de geometria elementar—uma conexão que nenhum matemático humano havia explorado antes.

Duas mudanças de perspectiva

O teórico dos números Arul Shankar explicou no artigo complementar “Comentários sobre a refutação da conjectura de distância unitária” (arXiv:2605.20695):

Mudança 1: Fixar os primos, variar o corpo

Tradicionalmente, os teóricos dos números fixam um corpo numérico e variam os primos. A prova da IA inverteu esta perspectiva:

Tradicional: Fixar corpo $K$, variar primos $p$

Prova da IA: Fixar conjunto de primos $S$, variar o corpo $K$—variar o corpo numérico sobre um conjunto fixo de primos

Esta técnica é comum em estatística aritmética, mas quase sem precedentes em geometria combinatória de dimensão fixa.

Mudança 2: Torres de corpos de classes

Em vez de usar corpos numéricos de grau limitado, a prova empregou torres de corpos de classes—torres infinitas de extensões de corpos da teoria de corpos de classes:

$K = K_0 \subset K_1 \subset K_2 \subset \cdots \subset K_n \subset \cdots$

onde cada $K_{i+1}$ é o corpo de classes de Hilbert de $K_i$.

Construção da torre de corpos de classes

graph TD
    subgraph "Construção da torre de corpos de classes"
        K0["$K_0 = K$<br/>Corpo base"] --> K1["$K_1 = H(K_0)$<br/>Corpo de classes de Hilbert"]
        K1 --> K2["$K_2 = H(K_1)$<br/>Corpo de classes de Hilbert"]
        K2 --> K3["$K_3 = H(K_2)$<br/>Corpo de classes de Hilbert"]
        K3 --> K4["$\cdots$"]
        K4 --> Ki["$K_i$"]
        Ki --> Kinf["$K_\infty$<br/>Torre infinita"]
    end

    subgraph "Conexão com a geometria"
        K0 -.->|"Anel de inteiros"| O0["$\mathcal{O}_K$"]
        O0 -->|"Imersão"| C["$\mathbb{C}^r$"]
        C -->|"Gera o conjunto de pontos"| U["Distâncias unitárias<br/>no plano"]
    end

    style K0 fill:#e1f5fe
    style K1 fill:#b3e5fc
    style K2 fill:#81d4fa
    style K3 fill:#4fc3f7
    style Ki fill:#29b6f6
    style Kinf fill:#0288d1,color:#fff

A conexão Golod-Shafarevich

A prova aproveita a teoria de Golod-Shafarevich, que fornece condições para que uma torre de corpos de classes seja infinita:

Teorema de Golod-Shafarevich: Se um corpo numérico $K$ tem primos suficientemente ramificados em relação ao seu grau, então sua torre de corpos de classes é infinita.

Esta extensão infinita cria estrutura algébrica suficiente para produzir conjuntos de pontos com o desejado número $n^{1+\delta}$ de distâncias unitárias.

6. Verificação independente e reconhecimento académico

Aprendendo com a controvérsia de outubro de 2025 (quando o GPT-5 afirmou ter resolvido problemas de Erdős, apenas para ser desmascarado pelo matemático Thomas Bloom como mera recuperação de literatura), a OpenAI conduziu uma verificação independente rigorosa:

Matemáticos verificadores

Artigo complementar

O artigo complementar “Comentários sobre a refutação da conjectura de distância unitária” foi escrito por uma equipa de estrelas:

• Noga Alon (Princeton)
• Thomas Bloom (Oxford)
• Tim Gowers (Cambridge)
• Daniel Litt (Toronto)
• Will Sawin (Princeton)
• Arul Shankar (Toronto)
• Jacob Tsimerman (Toronto)
• Melanie Matchett Wood (Harvard)

📄 arXiv: 2605.20695

7. Linha do tempo: da conjectura à refutação

timeline
    title Problema de distância unitária de Erdős—Jornada de 80 anos

    1946 : Paul Erdős propõe o problema
         : Propõe a conjectura $n^{1+o(1)}$
         : Introduz o limite inferior da grade quadrada

    1952 : Moser melhora o limite superior
         : $u(n) \leq O(n^{3/2})$

    1984 : Spencer–Szemerédi–Trotter
         : Método do número de cruzamentos
         : $u(n) = O(n^{4/3})$ (ainda o melhor limite superior)

    1990s : Elekes introduz o método polinomial
           : Prova do número de cruzamentos de Székely

    2010 : Guth–Katz distâncias distintas
          : Revolução da partição polinomial

    2015 : Guth–Katz provam o limite das distâncias distintas
          : Novas técnicas energizam o campo

    Oct 2025 : Controvérsia do GPT-5
              : Alega ter resolvido 10 problemas de Erdős
              : Desmascarado por Thomas Bloom
              : (Momento de aprendizagem da OpenAI)

    May 2026 : 🤖 Avanço da IA
              : Modelo de raciocínio da OpenAI derruba a conjectura
              : Torre de corpos de classes encontra geometria combinatória
              : $\delta = 0.014$ (melhoria de Sawin)
              : Site de problemas de Erdős atualizado para refutado

8. Exemplo de código-chave

Implementação de referência para contar distâncias unitárias

import numpy as np
from itertools import combinations
from typing import List, Tuple

def count_unit_distances(points: List[Tuple[float, float]],
                         eps: float = 1e-9) -> int:
    """
    Conta o número de pares de distância unitária num conjunto de pontos.

    Este é o problema computacional fundamental proposto por Erdős.

    Args:
        points: lista de coordenadas (x, y)
        eps: tolerância para comparação de ponto flutuante

    Returns:
        número de pares a distância exatamente 1 (dentro da tolerância)

    Complexidade temporal: O(n²)—verifica todos os pares
    Complexidade espacial: O(1) extra
    """
    count = 0
    n = len(points)

    for i, j in combinations(range(n), 2):
        x1, y1 = points[i]
        x2, y2 = points[j]

        dist_sq = (x2 - x1)**2 + (y2 - y1)**2

        if abs(dist_sq - 1.0) < eps:
            count += 1

    return count


def erdos_grid_construction(n: int) -> List[Tuple[float, float]]:
    """
    Construção original da grade quadrada reescalada de Erdős.

    Esta construção atinge aproximadamente n^(1 + c/log(log(n))) distâncias unitárias.
    """
    m = int(np.sqrt(n))
    scale = 1.0

    points = []
    for i in range(m):
        for j in range(m):
            points.append((i * scale, j * scale))

    return points[:n]


# Exemplo: comparar construções
if __name__ == "__main__":
    n = 100

    random_points = [(np.random.random(), np.random.random())
                     for _ in range(n)]
    random_count = count_unit_distances(random_points)

    grid_points = erdos_grid_construction(n)
    grid_count = count_unit_distances(grid_points)

    print(f"n = {n} pontos")
    print(f"Colocação aleatória: {random_count} distâncias unitárias")
    print(f"Construção em grade: {grid_count} distâncias unitárias")
    print(f"Máximo teórico (conjecturado): ~{n:.0f}")
    print(f"Limite inferior da IA (n^1.014): {n**1.014:.1f}")

9. Por que desta vez é diferente

As conquistas matemáticas anteriores da IA pertenciam a categorias diferentes. Este avanço representa uma mudança de paradigma:

Papel da IA na Matemática
├── Matemática de competição (problemas nível ouro IMO—estruturados, inovação limitada)
├── Verificação formal (Lean/Coq—verifica teoremas existentes, sem descoberta original)
├── Síntese de literatura (GPT-5 Out 2025—recupera resultados conhecidos, desmascarado)
└── 🏆 Este avanço
    ├── Geração de prova original
    ├── Conexão interdisciplinar
    ├── Sem orientação humana passo a passo
    ├── Revisão por pares especializada
    └── Resolve um problema aberto central

10. Implicações mais profundas

Para além da matemática

Este avanço sinaliza capacidades muito para além da geometria:

• 🧬 Biologia—Descobrindo novos medicamentos e estruturas de proteínas
• ⚛️ Física—Propondo novas teorias e modelos
• 🧪 Ciência dos materiais—Concebendo novos materiais
• 🔬 Medicina—Descobrindo novos tratamentos
• 🏗️ Engenharia—Resolvendo problemas de design complexos

Avaliação da OpenAI

“Manter a coerência através de cadeias de raciocínio complexas, conectar ideias entre domínios e encontrar caminhos que os investigadores possam não ter explorado—estas capacidades aplicam-se igualmente à biologia, física, ciência dos materiais, engenharia e medicina. Este é um passo em direção a uma investigação mais automatizada.”

O papel humano continua indispensável

Como disse Thomas Bloom—o mesmo matemático que desmascarou as alegações da OpenAI de outubro de 2025:

“Que maravilhas invisíveis ainda esperam ser descobertas?”

Referências

1. 📝 Blog oficial da OpenAI (20 de maio de 2026): An OpenAI model has disproved a central conjecture in discrete geometry
2. 📄 Artigo complementar: Noga Alon, Thomas Bloom, Tim Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Melanie Matchett Wood, “Remarks on the disproof of the unit distance conjecture”, arXiv:2605.20695. Link
3. 🌐 Site de problemas de Erdős: erdosproblems.com—estado atualizado para refutado
4. Interesting Engineering: “80-year-old geometry mystery cracked by OpenAI using deep number theory”
5. Yahoo Tech: “OpenAI claims it solved an 80-year-old math problem”
6. AI Wins News: “OpenAI Model Disproves 80-Year-Old Unit Distance Conjecture”