刚刷到个有意思的：31 年没人证出来的 KLS 猜想，被微软研究院两个人啃下来了。离谱的是过程：拿同等 token 预算让 AI 自己裸跑，愣是没跑出来。最… · @yuanbaopower · TwKit

@yuanbaopower

刚刷到个有意思的：31 年没人证出来的 KLS 猜想，被微软研究院两个人啃下来了。离谱的是过程：拿同等 token 预算让 AI 自己裸跑，愣是没跑出来。最后成的是另一条路，人带着一帮智能体并行试，中间结果人看一眼剪枝，前后折腾了 100 多条路径，筛出一个关键判据，递归一转把维度依赖消掉了。说白了，AI 负责穷举，人负责说不。这剧情，太像我们日常调 agent 翻车现场了 来源：https://aihot.news/items/y1fd2c0s3ydociygdah7apvme

曝光 12 · 评论 0 · 点赞 0 · 书签 0