Un problème vieux de 78 ans, résolu en seulement trois jours !
La question était de savoir si la sphère en six dimensions possède une structure complexe, une interrogation qui durait depuis 1948. Aujourd'hui, la réponse est oui.
Les auteurs de cette réponse sont le mathématicien de Harvard Levent Alpöge et Claude.
Mais la méthode utilisée pour résoudre le problème est encore plus impressionnante.
Ils ont contourné l'approche traditionnelle empruntée pendant des décennies et ont directement construit l'objet, le désignant comme étant la structure complexe sur S6.
Lorsqu'Alpöge a annoncé la nouvelle sur X, sa première phrase ressemblait à la naissance d'une nouvelle vie :
Accueillez ce magnifique nouvel objet géométrique dans le monde.
Plus de soixante-dix ans, accrochés à cette seule sphère
Parmi toutes les sphères, seules deux sont éligibles pour une structure complexe : S2 et S6, les autres dimensions ayant été écartées.
S2 ne fait aucun doute, c'est la brique la plus fondamentale de la géométrie complexe.
Pendant plus de soixante-dix ans, tous les regards se sont donc concentrés sur ce seul et unique candidat, S6.
Certains affirmaient son existence, d'autres juraient qu'elle n'existait absolument pas, mais les deux camps ont échoué.
Par exemple, l'un des plus grands mathématiciens contemporains, lauréat de la médaille Fields Michael Francis Atiyah, a prétendu l'avoir résolu en 2016, mais des lacunes dans son raisonnement ont été pointées.
Le grand mathématicien chinois Shiing-Shen Chern a également étudié ce problème dans ses dernières années.
Alpöge a cette fois produit un document d'argumentation épais de 108 pages.
Chaque matrice utilisée dans la construction, chaque coordonnée, chaque méthode de collage, il l'a explicitement écrite noir sur blanc.
Le mathématicien Qiaochu Yuan a spécifiquement utilisé GPT-5.6 Sol pour trouver des failles, mais après l'avoir examiné pendant 6 minutes, il n'a trouvé aucun défaut.
Insatisfait, il l'a revérifié pendant 15 minutes supplémentaires, mais n'a toujours trouvé aucune erreur, comprenant au contraire mieux la logique de la démonstration.
La conclusion de Sol était que si ces 108 pages tiennent bon, il s'agirait de la plus importante réalisation mathématique de l'IA à ce jour.
Si ce travail avait été accompli uniquement par des humains, il aurait probablement remporté la médaille Fields, ne serait-ce que pour son impact, même s'il n'est pas d'une difficulté ou d'une renommée exceptionnelle.
Trois nombres entiers qui ont décidé du sort du problème
Alors, comment ce nouvel objet a-t-il été construit ?
Première étape : préparer la base.
Prenez un objet appelé groupe triangulaire (3,4,∞) et pliez le demi-plan supérieur ; la forme restante après pliage est, intuitivement, une sphère.
Cependant, cette sphère a trois points spéciaux : un d'ordre 3, un d'ordre 4 et un point cuspidal, situés respectivement en t = 0, t = 1 et t = ∞.
Alpöge n'a pas caché sa préférence, affirmant que le groupe triangulaire et la famille de tores qui y est attachée sont son coup de maître préféré.
Deuxième étape : attacher des tores à la base.
À chaque point de la base, excepté les trois points spéciaux, est attaché un tore complexe de dimension 2, une structure qui est de dimension 2 dans les nombres complexes et de dimension 4 dans les réels.
Cette chose au-dessus d'un point s'appelle mathématiquement la fibre en ce point, et l'espace X est construit point par point de cette manière.
Après cette étape, les trois points spéciaux sont toujours vides, ce qui équivaut à trois trous percés dans la sphère.
Troisième étape : combler les trois trous.
Combler les trous signifie attribuer une fibre à chacun de ces trois points vides et les coudre ensemble pour former une variété complexe compacte complète.
La partie la plus ingénieuse est que les trois trous ne sont pas comblés de la même manière ; chaque trou tombe exactement dans le domaine d'application d'une méthode classique de remplissage.
Le point cuspidal en t = ∞ utilise la dégénérescence des tores de Mumford ; la fibre insérée, appelée W, est obtenue en collant trois paires de côtés opposés d'un hexagone d'une surface del Pezzo de degré 6.
Les deux points restants, t = 0 et t = 1, utilisent la transformation logarithmique de Kodaira, avec des multiplicités respectives de 3 et 4, correspondant exactement aux ordres 3 et 4 des points sur la base.
Au moment où les trois trous sont comblés, une variété complexe compacte de dimension trois, nommée X, voit le jour.
L'objet est construit, mais est-ce vraiment S6 ?
À ce stade, X est déjà une variété complexe parfaitement légitime, mais la question n'est pas encore résolue.
La section 7 du calcul paper du groupe fondamental de X, donnant le résultat π1(X) ≅ Z / |12l0 − 4l1 − 3l2|.
Le groupe fondamental peut grossièrement être compris comme la présence de trous dans l'espace que l'on ne peut contourner. Sur une sphère, toute boucle peut être contractée en un point, donc le groupe fondamental de la sphère est trivial.
Les trois entiers (l0, l1, l2) dans la formule enregistrent le degré de torsion des fibres lors du comblement des trois trous.
En substituant (0, 1, −1), on obtient 12×0 − 4×1 − 3×(−1) = −1, dont la valeur absolue est fermement fixée à 1.
Et Z modulo 1 est le groupe trivial ; le groupe fondamental disparaît ici complètement, correspondant à la première condition de la sphère.
Puisque X est simplement connexe, son homologie entière correspond parfaitement à celle de S6. En appliquant les théorèmes de Hurewicz et Whitehead, il s'agit indéniablement d'une sphère d'homotopie en six dimensions. Ensuite, en invoquant la conjecture de Poincaré généralisée prouvée par Smale en 1961, elle est homéomorphe à S6.
Il ne reste plus que la structure différentielle à vérifier.
En topologie, l'homéomorphie n'équivaut pas à la difféomorphie. Deux objets peuvent sembler identiques, mais les méthodes de calcul différentiel peuvent ne pas correspondre ; ces imposteurs ont un nom spécifique : sphères exotiques.
Heureusement, dès 1963, Kervaire et Milnor avaient clarifié cette question. Le monde en six dimensions est propre, il n'y a précisément aucune sphère exotique. En revanche, en dimension sept, il peut y en avoir jusqu'à 28.
Ainsi, l'homéomorphie se transforme ici directement en difféomorphie, et la véritable nature de X est bien S6.
Celui qui l'a résolu n'est pas un spécialiste de la géométrie complexe
Alpöge est Junior Fellow à la Society of Fellows de Harvard et postdoctorant chez Anthropic. Sa spécialité d'origine est la théorie des nombres et la géométrie arithmétique ; il ne s'aventure pas souvent dans les eaux de la géométrie complexe.
Et Yuan a révélé que seulement trois jours avant de résoudre ce problème, ils venaient justement de discuter de cette impasse.
De la recherche de la réponse à la construction de la réponse
Résoudre en trois jours un problème qui bloquait depuis plus de soixante-dix ans est déjà assez incroyable.
Mais c'est en fait la troisième fois en 35 jours.
Le 20 juillet, Alpöge a utilisé Claude Fable 5 pour produire un contre-exemple fatal à la conjecture de Jacobi, un problème posé en 1939 et resté non résolu pendant 87 ans.
À peine trois semaines plus tard, le 10 août, une version non publiée et non identifiée de Claude a augmenté la proportion prouvée de zéros de la fonction zêta de Riemann sur la ligne critique, de 41,6% à 67,2%.
Dans cette bataille de puissance de calcul, elle a mobilisé environ 60 sous-agents intelligents, exécuté plus de 2400 commandes shell et consommé 31 millions de tokens de sortie.
Puis vint le 24 août, c'est-à-dire cette fois-ci, avec S6.
Pour les deux premières réalisations, on pourrait encore difficilement expliquer que l'IA n'est qu'un moteur de recherche extrêmement puissant : l'un cherchait un contre-exemple dans un espace de solutions connu, l'autre combinait de force deux articles existants déjà dans la base de données.
Seulement cette fois, la nature du travail a complètement changé.
Cet objet géométrique n'existait pas à l'origine ; c'est le modèle qui l'a littéralement construit.
Justin Curry, professeur associé de mathématiques et de statistiques à l'Université d'État de New York à Albany, a déclaré catégoriquement : Si la preuve est vraie, c'est certainement la réalisation la plus remarquable de l'IA récemment.
Pendant 78 ans, tout le monde s'est posé la même question : S6 possède-t-elle une structure complexe ?
Et à partir de maintenant, la question à poser est peut-être différente.
Combien d'autres en sont encore cachés là-bas ?
Références : https://alpo.ge/s6.pdf
Cet article provient du compte WeChat "新智元" (Xin Zhi Yuan), auteur : ASI启示录 ; éditeur : 摩西 大卫
