搜索
AI智能体八十八小时解出千禧年难题之一 引起“抢发”数学家成果争议
23 小时前
2026年9月，OpenAI宣布用约1万个AI智能体，耗时88小时，证明了纳维—斯托克斯方程存在性与光滑性问题，即三维流体可在有限时间内产生奇点。该证明由比GPT-6 Astra更强的内部模型完成，并同步公开了166页论文和Lean验证代码。OpenAI称不会申领克雷数学研究所的100万美元奖金。
