O modelo interno de raciocínio da OpenAI refutou a conjectura de distância unitária planar de 80 anos, originalmente proposta pelo matemático Paul Erdős em 1946. A conjectura questionava o número máximo de pares de pontos exatamente a uma unidade de distância em um plano, com Erdős sugerindo uma taxa de crescimento de n elevado à potência de 1 mais uma constante dividida por log log n. O modelo da OpenAI descobriu configurações que alcançam aproximadamente n^(1+0,014) distâncias unitárias, superando construções anteriores baseadas em grades quadradas. A descoberta da IA foi validada pelo medalhista Fields Tim Gowers e formalizada pelo matemático de Princeton Will Sawin, confirmando seu rigor acadêmico. Esse desenvolvimento não apenas desafia uma suposição matemática de longa data, mas também destaca a capacidade da IA de conectar geometria com teoria dos números algébricos, potencialmente impactando áreas como geometria computacional e design de redes.