Dimanche, à Pékin, un groupe dirigé par Shing-Tung Yau, lauréat de la médaille Fields, a annoncé la création de l’« Alliance du laboratoire Yau pour les mathématiques et l’intelligence artificielle ». Cette alliance réunit huit instituts de recherche chinois et prévoit de constituer un réseau de plus de 1 000 mathématiciens travaillant sur des outils d’IA pour les mathématiques. L’annonce a été rapportée par le South China Morning Post.
Pourquoi les mathématiciens occidentaux sont inquiets
En Europe et aux États-Unis, un nombre croissant de mathématiciens de premier plan s’opposent aux démonstrations générées par l’IA. Vingt-cinq lauréats de la médaille Fields, dont Terence Tao et Peter Scholze, estiment que le recours à l’IA pourrait rendre les chercheurs moins aptes à suivre le raisonnement qui sous-tend une démonstration. Certains ont appelé au boycott des résultats générés par l’IA, tandis que d’autres s’inquiètent du nombre considérable d’articles qui mentionnent désormais un outil d’IA comme coauteur.
La stratégie chinoise en matière d’IA et de mathématiques
L’alliance chinoise entend développer des modèles d’IA spécialisés capables de produire des démonstrations vérifiables par machine. Elle souhaite également que ces systèmes expliquent leur raisonnement de façon à ce que d’autres chercheurs puissent le vérifier. Yau a averti que, sans un effort coordonné de ce type, la Chine risquait de prendre du retard sur les États-Unis dans le domaine de la recherche mathématique.
Pourquoi c'est important
Si l’alliance chinoise réussit, les outils d’IA pourraient devenir courants dans la recherche mathématique, accélérant potentiellement les découvertes, mais aussi transformant la manière dont les démonstrations sont vérifiées. Pour les étudiants et les professionnels, cela pourrait impliquer d’apprendre à utiliser de nouveaux logiciels pour comprendre ou contrôler les résultats produits par l’IA, tandis que le débat en Occident met en lumière une possible divergence dans l’évolution de la discipline.
