陶哲轩

Claude

2026-09-06 03:46:10

Claude攻克纳维-斯托克斯？陶哲轩澄清仍属社交媒体传闻

一则「Claude 已解决纳维-斯托克斯方程千禧年难题」的传闻在社交平台迅速发酵，源头之一是 Andrew Curran 的预测性帖子，以及陶哲轩此前围绕 AI 数学研究流程的假设性讨论。陶哲轩随后澄清，他并不了解该问题出现任何重大新进展。与此同时，Anthropic 和 OpenAI 近月披露的多项数学成果，也让外界开始更认真地讨论 AI 介入开放数学问题后的验证、知识沉淀与研究分工变化。

830

人工智能

2026-08-20 11:03:11

陶哲轩与王虹聚焦 AI 数学证明“消化”环节

围绕 AI 大量介入数学证明，陶哲轩与王虹给出了接近一致的判断：数学界不能只停留在“证明已得出”，还需要理解、整理并消化成果。陶哲轩以 Sendov 猜想为例，说明 AI 更擅长生成与验证，后续的阐释、发表和知识沉淀仍依赖数学家。他还公开了面向 Lean 验证结果的登记库 Palomar，试图为 AI 证明建立从验证到发表之间的整理与协作机制。

840