O novo modelo de raciocínio da OpenAI resolveu um importante problema em aberto na matemática ao refutar a conjectura da distância unitária de Paul Erdős, de 1946, com uma prova original. Esta é a primeira vez que a IA resolve, de forma independente, um problema matemático fundamental utilizando raciocínio de cadeia longa. A prova passou por verificação independente por matemáticos e apresenta um método de construção inovador que supera suposições anteriores. Essa descoberta demonstra um avanço significativo no raciocínio lógico da IA, superando problemas de alucinação, e tem aplicações potenciais em áreas como a biologia e a ciência dos materiais.