L'IA d'OpenAI résout 10 problèmes mathématiques de haut niveau, mais la science fait face à un problème inédit

Le 1er août, OpenAI a publié un billet célébrant dix avancées mathématiques et informatiques obtenues par sa nouvelle génération de modèles de langage Astra. Ces problèmes, situés aux frontières des connaissances actuelles (géométrie en grande dimension, théorie des codes, complexité quantique, cryptographie sur les réseaux), ont résisté aux mathématiciens pendant des années ou des décennies. L'entreprise affirme les avoir résolus avec un budget modeste (environ 2 000 dollars de jetons par problème) et vérifiés formellement.

Cette annonce a provoqué un choc dans la communauté scientifique. Le mathématicien Jay Cummins a confessé voir une IA résoudre un problème sur lequel il avait personnellement travaillé pendant des années. Parallèlement, Jacob Tsimerman, médaille Fields 2026, a quitté l'université de Toronto pour rejoindre OpenAI, symbole du basculement en cours vers l'IA. Les questions fusent : qui reçoit le crédit d'une découverte ? Comment la médaille Fields pourrait-elle fonctionner à l'ère de l'IA ?

Terence Tao (médaille Fields 2006), pointant un risque structurel majeur, alerte sur le passage des mathématiques d'un régime de rareté (preuves rares et lentes) à un régime d'abondance extrême. La communauté scientifique, débordée, accumule un arriéré de propositions en attente de vérification. La discipline mathématique doit se réinventer pour absorber ce flux inédit de résultats potentiels.