OpenAI 快速矩阵乘法算法证明被推广至任意域

OpenAI 此前提出的快速矩阵乘法算法达到指数界 ω≤9/4（即 O(n^2.25) 复杂度），但原证明仅限于复数域。Sela Navot 的新工作将该算法及其 Lean 形式化证明从复数域推广到任意域，并已通过 Lean 形式化验证。原帖指出这篇新的快速矩阵乘法论文结果出乎意料地优秀，标志着该算法适用范围的显著扩展。

2026-10-07 ~ 2026-10-08 · 2 条相关