O modelo da OpenAI derruba a conjectura de Erdős de 80 anos, ao alcançar pares de distâncias unitárias em n^(1+δ)

De acordo com Beating, o modelo geral de raciocínio da OpenAI derrubou a conjectura da distância unitária proposta por Erdős em 1946. A conjectura clássica sustentava que o número de pares de pontos a distância unitária num plano não excederia de forma significativa n^(1+o(1)); no entanto, a nova construção do conjunto de pontos do modelo atinge n^(1+δ) pares, em que δ é uma constante positiva, quebrando o limite superior mantido durante quase 80 anos.

O modelo concluiu esta demonstração sem sistemas de matemática especializados ou ferramentas personalizadas. Matemáticos externos, incluindo Noga Alon, Tim Gowers e Arul Shankar, verificaram a demonstração original e publicaram um artigo de apoio no arXiv, confirmando que a dedução recorre a técnicas avançadas da teoria dos números algébrica.