Les agents d'OpenAI ont soi-disant résolu un problème vieux de deux siècles, et les mathématiciens qui y étaient presque n'ont même pas eu droit à un remerciement.
Vingt-cinq médaillés Fields signent une lettre ouverte contre OpenAI, et une bonne partie de la profession refuse désormais de bosser avec l'IA.
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.