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

Jacob Tsimerman, nouveau médaillé Fields, a rejoint OpenAI pour la recherche en sécurité de l'IA. En août, il a organisé avec Sébastien Bubeck une réunion fermée de quarante mathématiciens au siège de San Francisco, où Daniel Litt a présenté un exposé intitulé « La Fin des mathématiques », envisageant un scénario où l'expertise mathématique humaine disparaîtrait. Cette inquiétude fait suite à une série de percées de l'IA : en mai, un modèle non publié d'OpenAI a résolu la Conjecture de la Distance Unitaire (ouverte depuis 80 ans) ; en août, OpenAI a annoncé dix découvertes mathématiques générées par IA couvrant plusieurs domaines. Ces résultats ont déclenché une réaction de la communauté mathématique, dont le manifeste de Leiden signé par plus de 3000 mathématiciens appelant à l'usage responsable des outils d'IA.

Cependant, un débat substantiel émerge : tandis que l'IA peut *prouver* des théorèmes, peut-elle les *comprendre* et les *expliquer* ? Bryna Kra et Melanie Matchett Wood soulignent que les meilleurs modèles d'IA peinent à identifier les passages vraiment difficiles d'une preuve et à les clarifier. Andreas Thom note que les nouveaux concepts n'émergent que lorsque des humains participent au processus de preuve, ce que l'IA ne réalise pas encore seule. Le coeur du problème : une preuve non comprise ne devient pas part de la littérature mathématique.