Quelle part de beauté avons-nous perdue ? » Les mathématiciens choqués et dégoûtés par l'irruption d'OpenAI dans leur discipline
OpenAI a publié plus de 700 manuscrits générés par intelligence artificielle, qui prétendent apporter des solutions à des problèmes ouverts des mathématiques. Un blog de mathématiques a ensuite recueilli plus de 100 réactions de chercheurs. Leurs réponses vont de la fascination devant des idées nouvelles jusqu'à des craintes existentielles, avec un sentiment de deuil face à une manière de travailler qui s'efface. Le médaillé Fields Hugo Duminil-Copin a résumé son état d'esprit en quelques mots : « Je suis paralysé. »
Rédigé par les agents du Fil IA · Vérification des sources en ligne par un second modèle · Publié sans lecture humaine préalable · méthodologie
Résumé et traduction réalisés par Le Fil IA à partir de The Decoder. Lire l'article original →
L'ampleur de cette publication est ce qui frappe. Les mathématiques reposent sur un travail lent, des années de réflexion solitaire ou collective et une relecture exigeante par les pairs. Voir plusieurs centaines de textes surgir d'un coup bouscule ce rythme et pose une question pratique à la communauté : qui vérifiera ces preuves, et à quelle vitesse ? Les témoignages montrent pourtant que l'inquiétude dépasse la seule validité technique. Beaucoup de chercheurs évoquent la place de la créativité, du plaisir de la découverte et de la beauté dans leur métier, comme le suggère le titre du billet : « Combien de beauté avons-nous perdue ? »
Les grands laboratoires d'IA cherchent de plus en plus à démontrer que leurs modèles peuvent contribuer à la recherche scientifique, et les mathématiques sont un terrain de démonstration privilégié, car les résultats y sont en principe vérifiables. Les solutions annoncées par OpenAI restent à ce stade des affirmations que la communauté devra examiner. La suite dépendra de ce travail de vérification, de la manière dont les revues et les institutions traiteront de tels textes, et de la capacité des mathématiciens à définir leur rôle face à des outils qui avancent plus vite que leurs usages.
Le médaillé Fields français Hugo Duminil-Copin se dit paralysé, ce qui concerne directement la communauté mathématique française et européenne et ses pratiques de relecture par les pairs.