Résumé :
Les preuves pertinentes de Claude sur l'hypothèse de Riemann ont été minutieusement vérifiées par des mathématiciens humains. Cette fois, le mathématicien Youness Lamzouri a annoncé que la preuve de Claude était correcte et a donné une nouvelle preuve plus simple, plus élégante et plus forte.
Article : https://arxiv.org/pdf/2609.02882
Remontez le mois dernier, lorsque Claude a prouvé que plus des 2/3 des points zêta zéro étaient confirmés comme étant sur la ligne critique et étaient des points zéro uniques !
https://www-cdn.anthropic.com/95c246936988e43127bc6b2ceb7077c1dad2d68e.pdf
Ce chiffre bat directement le record prouvé par l'hypothèse de Riemann : la limite traditionnelle précédente était restée autour de 41,6 %, et les mathématiciens ne se sont améliorés que de 0,8 % au cours des 37 dernières années.
Et les mathématiciens d'Anthropic ont utilisé le Claude interne pour l'améliorer directement de 25,6 % !
Bien qu'il n'ait pas complètement prouvé l'hypothèse de Riemann, ce résultat a suffi à provoquer un tremblement de terre dans le monde des mathématiques, et Anthropic a directement fait la une des journaux.
Mais la preuve de l’IA est obscure et difficile à comprendre, et « le mécanisme principal n’est pas clair au premier coup d’œil ».
Maintenant, le théoricien des nombres Youness Lamzouri a écrit une preuve si brève, si intelligente et si belle qu'elle constitue un exploit extraordinaire.
En quelques heures seulement, AxiomProver a finalisé la formalisation de ce travail.
Cette époque est vraiment excitante !
Il ne s'agit pas seulement d'une esthétique violente de l'IA, mais aussi d'une contre-attaque désespérée de la sagesse humaine, et finalement le mythe de la collaboration « inter-espèces » a été finalisé par une autre IA (Axiom Prover).
Certificat Lean : https://github.com/AxiomMath/ZetaZeros
La logique sous-jacente de l’histoire des mathématiques a été complètement réécrite ce jour-là.
L'« esthétique de la violence » de l'IA ouvre la porte à l'hypothèse de Riemann
L'hypothèse de Riemann est vénérée comme le « Saint Graal des mathématiques ». Pourquoi? Parce qu’elle coïncide avec la réalité cosmique la plus profonde dans sa plus pure abstraction.
Tout d'abord, c'est le modèle ultime pour apprivoiser les « nombres premiers ».
Les nombres premiers semblent être distribués aléatoirement sur l'axe des nombres comme des fantômes, mais Riemann les relie ingénieusement aux points zéro de la fonction Zêta.
Si la conjecture est vraie, cela prouve que sous l'apparence du chaos, se cache en réalité une symphonie harmonieuse extrêmement parfaite.
Deuxièmement, c'est le « mur porteur » des mathématiques modernes.
Aujourd'hui, il existe des milliers de théorèmes de haut niveau basés sur le principe selon lequel « l'hypothèse de Riemann est vraie ». S'il est falsifié, la moitié du bâtiment de la théorie analytique des nombres sera transformée en vieux papier en un instant.
De la théorie des nombres à l'algèbre, en passant par la géométrie et l'analyse fonctionnelle, il existe environ 30 à 50 formes équivalentes de l'hypothèse de Riemann qui font véritablement référence. Même la recherche de telles formes équivalentes est elle-même un sujet brûlant dans la recherche mathématique moderne.
Oxford University Press a publié 3 volumes de "Formes équivalentes de l'hypothèse de Riemann"
De manière inattendue, cela dépasse les frontières disciplinaires.
Les physiciens ont été horrifiés de découvrir que la distribution d'espacement de ces points zéro purement mathématiques était miraculeusement cohérente avec la distribution des niveaux d'énergie des noyaux atomiques lourds en mécanique quantique ! Le prouver n’est pas seulement une victoire des mathématiques, mais aussi le pas ultime pour l’humanité de toucher au code sous-jacent de l’univers.
Comme nous le savons tous, le cœur de l'hypothèse de Riemann est d'explorer où se trouvent les points zéro non triviaux de la fonction zêta de Riemann.
En 1859, Riemann devina avec audace :
Tous les points zéro non triviaux sont soigneusement disposés sur une "ligne critique" avec une partie réelle de 1/2.
Prouver qu'il se situe à 100 % sur la ligne critique revient à briser l'hypothèse de Riemann. L’humanité avait déjà eu du mal à prouver que plus des deux cinquièmes des points zéro figuraient sur elle, puis elle a semblé bloquée.
Jusqu'à ce que l'IA se termine.
Dans les dernières recherches, Claude a lancé une initiative pour résoudre le problème de ce siècle.
AI ne comprend pas ce que signifie « un éclair d'inspiration ». Il croit aux « résultats miraculeux avec une grande force ».
Claude a utilisé un tas d'énormes matrices qui ont grandi avec N(T) pour calculer la trace et la norme de Hilbert-Schmidt de la matrice. Finalement, en s’appuyant sur un ensemble complexe d’inégalités de rang-trace, il a collé la limite inférieure du point zéro et a repoussé la limite à 67,25 % !
Ce résultat a également été initialement vérifié par les mathématiciens Alpöge et Furman.
Dès que les résultats ont été publiés, le monde était en émoi. L’humanité est sur le point de vaincre complètement l’hypothèse de Riemann, avec seulement les 32,75 % restants !
Mais lorsque les mathématiciens humains ont eu accès au processus de preuve de l'IA, ils sont tous restés silencieux.
Cette preuve est tellement moche. Autrement dit, c'est trop "inhumain".
Grâce à des recherches et à des rapprochements exhaustifs, Claude a réussi à reconstituer de force deux outils mathématiques « hors de portée » de l'intuition humaine.
Il est rempli d'un grand nombre d'outils complexes et de transformations matricielles obscures. C'était comme un bulldozer déchaîné, écrasant une route sanglante dans la forêt tropicale humide sans route.
Cette route est-elle réalisable ? capable. Cette route est-elle facile à parcourir ? Même les meilleurs mathématiciens ont des maux de tête après l’avoir lu.
En tant que lauréat de la médaille Fields et connu comme « le cerveau le plus intelligent aujourd'hui »,
Tao Zhexuan s'est un jour plaint avec raison
:La preuve de ce type d'IA est extrêmement obscure et difficile à comprendre, et les humains doivent passer beaucoup de temps à la « digérer ».
L’IA donne des réponses aux humains, mais elle ne leur donne pas de « compréhension ».
L'avenir des mathématiques est-il simplement une machine informatique impitoyable produisant un tas de vérités que les humains ne peuvent pas comprendre ?
Les mathématiciens humains n’admettront jamais leur défaite.
La contre-attaque de l'humanité, l'attaque de réduction de dimensionnalité du « goût » et de « l'élégance »
Au moment où la preuve violente de Claude était pénible à « digérer » pour la communauté académique, le mathématicien Youness Lamzouri s'est levé.
L'intuition lui a dit :
C'est faux, la vérité ne devrait pas être aussi gonflée. Puisque l’IA a prouvé que cette direction est correcte, il doit y avoir un plus beau raccourci !
Ensuite, Youness a montré ce qu'est la véritable « sagesse humaine ».
Il a brandi le rasoir d'Occam et a supprimé les matrices redondantes, compliquées et énormes qui se développaient au fil du temps dans la preuve de Claude.
Il a utilisé une inégalité spatiale de Hilbert extrêmement concise et élégante pour compléter directement la réduction du problème !
Le problème complexe de la limite inférieure est superbement transformé en une estimation de la somme associée, puis la version inconditionnelle du théorème de Montgomery (BGST) est directement appliquée.
Quelques coups de pinceau, les nuages sont calmes et le vent est doux.
C'est aussi une preuve que ">67 % des points zéro sont sur la ligne critique". Si la preuve de Claude est un monstre de machine à vapeur à l'esthétique violente, alors la preuve de Youness est une épée sans égal, complètement naturelle et dont les cheveux sont arrachés.
L'équipe Axiom n'a pas tari d'éloges sur les réseaux sociaux :
Lamzouri a réprouvé le même résultat, en remplaçant un grand nombre d'outils complexes par une élégante inégalité spatiale de Hilbert. Une preuve concise et claire du goût et de la sagesse humaine.
Notez ce mot : goût.
L'IA peut tracer un chemin parmi 650 idées qui ont échoué, mais seuls les humains, avec leur appréciation naturelle des structures mathématiques, peuvent redresser et ouvrir ce chemin boueux pour en faire une magnifique autoroute.
Passez le jeu en machine en quelques heures ! Le monde des mathématiques a complètement changé
Si vous pensez que l'histoire ici n'est qu'un cliché de « les humains battent l'IA », vous avez totalement tort.
Le point culminant vient tout juste de commencer.
Selon les règles des mathématiques traditionnelles, Youness a rédigé cet article extrêmement élégant. Que devrions-nous faire ensuite ?
Trouvez quelques collègues de haut niveau, organisez des séminaires et passez des mois, voire des années, à réviser et à vérifier ligne par ligne.
Après tout, c'est l'hypothèse de Riemann ! À l'époque, Mochizuki Shinichi a prouvé la conjecture ABC. Parce que la preuve était trop compliquée, la communauté mathématique débattait depuis près de dix ans sans parvenir à un consensus total.
Mais cette fois, les temps ont changé.
Quelques heures seulement après que Youness ait partagé la version préliminaire de la prépublication ! Attention, cela fait quelques heures !
L'outil d'IA AxiomProver agit automatiquement et formalise de manière entièrement automatique la preuve de Youness directement dans le langage de vérification formelle Lean, et effectue une vérification transparente au niveau de la machine !
https://github.com/AxiomMath/ZetaZeros
Cela signifie que lorsque les masses ont juste vu le titre de l'article et n'ont pas compris ce qu'était un espace de Hilbert, la machine a impitoyablement déchiré toute la chaîne logique de la preuve du début à la fin et a pris la décision finale.
Dans l'histoire de l'humanité, une avancée majeure concernant la difficulté épique de l'hypothèse de Riemann,
le "premier jour" où l'article a été publié, la vérification automatique a été réalisée !
L'équipe Axiom ne cache pas son enthousiasme :
Nous sommes convaincus que la vérification formelle des machines sera inévitablement accompagnée de nouvelles avancées dans les mathématiques de pointe.
En moins de 24 heures, l'équipe Axiom a annoncé qu'elle se rapprochait de la conjecture des jumeaux premiers :
Il existe une infinité de paires de nombres premiers, la distance qui les sépare n'est pas supérieure à 212.
La conjecture des nombres premiers jumeaux stipule qu'il existe une infinité de paires de nombres premiers dont la différence est 2.
Depuis des siècles, le monde ne sait pas s'il existe des paires infinies de nombres premiers dont la différence est une valeur finie.
En 2014, Zhang Yitang, James Maynard, Tao Zhexuan et le projet Polymath ont réalisé une percée historique, réduisant cet écart à 246.
Pour ses contributions connexes, James Maynard a remporté la médaille Fields.
Le 31 août de cette année, la mathématicienne Julia Stadlmann a réduit la différence à 240.
https://arxiv.org/pdf/2608.31126
Le 3 septembre, des experts en théorie des nombres, des mathématiciens appliqués et des ingénieurs, ainsi qu'AxiomProver, ont obtenu le résultat 212 en menant des expériences approfondies sur de grands clusters distribués, basées sur les travaux de Julia Stadlmann.
Ils ont dit que la distance entre les rêves humains et la preuve peut n'être que de quelques heures, et non de quelques vies.
À l'heure actuelle, le projet a été publié, et la version finale et la preuve formelle Lean s'engagent à être publiées sur arXiv.
Article : https://primegaps.axiommath.ai/bgp212.pdf
Quelques heures plus tard, OpenAI a utilisé le dernier modèle Astra pour réduire ce nombre à 186 en utilisant une nouvelle méthode.
Ce qui est encore plus choquant, c'est que le dernier théorème de Fermat a également été entièrement formalisé par Claude.
C'est la partie la plus angoissante de ce gros incident :
L'ère classique inefficace des mathématiques traditionnelles consistant à « proposer des conjectures – prouver – de longues évaluations manuelles par les pairs – confirmer » a officiellement pris fin aujourd'hui.
Fin : Les 32,75% restants, qui départagera l'égalité ?
Aujourd'hui, nous pouvons faire sauter le champagne pour fêter ça.
Plus de 67 % des points zêta zéro sont liés à cette ligne critique magique. La ligne que Riemann a tracée avec désinvolture il y a 167 ans est éclairée petit à petit par les humains et les machines travaillant ensemble.
Mais n’oubliez pas que ce voyage d’un siècle n’est pas encore terminé.
L'hypothèse de Riemann et les derniers 32,75 % aussi mystérieux que la matière noire.
Commentaires