1995 年提出的 KLS 猜想，悬了 31 年，这个月被证明了：两位研究者指挥 AI 智能体试了 100 多条思路，才找到关键突破口。 我刚读完微软研究院… · @Daviswh · TwKit

@Daviswh

1995 年提出的 KLS 猜想，悬了 31 年，这个月被证明了：两位研究者指挥 AI 智能体试了 100 多条思路，才找到关键突破口。 我刚读完微软研究院 10 月 21 日的博客原文，容易漏掉的几点： · 对照组很说明问题：作者另外让几个顶尖模型自己「一口气解题」，token 总量差不多，没成。成功靠的是人每轮看中间结果、砍掉没希望的方向，再把最好的一条交给下一轮 · 进展很快：7 月别人刚把界推进到「随维度缓慢增长」；10 月 1 日版降到迭代对数；10 月 4 日版把整套递归再重复一遍，误差总和被压在常数内，证明完成 · 分工写得很清楚：递归方法和误差有界的证明是人的原创；AI 负责探索候选方案、推导细节、整理稿件和内部查证 · 同一天另一组专家独立发了完整证明，称微软第一版论文是「关键一步」；还有第三份证明和 Lean 4 机器验证 对谁有用：做采样、优化、随机算法的人，很多以前要先假设 KLS 成立的结论现在可以直接用；想拿 AI 做科研的人，更值得抄的是「人来剪枝」的流程，而不是指望模型单跑。 https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture/

曝光 35 · 评论 1 · 点赞 2 · 书签 0