Modelo da OpenAI derruba conjectura de Erdős, com 80 anos de idade, atingindo 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 uma distância unitária em um plano não excederia significativamente n^(1+o(1)); no entanto, a nova construção do conjunto de pontos do modelo atinge n^(1+δ) pares, onde δ é uma constante positiva, quebrando o limite superior mantido por quase 80 anos.

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