矩阵乘法指数 246 后再破 212，论文作者澄清功劳归属
RexDouglass · x · 2026-09-05
论文作者之一在线澄清围绕矩阵乘法指数新上界的争议：Julia Stadlmann 8 月 31 日的 preprint 才是核心突破，是 2014 年以来对 246 的首次改进，关键思路完全出自她；团队的 212 上界是在她的框架上用为 Lean 形式化 246 而搭建的工具链做优化与形式化得到的，论文附录 A 明确了改进在其中的位置。她的博后导师 Jesse Thorner 也是合著者，并在她 preprint 公开、沟通之后才加入工作。
「研究」频道最新
- NEAR AI Lean agent 全解 Putnam Bench,成本仅为次便宜方案的 1/250 — lukaszkaiser · 2026-09-06
- KV缓存原理详解：LLM推理中为何重要且常被误解 — techNmak · 2026-09-06
- AI 用 48 小时写 2 万行 Lean 代码,攻克 98 年未解的数学难题 — 量子位 · 2026-09-06
- 「认知地图作为思维媒介」新文分享 — abenitezburraco · 2026-09-06
- Google 论文数学证明:训练数据缺技能时,推理越长错误越爆炸 — solyarisoftware · 2026-09-06
- 北大与快手 Kling 推出 MAVIN，多镜头音视频生成入 ECCV 2026 Oral — jiqizhixin · 2026-09-06