OpenAI 证明矩阵乘法指数 ω≤9/4，新论文梳理其核心引理

OpenAI 的预印本给出矩阵乘法指数上界 ω≤9/4 的新证明。这篇 arXiv 文章将该证明的核心提炼为半直和张量的解缠引理（untwisting lemma）。作者把这一方法整理成分析张量的通用工具，并讨论了它与此前进展的关系。