arXiv 论文将 OpenAI 矩阵乘法分析推广到矩形乘积,证明 α≥1/2
有人把 OpenAI 那篇矩阵乘法论文的方法推到矩形情形,证明 α≥1/2,最短路径算法直接降到 O(n^2.5),做理论算法的可以看看证明思路。
有人把 OpenAI 那篇矩阵乘法论文的方法推到矩形情形,证明 α≥1/2,最短路径算法直接降到 O(n^2.5),做理论算法的可以看看证明思路。
OpenAI 用 AI 生成了 722 个数学证明,还把矩阵乘法的复杂度纪录从 AlphaEvolve 的 n^2.37 压到 n^2.25,附带 Lean 验证,搞数学和算法的可以看看。