7.6
深览指数
科技量子位··AI 生成
OpenAI这是拿千禧年难题当Benchmark刷啊。。。
《纽约时报》最新报道揭示了OpenAI与数学家Buckmaster关于纳维-斯托克斯证明冲突的更多细节，包括OpenAI要求剔除Anthropic员工、被指“收买”数学家，以及Bubeck“毁掉职业生涯”言论的完整语境。同时，OpenAI宣布已在另一道千禧年难题——据传是霍奇猜想——上取得“实质性进展”，并透露其内部模型（代号或为Aeon）正在并行攻克多道难题，仅用88小时即完成纳维-斯托克斯证明。文章核心矛盾在于：人类数学家花费数年提出核心策略，而AI用海量算力在数天内完成冲刺，这项突破的“功劳”究竟应归于谁？适合对AI科研伦理、科技巨头垄断、数学前沿突破感兴趣的读者。原文 ↗
核心观点
- ▍OpenAI在与数学家的纳维-斯托克斯证明冲突中，要求剔除合作者（Anthropic员工），并提出了包括推荐奖金归属在内的一系列条件，被数学家视为“收买”。
- ▍AI在数天内完成人类数学家需要数年才能推进的数学突破，引发了关于“智力功劳”归属的本质争议：核心策略由人类提出，最后冲刺由AI完成。
- 01OpenAI向Buckmaster提供四种选择：由数学家先发布欧拉方程成果、由他担任主要作者重新整理论文、提供充足算力、建议100万美元奖金归他和合作者。
- 02Bubeck明确表示不希望Anthropic员工出现在论文中，即使Alpöge的研究是个人项目。
- 03Buckmaster认为，西班牙数学家Diego Córdoba和Luis Martínez-Zoroa几年前提出的攻击流体方程新策略是核心智力贡献，而AI只是用算力压缩了最后冲刺时间。
- 04OpenAI内部模型从8月28日开始训练，数学能力已显著超过GPT-6 Astra，在未完成训练时即用于攻克千禧年难题。
- 05纳维-斯托克斯证明动用了约1万个并行Agent，产生270万条消息，消耗约1300亿个输出Token，从Agent启动到找到解法仅用88小时。
- 06OpenAI披露，整轮测试产生了490万条Agent消息和约3000亿个输出Token，系统同时尝试多道未解决的千禧年难题。
- 07最新传闻OpenAI下一目标指向霍奇猜想，该猜想试图在拓扑学与代数几何之间建立桥梁。
反方 / 局限
- — Bubeck称OpenAI此前与其他外部数学家达成过类似合作安排，因此对Buckmaster的拒绝感到惊讶，暗示事件可能被过度解读。
- — OpenAI目前只有单方面说法，没有公开技术材料可供独立核查关于用户数据未影响模型的声明。
- — 文章本身是报道性综述，主要呈现冲突双方立场，对“AI功劳归属”这一核心问题并未给出明确判断或解决方案。
Tristan BuckmasterSébastien BubeckLevent AlpögeDiego CórdobaLuis Martínez-ZoroaWilliam HodgeOpenAIAnthropic纽约大学普林斯顿高等研究院纳维-斯托克斯方程霍奇猜想千禧年大奖难题CodexAeonGPT-6 AstraLean
10 分钟 · 4 卡片 · 12 资料
读原文 →