AI 豪掷数千万美元算力求解千禧年难题，抢发争议与烧钱模式引激辩

社区热传一则消息：某 AI 系统（多方指向 OpenAI）用约一周时间和巨额算力求解了七大千禧年数学难题之一的 Navier-Stokes 问题，其算力开销按普通用户 API 价格折算高达 1500 万至 3000 万美元，远超克雷研究所 100 万美元的奖金。围绕成本数字与「抢发」学术争议，社区展开多轮激辩。

已确认

• 多位博主转述了相近但口径不一的运行数据：mitsuhiko 称该 agent 系统发送了 270 万条消息、消耗约 1300 亿输出 token（按不同模型定价最高折算 1800 万美元）；zainhas 与 Abhishek Nair 等列举的口径则为 105 小时、490 万条消息、3000 亿输出 token，按普通用户 API 价格折算 2000 万至 3000 万美元；EigenGender、docmilanfar、karmicoder 等转述的版本为「1500 万美元 token 换 100 万美元奖金」。
• Hesamation 爆料的关键参数包括：使用官方称「显著强于 GPT-6 Astra」的内部模型，同时生成 10,000 个并发 agent，运行 88 小时（另一口径为 105 小时完成证明与验证）。
• 成本估算各有出入：Abhishek Nair 按 API 价格估 2000 万-3000 万美元；zephyrz9 估算 OpenAI 实际投入约 50 万至 100 万美元推理算力，相当于 1500-3000 张 GB300 GPU 运行约一小时（按每小时 4 美元计）；vykthur 给出一周 2250 万美元的估计；EigenGender 等人引述 Ethan Mollick 的观点，认为 AI 系统性产出科学成果后，无论现在有多少算力，未来都大概率不够用。
• wordgrammer 换算称 100 万美元按 OpenAI 的算力支出速度只够烧约 10.5 分钟，此说法被用来回应 Ed Zitron 对 OpenAI 财务模式的质疑。
• 围绕「抢发（scoop）」的争论：tylerjohnston 质疑花数百万美元抢发他人即将做出的数学发现是否正当；gfodor、ctjlewis 等反驳称发现没有先来后到的「占位」权利，这本来就是最高赌注的竞争，不存在公平的抛硬币。ctjlewis 进一步主张 AI 对学术规范的冲击越大越好，认为 r/math 禁 AI 帖暴露了学界的意识形态化。Linahuaa 与 XFreeze 则从商业角度分析：即便抢解难题名声受损，对投资人也是巨大光环加成，属于理性的高价值操作——投资者只在乎你是不是第一。

尚未确认

• 上述所有数字均来自社区博主转述与估算，OpenAI 官方未公布确切 token 消耗与成本，各家口径（1300 亿 vs 3000 亿 token、50 万 vs 3000 万美元）差异较大。
• 该求解是否真正通过克雷研究所认证、能否获得百万美元奖金，材料中未提及。
• 「抢发」争议中涉及的具体 mathematician 被抢先细节，材料中未见一手信源。

为什么重要

• 这被视为「AI 用暴力算力做科学」的标志性案例：Head-Needleworker849 提出两种解读——要么系统已具备尚未察觉的深度超级智能，要么数学本质上可被暴力穷举攻克；zainhas 则感叹如今可以靠堆算力和金钱解决此前未解的数学问题。
• 成本远超奖金的反差引发对前沿 AI 研究烧钱模式的讨论（docmilanfar、EigenGender 等调侃「典型的 AI 经济学」），Abhishek Nair 更提出尖锐问题：一旦 AI 公司决定不再投入这种规模的算力，此类科学突破是否会停滞。
• 伴随的「抢发」争议将 AI 实验室与传统学术规范的冲突摆上台面，涉及功劳归属与社区治理（如 r/math 禁 AI 帖），是 AI 参与科学发现后必须面对的新问题。
• vykthur 提醒，这可能是未来科学突破的「时间与成本」行情，研究过程与功劳归属问题亟需解决。

2026-09-09 ~ 2026-09-09 · 20 条相关

事件全程(共 20 集)→

