2026年7月，人工智能在数学领域又迈出了一大步——一个名为Fable 5的证明生成模型成功攻克了雅可比猜想（…