Add(#23140): Complexity-03e -- barrieres d'exposants et word RAM (temoin ferme, renvoi 07c)

MyIA.AI.Notebooks/Complexity/CARNET-NUMEROTATION.md

@@ -27,6 +27,7 @@
 | 03 | **03b** — Hartmanis–Stearns 1965 | Juris Hartmanis & Richard Stearns (prix Turing 1993) | Théorème de hiérarchie en temps $\mathrm{TIME}(f) \subsetneq \mathrm{TIME}(f \log f)$, diagonalisation |
 | 03 | **03c** — Zoo et oracles | Scott Aaronson (fondateur Complexity Zoo 2004), Baker–Gill–Solovay 1975 | Navigation dans le Zoo, barrière de relativisation |
 | 03 | **03d** — La réfutation annoncée de l'ETH | Russell Impagliazzo & Ramamohan Paturi (ETH, 2001) ; les deux annonces d'octobre 2026 (OpenAI 25/10, Anthropic 26/10) | Trois surfaces Lean lues à la source, cinq limites citées, mur d'énumération et budget mesurés à $C = 1$ |
+| 03 | **03e** — Barrières d'exposants, word RAM | Josh Alman & Virginia Vassilevska Williams (*Truly Subquadratic 3SUM and Truly Subcubic APSP*, arXiv 2610.06783, 10/2026) ; formalisation anthropics/formal-math · 3sum-apsp | Les cinq claims (Exact Triangle n^2.9983, 3SUM n^1.9992, (min,+)/APSP n^2.99942, k-Clique de poids nul), machine word RAM de 9 instructions réimplémentée et validée par témoin fermé (compte à la main 7/6/7 pas), contrôle quadratique pente 2,036, facteur n^0,0008 ≈ 1,007 calculé |
 | 04 | **04b** — Conjectures online 2026 | Sahil Singla, Christian Coester, Elias Koutsoupias, Marek Zbysiński | Secrétaire matroïdal, conjecture k-server |
 | 04 | **04c** — k-server, work function | Manasse, McGeoch & Sleator ; Coester, Koutsoupias, Zbysiński | Work Function Algorithm (DP exact), duel WFA vs LRU/FIFO |
 | 04 | **04d** — Secrétaire matroïdal | Sahil Singla (conjecture 2007) | Banc P[accept \| e ∈ OPT], garantie 1/4 |