• 第 1 集:陶哲轩提议将部分数学开放问题划为 AI 禁区(2026-09-03,2 条)
• 第 2 集:传Claude攻克纳维-斯托克斯难题，陶哲轩发文回应(2026-09-05,9 条)
• 第 3 集:传 Anthropic 已用 Claude 攻克纳维-斯托克斯千年难题(2026-09-06,2 条)
• 第 4 集:陶哲轩批闭源实验室证定理是病毒式营销(2026-09-06,2 条)
• 第 5 集:陶哲轩澄清纳维-斯托克斯传闻：Claude解题系误读(2026-09-06,2 条)
• 第 6 集:ζ(5)(3) AI证明引战：数学界与AI圈激辩「谁在做研究」(2026-09-07,20 条)
• 第 7 集:数学家指 OpenAI Astra 数学成果涉研究不端(2026-09-07,2 条)
• 第 8 集:陶哲轩再谈 AI 引热议,Gary Marcus 称「火热」(2026-09-08,2 条)
• 第 9 集:传 Anthropic 的 Claude 解开纳维-斯托克斯千禧年难题(2026-09-08,3 条)
• 第 10 集:OpenAI 宣称万级智能体破解 Navier-Stokes 千禧难题，争议四起(2026-09-08,430 条)
• 第 11 集:陶哲轩评流体方程爆破新突破，AI 辅助证明已 Lean 形式化(2026-09-08,8 条)
• 第 12 集:陶哲轩警示：AI 抢发或侵蚀数学与开放科学传统(2026-09-08,15 条)
• 第 13 集:OpenAI 疑似抄袭 Anthropic 员工言论引热议(2026-09-08,2 条)
• 第 14 集:Gary Marcus 追查 Bubeck 夸大 GPT-5 数学成果(2026-09-08,2 条)
• 第 15 集:Chollet：纳维-斯托克斯 AI 证明须有新洞见才算突破(2026-09-08,2 条)
• 第 16 集:AI 豪掷数千万美元算力求解千禧年难题，抢发争议与烧钱模式引激辩(2026-09-09,20 条)
• 第 17 集:OpenAI 纳维-斯托克斯证明归属之争：Altman 与 Bubeck 长文回应(2026-09-09,35 条)
• 第 18 集:AI 数学证明争议发酵，前 DeepMind 研究员指其声誉欠佳(2026-09-09,2 条)
• 第 19 集:美国数学会确认纳维-斯托克斯关键突破并致谢西班牙学者(2026-09-09,3 条)
• 第 20 集:AI 解题冲击波：大学数学社群士气崩塌引激辩(2026-09-09,2 条)

• 【源头】OpenAI 烧数百万美元算力解百万奖金难题：1 万 agent 跑 88 小时 — Hesamation · 2026-09-09
• 算账:复现 Navier-Stokes 证明需 3000 亿 token,个人成本上千万美元 — soumitrashukla9 · 2026-09-09
• 【源头】105 小时、490 万条消息、3000 亿 token：AI 硬磕出未解数学难题 — zainhas · 2026-09-09
• 100 万美元听着多，只够 OpenAI 算力开销 10.5 分钟 — wordgrammer · 2026-09-09
• OpenAI 花1500万美元token求解，换回100万美元奖金 — EigenGender · 2026-09-09
• 一周烧掉 2250 万美元算力,数学突破有了新价格标签 — vykthur · 2026-09-09
• 3000 亿 output tokens:复现千禧年难题研究仅算力成本就值 2000-3000 万美元 — Paimaamu · 2026-09-09
• 【源头】求解 Navier-Stokes 花掉 1300 亿输出 token，按不同模型算高达 1800 万美元 — mitsuhiko · 2026-09-09
• 3000亿输出token耗资数千万美元,Ethan Mollick:算力再多也不够用 — eldonredwards · 2026-09-09
• 博主评 OpenAI「抢解」千禧年难题：即便名声扫地也是理性豪赌 — Linahuaa · 2026-09-09
• AI 花约 2000 万美元算力一周解出千禧年数学难题，Reddit 炸锅 — Head-Needleworker849 · 2026-09-09
• 算账:OpenAI 疑为一次求解花费 50 万至 100 万美元推理算力 — zephyr_z9 · 2026-09-09
• OpenAI 抢解千禧年难题引争议:理性抬估值还是口碑透支 — XFreeze · 2026-09-09
• 花 1500 万美元算力去赢 100 万美元奖金:入不敷出的求解 — docmilanfar · 2026-09-09
• 网友吐槽:花1500万美元算力,去赢100万美元大奖 — karmicoder · 2026-09-09
• OpenAI 被指花数百万抢发数学发现,网友激辩行业规范 — ctjlewis · 2026-09-09
• 「独家」一词引 AI 圈争论:高风险竞争下没有优先权可言 — ctjlewis · 2026-09-09
• 开发者力挺 AI 破坏学术规范：r/math 禁 AI 帖正暴露学界的意识形态化 — ctjlewis · 2026-09-09

另有 2 条近重复转述:wordgrammer · ctjlewis