OpenAI 称借助万个智能体协作证明纳维-斯托克斯方程奇点

数学猜想的攻坚正被推向模型算力与规模的直接角逐。据称 OpenAI 调动约一万个智能体并在 88 小时内构造出纳维-斯托克斯方程的有限时间奇点证明，并经 Lean 完成形式化校验。尽管同行对其外力设定与训练数据来源提出质疑，机器推演已步步逼近纯数学的核心腹地。