传闻 Claude 攻克韦东奕主攻的纳维-斯托克斯方程

AI 在数学领域进展显著，Claude 完成费马大定理形式化证明，网传其攻克纳维-斯托克斯方程等千禧年难题，虽传闻未获一手证实，但 AI 已在多项数学问题上取得突破，如提升黎曼 zeta 函数零点满足猜想比例、解决多个悬而未决的数学问题等。丘成桐悬赏 10 万元征集佩雷尔曼庞加莱猜想证明的形式化验证。陶哲轩担忧 AI 黑箱式求解会让数学失去生长动力，因其会跳过求解过程催生的工具积累，但 AI 研发方仍在推进相关竞赛，预测市场对 2026 年 AI 解决千禧年大奖难题有一定预期。