OpenAI内部模型耗时88小时攻克纳维-斯托克斯千禧年难题，由约一万个AI智能体协作完成，消耗1300亿输出Token。GPT-6 Astra在17小时内完成Lean形式化验证，证明三维不可压缩流体在光滑外力作用下会产生流速无限增长奇点。

纽约大学数学家Tristan Buckmaster指控OpenAI在知悉Anthropic Levent Alpöge进展后才启动项目，模型疑似接触Codex未发表草稿。Bubeck甚至要求移除署名，甚至威胁毁掉职业生涯。

OpenAI否认抄袭，强调双方证明问题不同；Bubeck公开道歉截图；Sam Altman支持团队；OpenAI放弃100万美元奖金。这场事件凸显AI辅助数学证明的巨大潜力，也提醒学术协作必须保持透明和尊重。 #OpenAI回应攻克千禧年难题#