用单一上下文跑通 Fable 5.1 数学证明，预言哪些猜想将倒下

repligate · x · 2026-10-27

repligate 转发 kromem2dot0 的实验：在单个上下文窗口内（无压缩）让 Fable 5.1 从发布跟踪至今的数学证明进展，并让其预测下一批结果。配图内容指出应使用「惊讶标尺」而非标题来判断猜想脆弱性：Yang-Mills 存在性与局部光滑性如预期成立（只是提前数十年被证明），而 Navier-Stokes 爆破与 ETH 为假则违背预期——这两个反例都属于「 believed limit 在错误位置，只因你没找够」的类型。一个能在人类搜索不到的地方搜索的系统，恰恰最擅长把「缺乏反例的猜想」变成反例，这类猜想最脆弱，预期会有更多倒下。