This Has Never Happened in Math Before | OpenAI Just Dropped BOMBSHELL

This Has Never Happened in Math Before | OpenAI Just Dropped BOMBSHELL

Cela ne s'est jamais produit en mathématiques auparavant | OpenAI vient de lâcher une BOMBE

par Animated Math · Voir la chaîne sur PSI

Sciences formelles & physiques Mathématiques PBMathématiques
🎙 Animated Math 👥 26K 📅 10 octobre 2026 ⏱ 20 min 👁 18 📄 vulgarisation 🧭 2026-10-10
Disponible en : Français (actuel) English

Mots-clés

multiplication matricielleomegaborne 9/4Leanrétraction

Résumé

Le 6 octobre 2026, OpenAI a publié 722 articles mathématiques rédigés par un modèle d’IA non encore accessible au public. Parmi eux, un article de 13 pages prétend améliorer la borne de l’exposant de multiplication matricielle, le faisant passer de 2.371177 à 2.25 (9/4), soit un bond jamais vu depuis 45 ans. La vidéo explique l’importance de ce problème, en rappelant la méthode de Strassen (1969) qui réduit le nombre de multiplications de 8 à 7 pour des matrices 2x2, puis la notion d’exposant omega. Le nouveau résultat repose sur une approche originale utilisant des « profils » et ne se limite pas à rafiner la méthode laser, comme c’était le cas depuis 36 ans. Cependant, deux points importants sont souvent omis : la preuve ne vaut que pour les nombres complexes, et elle n’est pas constructive (elle ne fournit pas de taille de matrice pour laquelle la méthode serait concrètement avantageuse). La vidéo détaille également la vérification formelle via l’assistant de preuve Lean, en précisant que seulement 42% des résultats disposent de fichiers Lean, et que la vérification ne couvre pas toutes les affirmations, comme pour la série de Flint Hills. Enfin, trois articles ont été retirés en raison d’une erreur de signe, illustrant les défis de l’IA en mathématiques. La vidéo conclut en donnant deux questions pour évaluer les affirmations de l’IA : existe-t-il une vérification par ordinateur et que couvre-t-elle exactement, et un humain a-t-il confirmé que la formulation correspond à la revendication réelle ?

248 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La vidéo apporte une valeur indéniable en expliquant avec pédagogie un résultat complexe et en le replaçant dans son contexte historique. Elle décompose la preuve en concepts accessibles (produits de Strassen, courbes de plafond et de plancher) et insiste sur les nuances que les gros titres ignorent : la preuve est non constructive et ne vaut que pour les complexes. L’argumentation est solide, étayée par des citations de mathématiciens reconnus (Steven Strogatz, Terence Tao) et des références directes aux préprints. La vidéo adopte un ton critique et équilibré, reconnaissant les efforts d’OpenAI mais soulignant les lacunes de vérification et les rétractations.

Rigueur scientifique, qualité des sources, adéquation du titre

La rigueur scientifique est élevée : la vidéo utilise uniquement des sources primaires (OpenAI, GitHub, préprints) et cite précisément les déclarations des chercheurs. Elle distingue clairement ce qui est prouvé, ce qui est vérifié par Lean, et ce qui reste à confirmer. Les sources sont bien documentées et les liens sont fournis dans la description. L’adéquation du titre avec le contenu est bonne : le titre met en avant l’aspect inédit, et la vidéo le démontre réellement avec le saut de 2.371177 à 2.25. Bien que le titre soit un peu accrocheur, le contenu ne trahit pas sa promesse.

215 mots

Adéquation titre / contenu

Le titre est un peu sensationnaliste mais la vidéo justifie l'expression « jamais arrivé » par l'ampleur du bond dans la borne, et le contenu confirme l'événement exceptionnel.

Qualité & fiabilité

8/10

Le contenu est rigoureux, s'appuie sur des sources primaires (OpenAI, GitHub), cite des experts et expose clairement les limites du résultat. La démarche critique et la transparence sur les rétractations renforcent la crédibilité.

Chapitres

Sources citées

  • Sharing AI progress in mathematics — Blog officiel d'OpenAI annonçant la publication des 722 préprints.
  • Dépôt GitHub OpenAI/math — Contient les préprints, les fichiers Lean, l'historique et les notes sur les rétractations.
  • Matrix Multiplication Nine-Fourths — Article principal sur la borne 9/4 pour l'exposant de multiplication matricielle.
  • The irrationality exponent of pi is 2 — Article connexe sur le score d'irrationalité de pi, discuté dans la vidéo.

Références externes

Apport & nouveautés

L’apport original de cette vidéo est d’expliquer un résultat mathématique majeur avec ses nuances, souvent omises dans la couverture médiatique. Elle met en lumière la nature non constructive de la preuve, sa limitation aux complexes, et le rôle de l’assistant Lean. Elle propose également une grille de lecture en deux questions pour évaluer les affirmations d’IA en mathématiques.

Pour aller plus loin :

113 mots

Profil radar

Le profil radar montre une qualité et une fiabilité élevées, un niveau technique modéré (accessible sans être simpliste), et une quantité d'information substantielle. Cela reflète une vidéo bien documentée et critique, qui privilégie la précision à la sensationnalisme.

Fiabilité 8/10