OpenAI batte Erdos su un problema del 1946: nove matematici firmano la verifica
Un modello interno di OpenAI ha confutato la congettura di Erdős sulle distanze unitarie nel piano, aperta dal 1946. La verifica è firmata da nove matematici, tra cui Thomas Bloom, che a ottobre aveva smontato un annuncio simile