Algorithms — qed.bot Claims, announcements and changes across Algorithms. https://qed.bot/feeds/collections/algorithms.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. Multiplications needed for 4x4 matrix multiplication over F_2 — record (AlphaTensor) urn:qed:bd94040d275b 2022-10-05T00:00:00Z A decomposition of rank 47, improving on 49.. Autonomy A2, evidence V3. Multiplications needed for 2x2 matrix multiplication over F_2 — matched (AlphaTensor) urn:qed:cf606b0bfc04 2022-10-05T00:00:00Z Recovered a rank-7 decomposition, matching the optimum.. Autonomy A2, evidence V3.