OpenAI 宣布其 AI 系统已经给出 Navier–Stokes 存在性与光滑性问题的解答，这是一项千禧年大奖难题。文章探讨了人机贡献的归属争议、AI 在前沿数学中的角色，以及在机器智能时代数学研究目的的哲学思考。
背景
近期 AI 已从棋类和围棋等游戏突破，进入自动定理证明领域，引发人们对 AI 能否攻克基础未解难题的猜想。
- 来源
- Lobsters
- 发布时间
- 2026年9月13日 20:59
- 评分
- 9.0 / 10
OpenAI 宣布其 AI 系统已经给出 Navier–Stokes 存在性与光滑性问题的解答，这是一项千禧年大奖难题。文章探讨了人机贡献的归属争议、AI 在前沿数学中的角色，以及在机器智能时代数学研究目的的哲学思考。
近期 AI 已从棋类和围棋等游戏突破，进入自动定理证明领域，引发人们对 AI 能否攻克基础未解难题的猜想。