La Fin des mathématiques : 40 grands mathématiciens réunis lors d'une réunion secrète chez OpenAI

En août, à l'initiative de Sébastien Bubeck (OpenAI) et du médaillé Fields Jacob Tsimerman, environ 40 chercheurs se sont rassemblés pour discuter des enjeux posés par l'intelligence artificielle en mathématiques. Cette réunion survient après plusieurs résultats remarquables : une IA a résolu la Conjecture de la Distance Unitaire (restée ouverte 80 ans), OpenAI a annoncé dix nouvelles découvertes en mathématiques, et Claude a progressé sur l'Hypothèse de Riemann. Des mathématiciens comme Daniel Litt (Toronto) expriment l'inquiétude que la recherche de haut niveau disparaisse à mesure que les machines la supplantent.

Cependant, un débat profond émerge : les preuves produites par l'IA constituent-elles vraiment des avancées mathématiques ? Bryna Kra (Northwestern) et d'autres soulignent que les modèles actuels expliquent mal leurs résultats, passant trop rapidement sur les points difficiles. Melanie Matchett Wood (Harvard) a dû réécrire manuellement la preuve de l'IA pour la rendre compréhensible. Andreas Thom note que les véritables innovations conceptuelles émergent seulement lorsque des humains participent au processus. Cette tension — entre capacité calculatoire et compréhension profonde — structure désormais le débat mathématique autour de l'IA.