陶哲轩澄清：未暗示 Claude 破解千禧年难题
陶哲轩否认暗示 Claude 已解千禧年难题，但承认 AI 正接近数学研究的下一站，关键是如何传承机器探索中的中间知识。
博主 Andrew Curran 预测 Anthropic 已解决纳维-斯托克斯问题，引发热议。陶哲轩澄清，此前的讨论只是假设性场景，他并不了解有重大新进展。但 AI 数学研究确有突破：Claude 已在 11 天内形式化费马大定理，并在黎曼猜想相关问题取得进展。
正文摘录
.jpg) 过去一天，一条关于 Claude 的数学传闻在社交媒体上迅速扩散。 昨天，博主 Andrew Curran 发帖「预测」，Anthropic 已经解决了一个千禧年大奖难题，即纳维-斯托克斯方程相关的存在性与光滑性问题，目前成果正在接受专家评审，并可能在 Anthropic IPO 前对外公布。  这条帖子很快获得超过 250 万次浏览，也被越来越多账号转发。 截至目前，公开渠道中还看不到对应论文、证明文本或专家评审材料，Clay 数学研究所仍将纳维-斯托克斯存在性与光滑性问题列在未解决的千禧年大奖难题中。 不过，这条传闻并非空穴来风。它的一个重要背景，来自数学家陶哲轩两天前发布的一组帖子。 一篇关于 AI 的假想 9 月 3 日，陶哲轩以纳维-斯托克斯方程为例，讨论 AI 解决重大开放数学问题之后，可能给数学研究带来的影响。