Une alliance Mathématiques et IA créée à l'Université Tsinghua

Une alliance de laboratoires de mathématiques et d'intelligence artificielle a été établie à l'Université Tsinghua à Pékin le 11 octobre. La nouvelle initiative de recherche vise à approfondir l'intégration de l'IA et des mathématiques dans plusieurs domaines clés.

L'alliance se concentrera sur le développement de grands modèles dédiés à la science mathématique, aux preuves formelles mathématiques assistées par l'IA et à la découverte de conjectures, ainsi qu'à l'IA explicable et au calcul intelligent interdisciplinaire. Ce développement intervient dans un contexte d'influence croissante de l'IA, suite aux récentes publications d'entités telles qu'OpenAI sur la recherche mathématique.

Shing-Tung Yau, le chef de l'alliance et doyen du Centre des sciences mathématiques Yau de l'Université Tsinghua, a souligné la nécessité pour les mathématiques de s'adapter à l'ère de l'IA lors de la cérémonie de création. Il a déclaré que l'essor de l'IA oblige à réévaluer les valeurs fondamentales des mathématiques et exige que les chercheurs s'engagent activement dans son évolution.

L'alliance a dévoilé plus de dix résultats et orientations de recherche clés en "IA + mathématiques" lors de l'événement. Ceux-ci couvrent divers domaines scientifiques, notamment la géométrie, le calcul quantique et les sciences de la vie. Par exemple, l'IA a été utilisée pour aider à explorer des stratégies de preuve et à simplifier des calculs dans un projet, tandis que les mathématiciens se sont concentrés sur le développement théorique de la preuve.

L'alliance réunit plus de 1 000 mathématiciens et chercheurs d'institutions de premier plan en Chine. Son objectif est de fournir des conseils avancés aux jeunes universitaires et étudiants et de favoriser l'intégration des ressources pour développer les propres modèles d'IA mathématiques de la Chine.