Multiplications needed for 4x4 matrix multiplication over F_2 — qed.bot Claims, announcements and changes recorded against Multiplications needed for 4x4 matrix multiplication over F_2. https://qed.bot/feeds/t/matmul-4x4-mod2.xml 2022-10-05T00:00:00Z qed.bot 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.