陶哲轩谈AI解千禧年难题，Claude传闻引热议

作者：机器之心发布时间：2026-09-07 06:10:12 浏览：58

博主预测Anthropic的Claude已解决纳维-斯托克斯难题，引发热议。数学家陶哲轩澄清其为假想讨论，并探讨AI对数学研究的影响。

近日，博主Andrew Curran预测Anthropic已解决纳维-斯托克斯方程的存在性与光滑性问题，该帖浏览量超250万，但公开渠道未见论文或评审材料，该问题仍被列为未解难题。

传闻源于数学家陶哲轩的假设性讨论，他澄清并未掌握重大新进展。

近期AI数学成果频出：Claude在11天内完成费马大定理的形式化，生成约1300万行代码；OpenAI也推翻了离散几何猜想。

AI正改变数学研究，形式化验证重要性上升，数学家角色转向选题和解释结果，陶哲轩称未来为"大数学"模式。

本文由AI融业云采集并编辑，仅供学习使用！

本文来自36kr.com，作者机器之心

关于AI融业云：一站式AI应用服务平台，了解创始人 | 联系我们