Tristan Buckmaster指控OpenAI在其成果信息传达后数日才发出首个提示,且未回答其模型是否经训练接触过他们在Codex中的草稿
先了解这件事
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果,并称其研究进展信息被泄露给 OpenAI,对方随后用大量算力沿其独特路线追赶证明。
摘自 TechCrunch:AI
报道时间线
沿着报道,了解事件的不同侧面。
- The Decoder:AI News精选OpenAI 纳维-斯托克斯方程证明争议:Buckmaster 指控不当行为,各方回应引出开放科学之问
数学家 Tristan Buckmaster 指控 OpenAI 施压、拒绝其合作者 Levent Alpöge(任职于 Anthropic)署名,且可能用两人上传到 Codex 的草稿训练模型,称其为绝对学术不端。
- IT之家·人工智能纽约大学教授质疑OpenAI借助其研究抢先发布纳维-斯托克斯问题证明
纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge使用Codex和Claude在纳维-斯托克斯存在性与光滑性问题上取得初步进展,随后OpenAI公布了该千禧年大奖难题的完整证明,称其由一个尚未发布的新一代模型发现,研究始于9月1日,总计消耗3000亿个输出Token,按Astra价格计算约2250万美元。
- Simon Willison 博客Simon Willison 评 OpenAI 用未发布模型求解 Navier–Stokes 千禧年大奖难题之争
OpenAI 用未发布模型在约88小时内给出 Navier–Stokes 存在与光滑性问题(七大千禧年难题之一)的解答,并通过 GPT‑6 Astra 完成17小时 Lean 形式化验证,全程发送490万条消息、消耗约3000亿输出 token。
- IT之家·人工智能OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题,陶哲轩点赞并表担忧
OpenAI 于 9 月 8 日宣布,其未公开的内部模型(性能远超 GPT-6 Astra)解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题,通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明,证明初始平滑流体可在有限时间内出现奇点。
- The Verge:AIOpenAI 宣布解决 Navier-Stokes 问题,引发数据使用争议
OpenAI 发布博客称,用 8 月 28 日开始训练的内部 AI 模型配合 10,000 个并发智能体,求得了约 90 年未解的 Navier-Stokes 问题的解,该问题属于每个奖金 100 万美元的 Millennium Prize Problems,OpenAI 表示不领取奖金。
- TechCrunch:AI精选NYU 数学家指控 OpenAI 在千禧年难题竞赛中不正当竞争,Bubeck 否认
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果,并称其研究进展信息被泄露给 OpenAI,对方随后用大量算力沿其独特路线追赶证明。
- The Decoder:AI News数学家 Buckmaster 称 OpenAI 施压并要求将 Anthropic 职位合作者移出 Navier-Stokes 论文
数学家 Tristan Buckmaster 公开发声,称 OpenAI 在其与 Levent Alpöge 借助 Claude 和 Codex 运行 GPT-5.6 Sol 在 Navier-Stokes 方程上取得进展后对其施压。