近日，博主Andrew Curran预测Anthropic已解决纳维-斯托克斯方程的存在性与光滑性问题，该帖浏览量超250万，但公开渠道未见论文或评审材料，该问题仍被列为未解难题。
传闻源于数学家陶哲轩的假设性讨论，他澄清并未掌握重大新进展。
近期AI数学成果频出：Claude在11天内完成费马大定理的形式化，生成约1300万行代码；OpenAI也推翻了离散几何猜想。
AI正改变数学研究，形式化验证重要性上升，数学家角色转向选题和解释结果，陶哲轩称未来为"大数学"模式。
陶哲轩谈AI解千禧年难题，Claude传闻引热议
作者：机器之心
发布时间：2026-09-07 06:10:12
浏览：12
博主预测Anthropic的Claude已解决纳维-斯托克斯难题，引发热议。数学家陶哲轩澄清其为假想讨论，并探讨AI对数学研究的影响。