Une autre conjecture vieille d'un siècle s'effondre.
Le mathématicien Levent Alpöge d'Anthropic/Harvard, en collaboration avec Claude, vient de réfuter directement la conjecture de Carathéodory, qui hantait le monde mathématique depuis plus de 100 ans, tout en brisant la conjecture de l'indice de Loewner.
Un PDF a circulé dans la communauté mathématique pendant une semaine entière. Maintenant, il est officiellement public.
Ce n'est pas la première fois qu'Alpöge et Claude font des vagues ensemble. Pendant la Coupe du Monde cette année, il avait déjà ébranlé la communauté mathématique en proposant un contre-exemple à la conjecture jacobienne en 3 dimensions,
De quoi parle cette conjecture centenaire ?
Commençons par la conjecture de Carathéodory elle-même.
En 1924, le mathématicien allemand Hans Ludwig Hamburger a formulé la conjecture de Carathéodory en géométrie différentielle, mais l'a nommée d'après le mathématicien grec Constantin Carathéodory, son directeur de thèse.
Cette conjecture affirme que toute surface convexe, fermée et suffisamment lisse dans l'espace euclidien à trois dimensions possède nécessairement au moins deux ombilics.
Constantin Carathéodory
La conjecture est d'une simplicité trompeuse mais extrêmement difficile à prouver : pour toute surface convexe fermée suffisamment lisse, il existe au moins deux « points ombilicaux ».
Un point ombilical, pour le dire simplement, est un point sur une surface où « la courbure est exactement la même dans toutes les directions ».
En géométrie différentielle des surfaces à trois dimensions, un ombilic est un point où la surface est localement sphérique. Toutes les courbures normales y sont égales, donc les deux courbures principales sont égales, et tout vecteur tangent est une direction principale.
Sur une sphère, chaque point est un ombilic – quelle que soit la direction, la courbure est la même.
Carathéodory affirmait : peu importe comment vous déformez la surface, tant qu'elle est convexe et suffisamment lisse, vous ne pouvez pas réduire le nombre d'ombilics à un seul. Il en reste au moins deux.
Cette conjecture semble très « intuitive ».
Une sphère a une infinité d'ombilics, un ellipsoïde en a 2.
Pendant un siècle, d'innombrables mathématiciens ont essayé, mais personne n'a pu construire un corps convexe lisse avec un seul ombilic.
Parallèlement, il y avait la conjecture de Loewner – l'indice d'un ombilic isolé ne dépasse pas 1. Les deux conjectures se soutenaient mutuellement, verrouillant comme une paire de cadenas un pan entier de la géométrie différentielle depuis un siècle.
Maintenant, les cadenas ont été forcés. Cette découverte montre que si une surface convexe est « trop lisse » (mathématiquement C∞, infiniment différentiable), Levent Alpöge a trouvé un exemple n'ayant qu'un seul ombilic.
Un contre-exemple, deux conjectures s'effondrent
Alpöge et John-Paul Smith ont donné une construction extrêmement concrète.
Ils définissent une famille de fonctions g_k, où g2 (pour k=2) sert de fonction support pour une sphère, produisant un corps convexe avec un ombilic d'indice 2 à l'origine.
Notez que l'indice 2 viole directement la limite de 1 imposée par la conjecture de Loewner.
Plus crucial encore, grâce à la présence d'un terme de décroissance exponentielle, g2 est mathématiquement garantie d'être C∞ – ce qui signifie que ce corps convexe satisfait toutes les conditions de régularité requises par la conjecture de Carathéodory.
Mais il n'a qu'un seul ombilic.
La conjecture de Carathéodory exige au moins 2 ombilics, mais le contre-exemple n'en donne qu'un, réfutant la conjecture.
La conjecture de l'indice de Loewner exige un indice de 1 pour l'ombilic, mais ici il est de 2, la réfutant également.
Un contre-exemple explicite et vérifiable a mis à terre deux conjectures vieilles de plus d'un siècle.
En mathématiques, réfuter une conjecture ne nécessite qu'un contre-exemple. Mais trouver ce contre-exemple peut être plus difficile que de prouver la conjecture elle-même.
La nouvelle normalité en mathématiques
En regardant les derniers mois :
Le nouveau record de Claude sur l'hypothèse de Riemann – portant la borne inférieure de la proportion de zéros de 41,6% à 67,2%, alors que les humains n'avaient progressé que de 0,8% en 37 ans.
OpenAI a publié 10 avancées en mathématiques et en informatique théorique.
Alpöge a utilisé Claude pour réfuter plusieurs conjectures classiques de manière consécutive.
Un nouveau lauréat de la médaille Fields a annoncé rejoindre OpenAI.
Une nouvelle tendance est en train d'émerger.
L'IA n'est plus seulement la calculatrice du mathématicien. Elle devient son « amplificateur d'intuition » – ouvrant de nouvelles voies grâce à ses capacités d'énumération et de construction là où l'intuition humaine fait défaut.
Les conjectures séculaires ne sont pas brisées par une intelligence humaine plus forte. Elles sont brisées par un tout nouveau paradigme de collaboration homme-machine.
Ce paradigme continuera à briser d'autres conjectures. La seule question est : laquelle sera la prochaine à tomber.
Références :
https://x.com/haider1/status/2090034966717677902
https://x.com/alpoge/status/2089971359921156203
https://en.wikipedia.org/wiki/Carath%C3%A9odory_conjecture
Cet article provient du compte WeChat officiel « 新智元 » (Nouvelle Ère de l'Intelligence), auteur : ASI Révélation
