搜索
传闻 Claude 攻克韦东奕主攻的纳维-斯托克斯方程
3 小时前
AI在数学领域取得显著进展，Claude完成了费马大定理的形式化证明，并有传闻称其攻克了纳维-斯托克斯方程等千禧年难题，尽管这些传闻尚未得到一手证实。但AI已在多项数学问题上取得实质性突破，如提升黎曼zeta函数零点满足猜想的比例，并解决了多个长期悬而未决的数学问题。丘成桐悬赏10万元，征集对佩雷尔曼庞加莱猜想证明的形式化验证。陶哲轩担忧，AI的黑箱式求解方式可能会跳过求解过程中工具的积累，使数学失去生长动力。尽管如此，AI研发方仍在推进相关竞赛，市场预测2026年AI有望解决千禧年大奖难题。
