AlphaEvolve: matrix multiplication exponent below 2.371177
Dupont and collaborators report ω<2.371177 by improving the combination-loss optimization and refining it with AlphaEvolve.
Original report: 2026-08-17The exponent describes arithmetic-operation growth for large square matrices.
2 records · How we rate progress
Dupont and collaborators report ω<2.371177 by improving the combination-loss optimization and refining it with AlphaEvolve.
Original report: 2026-08-17The manuscript reports that the complex matrix-multiplication exponent is at most 9/4.
Read original source Original manuscript · family 107github.com
Original report: 2026-10-06The exponent describes arithmetic-operation growth for large square matrices. It is distinct from scalar counts for one fixed matrix size and from measured hardware runtime.
Read the claim in its exact mathematical setting. A manuscript is a research report; its presence in this catalog does not establish that the proof has been independently verified or that the historical novelty assessment is complete.
A focused research target whose precise scope can be followed separately from the general capability of an AI system.
A sourced new theorem, construction, bound, algorithm, or formalization with its baseline and evidence stated.
Background review: 2026-10-11. Selected sources:
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.