Um modelo de inteligência artificial da OpenAI refutou a conjectura de Paul Erdős sobre distâncias unitárias no plano, um problema de geometria discreta sem solução por 80 anos. A empresa anunciou o feito em 12 de maio de 2026 e classificou o resultado como um marco da matemática conduzida por IA.
A abordagem usada pelo modelo, recorreu à teoria algébrica dos números. A construção derruba a crença predominante de que a grade quadrada seria a configuração quase ideal para maximizar pares de pontos a uma unidade de distância, conforme análise do StartupHub.ai.
O TechCrunch informou, em 20 de maio, que os mesmos matemáticos que haviam apontado um erro em uma afirmação anterior da OpenAI agora respaldam a nova solução. Os nomes desses pesquisadores, no entanto, não foram divulgados, e o status de revisão por pares formal ainda não foi confirmado.
A OpenAI não detalhou publicamente qual versão específica do modelo foi empregada. Há divergência entre veículos especializados: o TechCrunch descreve a tecnologia como um modelo de raciocínio, enquanto o AI Weekly a classifica como modelo de uso geral.
Formulado por Erdős em 1946, o problema é descrito no livro Research Problems in Discrete Geometry, de Brass, Moser e Pach (2005), como possivelmente o mais conhecido da geometria discreta combinatória.
O que ainda precisa ser confirmado
- Qual modelo específico da OpenAI foi utilizado.
- Os nomes dos matemáticos independentes que validaram o resultado.
- Se a prova foi submetida a revisão por pares formal.
- O novo limite superior matemático estabelecido pela construção.
Na semana anterior, a OpenAI já havia chamado atenção ao lançar agentes autônomos no GPT-5, conforme noticiado pelo PIRANOT.
