Rupture en arithmétique matricielle : un escalier d'un demi-siècle raccourci d'un coup

Un débat vieux d'un demi-siècle sur une constante cachée de la multiplication des matrices vient peut-être de basculer sur un seul nombre : sur les nombres complexes, l'exposant oméga plafonnerait à 9 sur 4, soit 2,25. L'air modeste du chiffre trompe. À l'échelle de ce domaine, c'est un séisme. La meilleure borne connue frôlait 2,371177, conquise après plus d'une décennie de lutte pour la cinquième décimale. Et voici qu'une chute de 0,12 arrive sur la table. Dans cet article, je déplie ce que l'exposé de la vidéo affirme vraiment, pourquoi cela compte et où garder la tête froide.

Posons d'abord le plancher. La méthode ordinaire remplit chaque case du produit en appariant une ligne du facteur de gauche avec une colonne du facteur de droite, en multipliant les entrées correspondantes puis en les additionnant. Le narrateur montre un minuscule exemple avant de changer d'échelle : des facteurs carrés de côté n contiennent n carré cases, chacune coûtant environ n opérations, si bien que la charge cubique totale croît comme n cube. Pour un côté de deux mille, cela fait environ un milliard d'opérations, et pour dix mille, près d'un billion. La question est de savoir si cette facture cubique relève d'une loi naturelle ou d'un simple manque d'imagination.

Comment le mur cubique a cédé une première fois

La première fissure remonte à Volker Strassen en 1969. Il combina des blocs de deux sur deux avec sept produits récursifs au lieu de huit, et en appliquant cet unique produit économisé de façon récursive, il fit tomber la puissance à log base deux de sept, près de 2,807. Ce fut la première preuve que la barre cubique n'était pas un destin, et elle lança une course de plus d'un demi-siècle. J'ai confronté l'ossature chiffrée de cet escalier au registre Wikipedia.

Précisons ensuite la grandeur convoitée. Oméga est la plus grande borne inférieure des puissances tau telles que la multiplication carrée tienne, pour tout écart évanescent positif, dans l'ordre de n à la tau plus écart opérations. Cet écart autorise une approche arbitrairement fine de la frontière sans exiger de l'atteindre exactement. Point crucial : oméga est une mesure idéalisée de long terme, muette sur les constantes multiplicatives, le comportement des caches, la robustesse des arrondis et le rendement aux tailles pratiques. Lu sans ce partage, 2,25 égare. J'ai ancré cette définition dans la synthèse MIT des progrès récents.

Descend alors l'escalier des records . Les travaux de Pan et Bini sur le rang tensoriel abaissèrent les marches durant les années soixante-dix et quatre-vingt, Coppersmith et Winograd atteignirent environ 2,376 avec la méthode laser en 1987, et ce chiffre hanta une génération. Suivit un quasi-arrêt de deux décennies. Stothers, Vassilevska Williams, Le Gall, Alman puis la lignée Duan Wu Zhou grignotèrent la marque jusqu'à 2,371339 début 2024, et un raffinement assisté par AlphaEvolve toucha 2,371177 en août 2026 grâce à un mélange conscient des pertes . J'ai puisé le détail technique de cette optimisation dans la note arXiv sur AlphaEvolve. J'ai raccordé les trois étages de ce pipeline, reformulation plus optimiseur appris plus polissage AlphaEvolve, au récapitulatif AIWeekly.

Une autre route vers 2,25

L'annonce d'octobre 2026 côté OpenAI change la grammaire de l'échelle : sur le domaine complexe , oméga vaudrait au plus 9 sur 4, si bien que pour tout écart positif, deux facteurs carrés complexes se multiplient dans l'ordre de n à la 2,25 plus écart opérations scalaires. Le texte apparut comme manuscrit du 2 octobre au sein d'une vaste livraison mathématique du 6 octobre, accompagné d'une preuve vérifiée par machine de la borne en Lean. Les notes de livraison estiment la plupart des résultats à environ trois heures de réflexion Pro chacun. J'ai fixé le périmètre de cette livraison d'après l'annonce OpenAI et ses notes GitHub et Lean.

Ce qui me persuade, c'est moins le chiffre que l'architecture derrière lui. Le narrateur construit le trajet via un moteur spectral de séparation pour les tenseurs, un pont vers la multiplication polynomiale, une séparation à saveur Fourier et des inégalités discrètes de croissance, une construction vraiment différente plutôt qu'un serrage de plus de l'ancien record. Des manuscrits compagnons élargissent le tableau : un exposant dual au-delà de 0,465 sur tout corps de caractéristique nulle, une borne rectangulaire sous 2,092 et une borne carrée sous 2,258 hors d'un ensemble fini non calculé de caractéristiques. J'ai raccordé le tableau de ces bornes à la ventilation BinaryVerseAI. J'ai vérifié la liste des compagnons et ses découpes par corps dans le registre de théorèmes VibeMathed.

Corrigeons un contresens répandu : rien ici ne promet un entraînement plus rapide dès demain matin. Une borne supérieure est un énoncé d'existence ; elle ne nomme aucune taille compétitive, ne cite aucune constante et ne chiffre ni la mémoire ni le surcoût parallèle. Le narrateur le signale honnêtement : la puissance décrit comment le travail croît quand la taille file vers l'infini. Le parallélisme matériel forme un autre axe, car le travail exécutable côte à côte diffère du travail arithmétique total. Lisez donc 2,25 comme un plafond redessiné, non comme un noyau livré.

La vérification suit son cours, regard sur deux

L'écho, pourtant, marque l'une des semaines les plus denses que les mathématiques aient connues depuis des années. L'entreprise publia des centaines d'articles d'un coup ; un chercheur ayant passé 25 ans sur un problème résolu dit sa stupeur dans la presse, à côté d'avertissements selon lesquels seule une poignée de trente articles de théorie des nombres paraissait frappante et un seul portait un certificat Lean. J'ai rendu l'écho de cette vague de 722 articles à travers les entretiens NewScientist avec des mathématiciens. J'ai exposé la réserve sur l'agent à invite unique et l'exigence de reçus reproductibles via les objections de ScientificAmerican.

La dernière question est la plus profonde : oméga égalerait-il deux ? Deux se dresse comme un plancher quadratique naturel, puisqu'un facteur de côté n contient déjà n carré entrées et que la sortie en contient n carré, si bien qu'en deçà de deux, on traiterait moins de travail que les données elles-mêmes dans le modèle usuel. Même l'égalité ne signifierait pas un temps linéaire en n ; elle signifierait un travail arithmétique à peu près quadratique en côté, quasi linéaire en nombre d'entrées à dérive d'ordre inférieur près. L'écart d'un quart de point entre 2,25 et deux reste une vaste inconnue, et nul ne sait s'il se refermera. J'ai cadré le statut ouvert de cette descente vers deux avec le dossier problème EmergentMind.