Cinquante ans que les matheux se prenaient la tête sur ce problème. L'IA vient de le résoudre en une après-midi.
Le modèle de raisonnement d'OpenAI réfute la conjecture des distances unitaires de Paul Erdős, et les experts qui avaient épinglé la dernière bourde de la boîte valident le résultat.
Alors que les plus grands congrès scientifiques se demandent si l'IA va remplacer les chercheurs, la réalité est déjà bien plus drôle et terrifiante.