Une équipe de recherche chinoise a pleinement prouvé la conjecture 3D de Ghys, un problème mathématique de classe mondiale qui a dérouté la communauté mathématique internationale pendant plus de 30 ans. C’est la première fois que des scientifiques chinois s’appuient sur un grand modèle d’IA développé au niveau national pour résoudre un problème à ce niveau.
L’équipe, dirigée par Xu Disheng, professeur à la Greater Bay University et chercheur invité au Laboratoire d’intelligence artificielle de Shanghai (Shanghai AI Lab), a travaillé avec le grand modèle scientifique Intern-S2 du laboratoire pour résoudre cette conjecture. L’IA a entrepris des dérivations mathématiques à grande échelle, à longue chaîne et très complexes, tandis que les chercheurs ont tracé la direction générale et identifié les pistes de raisonnement prometteuses.
Après plusieurs séries d’interactions itératives, la collaboration a produit une preuve complète et rigoureuse de la conjecture.
Une vérification indépendante a été effectuée par une équipe de l’Université de Pékin dirigée par Liu Ruochuan, académicien de l’Académie chinoise des sciences, et le professeur Dong Bin. À l’aide d’un cadre auto-développé et d’un calcul parallèle massif avec des agents d’IA, l’équipe a effectué une vérification automatique formelle de tous les théorèmes fondamentaux et généré des centaines de milliers de lignes de code de vérification, confirmant rigoureusement que l’ensemble de la preuve est logiquement complète, sans lacunes et pleinement valide.
Proposée pour la première fois en 1995 par le mathématicien français Étienne Ghys, la conjecture est depuis longtemps considérée comme un problème central non résolu dans les dynamiques complexes, avec une extrême difficulté de raisonnement. Son homologue en nombres réels reste un problème ouvert dans le monde entier et est considéré comme une référence clé pour mesurer la capacité de raisonnement mathématique avancé.
L’article a été publié sur une plateforme internationale de préimpression et le code de vérification est entièrement open source.
