IT之家 Informations du 15 octobre : le Laboratoire d'intelligence artificielle de Shanghai a publié aujourd'hui un article annonçant que le problème de classe mondiale qui troublait la communauté mathématique depuis plus de 30 ans — la conjecture de Ghys en dimension troisa été résolu.
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 multimodal scientifique Intern S2 (书生-S2), et sur la voie technologique de « fusion du général et du spécialisé »,a achevé la preuve de la conjecture de Ghys en dimension trois grâce à la collaboration humain-machine。
L'équipe du professeur Dong Bin de l'Université de Pékin et de l'académicien Liu Ruochuan a réalisé la vérification formelle de cette preuve à l'aide du cadre SHEAF qu'ils ont développé, validant ainsi l'exactitude de ce travail.Cela marque la première fois que des scientifiques chinois utilisent un grand modèle chinois pour résoudre un problème mathématique de classe mondiale。
La conjecture de Ghys a été formulée en 1995 par le mathématicien français Étienne Ghys ; elle conjecture 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. Ce problème allie difficulté théorique et valeur emblématique pour la discipline ; il est reconnu par les experts en mathématiques du domaine des systèmes dynamiques comme l'une des questions ouvertes à long terme les plus importantes du domaine, et constitue une pierre de touche pour évaluer la capacité de raisonnement mathématique.
L'article correspondant a été publié sur la plateforme de prépublications (arXiv), et son code de formalisation est également disponible publiquement sur la plateforme Github. IT之家 fournit le lien ci-dessous :
https://github.com/frenzymath/HolomorphicAnosov
Le Laboratoire d'intelligence artificielle de Shanghai a déclaré que l'importance de cette recherche réside également dans la validation d'un nouveau paradigme de recherche scientifique. La recherche mathématique traditionnelle repose sur les longues explorations de génies individuels, tandis que cette campagne a systématiquement intégré l'intuition des experts dans la boucle de résolution par la machine, formant une boucle fermée « exploration systématique — jugement d'expert — accumulation de résultats — correction par retour d'information ».Ce paradigme peut être reproduit et étendu à davantage de domaines de recherche fondamentale « à espace de recherche immense mais experts rares », afin de réaliser davantage de percées d'innovation originale « de 0 à 1 »。
Ensuite, en s'appuyant sur la boucle complète de capacités validée par cette recherche, l'équipe l'encapsulera davantage en un module de vérification mathématique réutilisable de la plateforme de découverte scientifique Intern · Duanyan, pouvant être directement appelé pour des recherches ultérieures sur des problèmes scientifiques. Parallèlement, en prenant la percée de la conjecture de Ghys en dimension trois comme point de départ,le Laboratoire d'intelligence artificielle de Shanghai étendra les capacités de raisonnement accumulées à d'autres disciplines partageant des structures mathématiques homologues; après avoir obtenu de nouvelles percées, ces nouvelles capacités de raisonnement seront encapsulées dans la plateforme Duanyan pour être réutilisées, combinées à davantage de disciplines en quête d'une nouvelle série de percées, formant ainsi une roue d'auto-évolution « percée — encapsulation — réutilisation — nouvelle percée ».
Déclaration publicitaire : les liens de redirection externes contenus dans cet article (y compris mais sans s'y limiter les hyperliens, codes QR, mots de passe et autres formes) servent à transmettre davantage d'informations et à faire gagner du temps de sélection ; les résultats sont fournis à titre indicatif uniquement. Tous les articles de IT之家 contenant des liens externes incluent cette déclaration.