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

一项实验让 Fable 5.1 在单一上下文窗口内、无需压缩地跟踪数学证明进展，并预测下一批结果。配图指出，Yang-Mills 存在性与局部光滑性符合预期，而 Navier-Stokes 爆破与 ETH 为假违背预期；缺乏反例的猜想可能更脆弱。