OpenAI diz que seu sistema encontrou solução para enigma matemático de 80 anos

Empresa afirma ter superado um limite clássico do problema da distância unitária; prova passou por revisão e foi refinada por matemáticos

A OpenAI anunciou que um de seus sistemas internos produziu uma demonstração relacionada ao problema da distância unitária, formulado por Paul Erdős em 1946. Segundo a companhia, a construção encontrada ultrapassa limites conhecidos desde a década de 1980 e traz uma abordagem inédita para a questão sobre quantos pares de pontos podem ficar separados por exatamente uma unidade em um plano.

Verificação externa e impacto na comunidade

Pesquisadores externos revisaram a demonstração e confirmaram a validade do resultado, embora a versão final tenha sido substancialmente refinada por matemáticos humanos. Nomes como Thomas Bloom e Tim Gowers aparecem entre os comentaristas citados, apontando que o trabalho representa um avanço significativo — e que a participação humana segue sendo essencial para interpretar, melhorar e explorar as consequências da prova. O anúncio reaparece em meio a um histórico recente de alegações polêmicas da empresa, o que reforça o debate sobre como comunicar e validar descobertas de ponta.

Imagem: Divulgação