Exponent of matrix multiplication — qed.bot Claims, announcements and changes recorded against Exponent of matrix multiplication. https://qed.bot/feeds/t/matmul-omega.xml 2026-08-17T00:00:00Z qed.bot Exponent of matrix multiplication — record (AlphaEvolve) urn:qed:e304d0e0c739 2026-08-17T00:00:00Z An upper bound of 2.371177 on the exponent of matrix multiplication, improving 2.371339.. Autonomy A1, evidence V1, fidelity F0.