本文写作时，Claude Fable 刚刚推翻了一个悬置八十多年的数学猜想。推翻数学悬案，固然是对最新款模型的上佳宣传，然而，“最新即最好”的解读却大错特错。
一如既往，当代最好的数学家陶哲轩解释了人工智能究竟做了什么。如果你觉得原始过程或陶的解释很无聊——无论是因为你看懂了，还是因为步骤太长而看不下去——那就对了：Fable 也并非依靠天才的灵光一闪，而是仰赖近乎无聊的蛮力。
（有数学背景的读者，不妨小小游戏一番：在落后两代或更早的 LLM 上，尝试复现证明（证伪）步骤。我怀疑这没有任何困难。）
重要的恰恰是无聊。即便在大模型输出这样高的抽象层级，每一步也很无聊，可一旦往复多步，事情就截然不同。陶哲轩最常用的数学工具之一是 Lean 语言，一款主打标准化和协作的编程语言。远远早于 GPT-1 问世。
“智能”常常是迭代的无聊。