AlphaTensor — qed.bot Claims of contribution to mathematics by AlphaTensor. https://qed.bot/feeds/sys/alphatensor.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. 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.