新智元报道
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！
昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。
出乎我们意料的是，我们注意到了网络上流传的一张相关截图：
丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！
庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都能收缩成一点，这个空间就一定是一个三维的圆球。2006 年，数学界普遍认可了佩雷尔曼完成了庞加莱猜想的证明。
目前我们尚未彻底证实截图真实性（据说按规定截图一律不许外传），但 AI 既然能完成费马大定理形式化证明，那 AI 也极有可能形式化庞加莱猜想的证明。
几乎同时，另一道悬赏 100 万美元的千禧年难题纳维-斯托克斯（Navier-Stokes）方程，据传已被 Anthropic 的 Claude 解决，证明正送专家评审。
这个难题方向也是韦神（韦东奕）主攻的，仅相关的阶段性成果就使他荣获国家自然科学奖二等奖。
若传闻属实，Claude 尚未发布的内部旗舰模型的数学推理能力将远超包括 GPT-6 Astra 在内的所有公开模型。
陶哲轩对此回应称，虽然目前无法证实传闻真伪，但他严谨地说 AI 攻克此类难题「并非完全不可能」。
但他随即用数千字推演了一个问题：如果 AI 真的以黑箱方式解决了这类难题，数学会怎样。
结论出乎很多人的预料：可能弊大于利。
Navier-Stokes 方程撑起工程界
却难倒数学界近两百年
传闻目前最主要的传播节点是科技博主 Andrew Curran 在 X 上抛出的「预测」：Claude 解开了 N-S 方程，Anthropic 计划在 IPO 前公布。
https://x.com/AndrewCurran_/status/2096062392442724805
随后多条信源交叉：OpenAI员工向外转述了消息，数学家 Elliot Glazer 追踪传闻链条后发现，最初版本声称 Anthropic 解决了「两个」千禧年难题，后被纠正为一个；
爆料人「草莓哥
