Paul Ruzicka

Anthropic的Claude Fable 5发现87年前数学猜想的反例 · 追踪8个来源

据报道，Anthropic的Claude Fable 5已生成了对雅可比猜想（一个已有87年历史的数学问题）的反例。数学家Levent Alpöge使用该AI模型找到了一个违反该猜想条件的多元函数映射，表明该猜想在高维（高于二维）情况下不成立。目前这些发现正在接受验证，并正使用Lean等系统进行形式化，其影响正促使数学家重新思考AI在纯粹数学研究中的作用。