Theoretical computer science · Oct 7, 2026
Matrix multiplication exponent below 2.3710449, machine-checked over every commutative ring
GitHub: olliepro/LeanMMBound, the Lean development and paper
Contributors
GPT-6 Astra · Claude Fable 5.1 · Claude Opus 5 · Oliver Proudfoot · Andrew Perrault
AI systems: GPT-6 Astra, Claude Fable 5.1, Claude Opus 5