Des chercheurs chinois résolvent la conjecture 3D de Ghys avec un modèle d'IA national

Une équipe dirigée par le professeur Xu Disheng, de la Greater Bay University, en collaboration avec le modèle scientifique Intern-S2 du laboratoire d'IA de Shanghai, annonce une démonstration complète de la conjecture de Ghys en dimension 3, un problème de dynamique complexe proposé par Étienne Ghys en 1995 et resté irrésolu pendant plus de 30 ans. Une équipe de l'université de Pékin a indépendamment réalisé la vérification formelle automatique de tous les théorèmes centraux, générant des centaines de milliers de lignes de code de vérification. L'article est disponible sur une plateforme de prépublication et le code de vérification est entièrement ouvert, ce qui en fait un cas marquant de contribution d'un modèle d'IA à une grande démonstration mathématique.

• Hacker News (AI)2026-10-18 20:19