AI首次改写数学常数:矩阵乘法最快速度再获突破

AI首次改写数学常数:矩阵乘法最快速度再获突破

AI 资讯 来源:新闻/公众号 发布时间:2026-09-01 更新于 2026-09-01 预计阅读 4 分钟

谷歌云首席科学家、DeepMind副总裁Pushmeet Kohli近日宣布,矩阵乘法的最快理论速度再次被刷新。矩阵乘法是现代计算的“暗物质”,其理论最快速度由指数ω定义:两个n×n矩阵相乘的渐近复杂度为O(n^ω)。教科书算法给出ω=3,1969年德国数学家Volker Strassen将其降至约2.807,此后半个多世纪上界被逐步推至2.371339。

现在,Google DeepMind与理论计算机科学家Josh Alman、Virginia Vassilevska Williams等联手,借助Gemini驱动的编码智能体AlphaEvolve,将上界刷新至ω < 2.371177。改进幅度约1.62×10⁻⁴,与过去40年多数进步相当。这是AI首次实质性介入理论计算机科学最经典的开放问题之一。相关论文题为《Improving the matrix multiplication exponent with modern optimization and AlphaEvolve》,已发布于arXiv。

三板斧:重构、优化与进化

此次进步未发明全新数学框架,而是将现有框架的优化核心推至前所未有的规模。第一板斧是重构:组合损失分析此前最好结果仅能处理递归层级ℓ=3,约2.5万个参数;团队重新形式化问题,支持ℓ=4,参数规模跃升至约700万,并通过张量表示、幽灵节点和分阶段并行,使计算可在GPU上高效求解。第二板斧是机器学习设计的优化器:使用梯度下降(Adam)、Softmax参数化、Sinkhorn-Knopp算法计算最大熵,配合隐式微分,在700万参数的非凸空间搜索,改进约0.97×10⁻⁴。第三板斧是将优化器交给AlphaEvolve进化:AlphaEvolve在约700万参数规模上精炼程序,单GPU约5小时跑出结果,额外贡献约0.63×10⁻⁴改进,最终得到ω < 2.371177。

人机协作的新范式

更值得关注的是人机协作形态。DeepMind团队与前纪录保持者共同署名,体现清晰分工:人类提出框架、划定问题边界、设计验证路径;AI在巨大搜索空间中高效探索并进化解决方案。AlphaEvolve未发明新的激光法,只是将现有方法推至极限,真正的创造性框架仍由人类提出。这显示AI并非替代数学家,而是成为强大的“实验助手”,能在人类划定疆域内以难以想象的速度推进边界。

真正接近ω=2的跃迁仍需人类提出全新思想,但推动现有方法逼近天花板的过程已不可逆地成为AI的主场。

这次突破的意义不仅在于数值上的微小进步,更在于它证明了AI能够在理论计算机科学的核心领域发挥作用。从Strassen到AlphaEvolve,人类用了半个多世纪将ω从2.807降至2.371177,而AI在短短数小时内就完成了过去40年量级的改进。未来,当人类提出新的数学框架时,AI或许能更快地将其优化至极限,从而加速理论突破的进程。

标签: AI 资讯 AI

更多推荐阅读

世界模型专家刘宇加盟理想,机器人基座模型研发提速

世界模型专家刘宇加盟理想,机器人基座模型研发提速

理想汽车引入世界模型专家刘宇,负责机器人基座模型研发。刘宇曾想创业做“中国的π”,因认可理想智驾VLA路线而加入。理想近一年流失13位核心高管,刘宇的加入为团队注入强心剂。

2026-09-05
AI办公赛道巨头混战,Agent创业窗口反而开启

AI办公赛道巨头混战,Agent创业窗口反而开启

2026年夏,字节、腾讯、阿里会战AI办公,巨头重兵投入背后是恐惧。创新工场汪华称,国产模型能力与成本突破才真正点燃Agent爆发,创业公司反在巨头照亮市场后觅得细分机会。

2026-09-05
AI报告读着累?新指标用隐喻率量化可读性

AI报告读着累?新指标用隐喻率量化可读性

Manus团队提出“隐喻率”与“信息量”双指标,量化AI调研报告的可读性与信息密度。测试发现Claude Fable-5隐喻最多,GPT信息密度偏低,但可通过Prompt优化。

2026-09-05
AI科学家K Pro上岗,全球最大药企研发提速70%

AI科学家K Pro上岗,全球最大药企研发提速70%

Owkin与勃林格殷格翰达成许可协议,授权AI科学家K Pro及多模态数据,加速肿瘤学和免疫学新药研发。试点项目已显成效,靶点识别速度提升70%。

2026-09-05
估值300亿美元,AI云新贵Crusoe凭什么吸金超30亿

估值300亿美元,AI云新贵Crusoe凭什么吸金超30亿

Crusoe完成超30亿美元融资,估值达300亿美元,与OpenAI、微软、Meta等合作,并获Jane Street五年大单,AI算力需求推动其估值飙升。

2026-09-05
AI攻克费马大定理:Claude 11天写出1300万行证明

AI攻克费马大定理:Claude 11天写出1300万行证明

Anthropic宣布,Claude在清华姚班毕业生彭天翼团队带领下,仅用11天完成费马大定理的首个端到端机器验证证明,产出1300万行代码、30300条定理,规模超Mathlib五倍,烧掉60亿Token,引发数学界震动。

2026-09-05
订阅
关注

扫码关注公众号「60秒看懂AI」

扫码关注公众号 60秒看懂AI

微信搜索「60秒看懂AI」也可关注

顶部