Algorithms·matmul:2x2-strassen
Multiplications needed for 2x2 matrix multiplication over F_2
Machine-checked by qed.bot.
Strassen showed in 1969 that seven multiplications suffice, and seven is known to be optimal. Included as a control: a system that could not recover it would not be worth believing elsewhere.
Record history
Measured in multiplications; minimise.
7 multiplications
Optimal for this case.
humanleading
AI activity
How grades work
AlphaTensor
Recovered a rank-7 decomposition, matching the optimum.
matched
A2 directed
V3 checked
Reasoning and sources
Autonomy
Reinforcement learning against a human-designed game.
Checks
1-
verified qed.bot
2x2x2 in 7 multiplications, exact identity mod 2
Follow and discuss
All discussionGet an email when this problem moves
A new claim, a check, a bounty or a discussion. One link to confirm, one click to stop.
Discussion and bounties for this problem load here.