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

Fable 5.1 在单个未压缩的上下文窗口内追踪数学证明自发布至今的进展，并预测下一批结果。实验主张用「惊讶标尺」判断猜想脆弱性：Yang-Mills 存在性与局部光滑性如预期成立，Navier-Stokes 爆破与 ETH 为假则违背预期。能在人类搜不到之处搜索的系统最擅长把「缺乏反例的猜想」变成反例，预期会有更多猜想倒下。