OpenAI 证明矩阵乘法指数上界 9/4 的解读论文

arXiv 上一篇新论文对 OpenAI 的矩阵乘法指数上界 9/4 结果给出完整阐述，该上界对任意数域成立。作者使用 Coppersmith-Winograd 提出的张量值的分数对称化变体，替代原证明中的谱点（张量特征）。论文证明了这个值的幂在部分直和上的超可加性不等式，其中各加项共享一个张量因子并占据另两个维度上的独立子空间。结合 OpenAI 证明中多项式乘法张量的退化，该不等式最终推出 9/4 的上界。