Multiplication matricielle : la barrière de la méthode 9/4

ω, exposant de la multiplication matricielle sur ℂ (borne inférieure des τ tels que deux matrices n×n se multiplient en O_ε(n^(τ+ε)) opérations). Le dépôt suivi ne borne pas ω : il montre que les contraintes de profil abstraites du manuscrit 9/4 d'OpenAI ne permettent pas de descendre sous 9/4.

Limite d'une méthode de preuve, pas un algorithme plus rapide, pas une borne inférieure sur le vrai ω, pas une preuve que 9/4 est optimal. Les points tracés sont ceux de la littérature citée par OpenAI et de son préprint (revendication non relue). Le dépôt n'ajoute aucun point à l'escalier : la barrière 9/4 est une annotation (plafond-methode), jamais une borne. Résultats du dépôt (profil abstrait, non réalisé par un caractère tensoriel) : voir notes.