Uma IA resolve um puzzle de geometria com 80 anos de idade. O que fazem os matemáticos disso?

Oito décadas depois de Paul Erdős ter proposto o problema da distância unitária em 1946, uma IA de finalidade geral produziu configurações que ultrapassam os limites conjecturados há muito tempo, provando pelo menos pares de distância unitária n^(1+δ) para algum δ>0. Matemáticos da Princeton verificaram o resultado, com figuras como Tim Gowers e Arul Shankar a classificarem-no como um avanço significativo.

• Principais conclusões:
• A OpenAI resolveu o puzzle de Paul Erdős de 1946 com construções de distância unitária n^(1+δ).
• A Princeton verificou o resultado, dando à IA um impulso de credibilidade em matemática em 2026.
• Tim Gowers afirma que o avanço pode influenciar a criptografia e as demonstrações para além da geometria.

O enigma geométrico, com 80 anos, finalmente deu sinais de avanço quando um sistema da OpenAI juntou uma construção improvável que ultrapassou as expectativas de longa data. O problema da distância unitária, proposto por Paul Erdős em 1946, pergunta quantos pares de pontos exatamente a 1 unidade de distância podem existir entre n pontos no plano; a IA encontrou configurações que crescem mais depressa do que o “livro de regras” clássico permitia. Matemáticos da Princeton verificaram o trabalho, e pesos-pesados como Tim Gowers e Arul Shankar prestaram atenção. Para além dos créditos, o resultado sugere um novo tipo de colaborador para a matemática, um que usa inferência geral para ultrapassar heurísticas humanas.

A IA desbrava um mistério matemático com 80 anos com uma solução de avanço

Alguns problemas continuam a impelir-nos aos limites da paciência humana. O problema da distância unitária, proposto em 1946 por Paul Erdős, colocou uma pergunta aparentemente simples: com n pontos num plano, quantos pares podem estar exatamente a 1 unidade de distância. Gerações atacaram-no com grelhas, simetria e persistência. O progresso vinha em migalhas, nunca em saltos. E então, em silêncio, uma IA entrou em cena.

Um problema com décadas, finalmente resolvido

A abordagem clássica organizou pontos em grelhas quadradas, ajustando a escala para coaxer mais pares à distância de 1. Esse método sugeriu um crescimento apenas acima do linear, aproximadamente n multiplicado por um fator que mal supera n à medida que n cresce. O campo consolidou-se em torno da ideia de que o melhor limite inferior ficaria perto de n^(1+o(1)), um degrau acima de n, não um avanço.

Como a IA ultrapassou as conjecturas

De acordo com investigadores envolvidos, um modelo interno da OpenAI propôs uma nova família de configurações de pontos que cruza um limiar há muito considerado inalcançável. O sistema produziu construções com pelo menos n^(1+δ) pares de distância unitária, para um δ fixo superior a 0 que não se desvanece à medida que n aumenta. Isto é uma melhoria polinomial real, não um mero ajuste.

A abordagem combinou intuição geométrica com teoria avançada dos números algébricos, um conjunto de ferramentas surpreendente para um problema de contagem espacial. Não surgiu de um motor especializado em matemática. Em vez disso, emergiu de um modelo de inferência geral em avaliação, sugerindo capacidades de raciocínio mais amplas que conseguem navegar entre domínios quando o espaço de pesquisa é vasto.

Confirmado por especialistas, celebrado pelo campo

Matemáticos independentes da Universidade de Princeton analisaram as construções da IA e confirmaram o resultado, segundo pessoas familiarizadas com a revisão. Vozes conceituadas, incluindo Sir Tim Gowers e Arul Shankar, elogiaram o avanço como um passo significativo para o campo. Este é o caso em que um novo limite inferior, há muito estático, finalmente se moveu porque uma IA encontrou a lente certa.

Implicações para a matemática e para além

O que significa quando um modelo generalista ultrapassa conjecturas entrincheiradas. Para começar, sugere um fluxo de trabalho em que as máquinas apresentam estruturas candidatas e os humanos as testam sob pressão. Para além da geometria, áreas como combinatória, teoria da codificação e criptografia podem ver colaborações semelhantes quando as demonstrações dependem de construções raras.