Sem uma cadeia de ferramentas dedicada, esta rodada da OpenAI é uma pontuação máxima na prova sem preparação.

De acordo com o monitoramento do Beating, um modelo de raciocínio geral da OpenAI quebrou pela primeira vez a conjectura da distância unitária no plano de Erdős.
Através da construção de um novo conjunto de pontos, elevou o logaritmo da distância unitária para n^{1+δ}, quebrando a expectativa de limite superior de quase 80 anos.
O modelo não utilizou ferramentas específicas, mas introduziu interdisciplinarmente ferramentas profundas da teoria dos números algébricos na geometria do plano euclidiano.
Acadêmicos externos publicaram esclarecimentos, apontando que a derivação envolve ideias de Ellenberg–Venkatesh, Golod–Shafarevich e outros.
Este feito é visto como um marco na matemática de IA, demonstrando que modelos gerais podem propor ideias originais e avançar na demonstração sem ferramentas especializadas.