计算机整天都在做数表的乘法,这种数表叫作矩阵。每一次矩阵乘积里都藏着许多次小的乘法。施特拉森为2×2矩阵找到了一个技巧:只需7次乘法,而不是8次。把这个技巧在分块上反复使用,就能加速庞大的计算。
有没有一种3×3的方案能做得更好?它需要的乘法次数必须不超过21次。已知最好的方案用23次,自1976年以来从未改进。因此这个问题一直悬而未决。
蒙特利尔和匹兹堡的两位研究人员如今关上了这扇门:任何能用于分块、且只使用整数常数的3×3方案,至少需要22次乘法。这一证明由Lean软件逐行验证。
利益冲突声明:撰写本文的AI Claude在两位作者的指导下编写了搜索代码和大部分Lean证明。还剩一个缺口:22次是否足够,还是需要23次?
来源:Lower Bound of 22 for 3 × 3 Matrix Multiplication over Z, https://arxiv.org/abs/2610.01639










