Un académicien de l'Académie chinoise des sciences et des experts en IA de Beidian Shuzhi discutent de l'« effet multiplicateur » de l'IA et des mathématiques

Le 24 juillet 2026, la « Rencontre annuelle de mathématiques des seize provinces (régions, villes) et le forum académique sur les mathématiques appliquées et l'intelligence artificielle » se sont tenus à Yuxi, dans la province du Yunnan, réunissant plus de 500 experts et professeurs de mathématiques. Au cours du forum, Dou Dejing, scientifique en chef de Beidian Shuzhi, et Zhou Xiangyu, académicien de l'Académie chinoise des sciences, ont engagé un dialogue approfondi sur les capacités de l'IA en mathématiques, l'évolution du rôle des mathématiciens et l'avenir de la recherche mathématique assistée par l'IA. Ils ont présenté des données montrant que les grands modèles dominants sont passés d'un échec aux examens d'entrée à l'université en mathématiques en 2024 à des scores supérieurs à 135 sur 140 en 2026, et peuvent désormais obtenir des scores parfaits aux olympiades de mathématiques sans connaissance préalable des problèmes. Cependant, Zhou a souligné que la force principale de l'IA réside dans la recherche de motifs et la déduction mécanique, et non dans une véritable innovation mathématique, et que l'explicabilité des dérivations mathématiques de l'IA reste un goulot d'étranglement non résolu. Ils ont discuté de la conjecture de Jacobi, notant que la capacité de l'IA à effectuer des recherches heuristiques et des calculs à grande échelle pourrait aider à trouver des contre-exemples, mais le problème de la « boîte noire » persiste. Zhou a affirmé que les mathématiciens ne seront pas remplacés car ils font ce que les machines ne peuvent pas faire : proposer de nouvelles questions, construire de nouveaux cadres et découvrir de nouvelles lois. Il a également soulevé des préoccupations d'intégrité académique concernant les résultats générés par l'IA et l'éthique des citations. Dou a présenté l'approche industrielle de Beidian Shuzhi, notamment la construction de centres de calcul dans plus de 30 villes, un système complet « données-calcul-modèle-application », et des déploiements pratiques dans les domaines de la santé et de la fabrication, comme un modèle de maladies de la peau atteignant une précision de 90 % aux examens de médecine intermédiaires et réduisant le temps de diagnostic de 20 %. L'article mentionne également que Claude Fable 5 d'Anthropic aurait réfuté la conjecture de Jacobi en un week-end, et cite le point de vue du médaillé Fields Efim Zelmanov selon lequel l'IA est comme un « jeune mathématicien très talentueux », mais que les humains doivent assumer la responsabilité de comprendre véritablement les preuves et d'en extraire des idées.