La Chine a réalisé une percée majeure à l'intersection de l'intelligence artificielle et des sciences fondamentales. Selon le Laboratoire d'intelligence artificielle de Shanghai, la conjecture de Ghys en dimension trois, un problème mathématique de classe mondiale qui troublait la communauté mathématique mondiale depuis plus de 30 ans, a récemment été officiellement résolue. C'est également la première fois que des scientifiques chinois parviennent, à l'aide d'un grand modèle national, à vaincre un problème mathématique de classe mondiale.
Cette recherche a été dirigée par l'équipe de Xu Disheng, chercheur invité du Laboratoire d'intelligence artificielle de Shanghai et professeur à l'Université de la Grande Baie. S'appuyant sur le « grand modèle scientifique multimodal Shusheng S2 » (Shusheng-S2) et suivant la voie technologique de l'« intégration du général et du spécialisé », l'équipe de recherche est parvenue, grâce à une collaboration homme-machine, à compléter la preuve de la conjecture de Ghys en dimension trois. Parallèlement, l'équipe du professeur Dong Bin de l'Université de Pékin et de l'académicien Liu Ruochuan a réalisé, à l'aide de son cadre SHEAF développé en interne, une vérification formelle du processus de preuve, confirmant ainsi de manière indubitable l'exactitude de ce résultat de recherche.
En tant que problème public à long terme important dans le domaine des systèmes dynamiques en mathématiques, la conjecture de Ghys en dimension trois a été proposée en 1995 par le mathématicien français Étienne Ghys. Cette conjecture stipule que tout système d'Anosov holomorphe sur une variété complexe compacte est biholomorphiquement conjugué à un automorphisme affine holomorphe sur une certaine variété complexe infra-nilpotente. En raison de sa difficulté théorique extrême et de sa valeur emblématique pour la discipline, ce problème a longtemps été reconnu par la communauté mathématique comme une pierre de touche pour évaluer les capacités de raisonnement mathématique de l'intelligence artificielle et des humains.
En relevant avec succès ce défi grâce à une collaboration homme-machine, l'équipe de scientifiques chinois a non seulement démontré le profond potentiel des grands modèles nationaux pour faire face aux calculs scientifiques de pointe et aux raisonnements logiques complexes, mais a également ouvert une toute nouvelle voie pratique pour l'autonomisation en profondeur de la recherche en sciences fondamentales par l'intelligence artificielle à l'avenir.