[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"news-slug-openai-navier-stokes-controversy-unpublished-work":3,"topics-all":39,"news-related-7ed7fd97-8901-4c34-bef0-53a30d8c6316":57},{"id":4,"title":5,"summary":6,"content":7,"original_url":8,"source_id":9,"tags":10,"translations":25,"news_slug":32,"published_at":33,"created_at":34,"modified_at":35,"is_published":36,"publish_type":37,"image_url":14,"view_count":38},"7ed7fd97-8901-4c34-bef0-53a30d8c6316","OpenAI 的千禧年数学题答卷:88 小时 1 万个智能体,引发学界对未发表成果的伦理大讨论","OpenAI 用约 1 万个 AI 智能体、88 小时发现带外力 Navier-Stokes 爆破特例;NYU 数学家公开指控其抓取未发表成果,引爆数据伦理争议。","9 月 5 日,OpenAI 的内部模型找到了一组带外力 Navier-Stokes 方程的有限时间「爆破」特例——也就是说,理论上存在某些初始条件,能让流体的速度在有限时间内趋向无穷。本周,OpenAI 正式公开了这一结果,并附上论文 PDF 与形式化 Lean 证明([Slashdot 引述 NYT 报道](https:\u002F\u002Fscience.slashdot.org\u002Fstory\u002F26\u002F09\u002F08\u002F2228220\u002Fopenai-says-it-has-cracked-one-of-maths-millennium-problems))。如果这一结果通过同行验证,将是 AI 首次拿下「克雷千禧年难题」级别的数学命题。\n\n## 千禧年难题与 88 小时攻坚\n\nNavier-Stokes 方程是描述流体运动的基础方程,2000 年被克雷数学研究所列为七大千禧年难题之一,每个题目悬赏 100 万美元。在 OpenAI 之前,七大难题中只有 1 个被攻克。本次的「解」不是证明方程永远光滑,而是反过来——构造一个会让方程失效的爆破点。OpenAI 研究员 Sebastien Bubeck 在向 NYT 描述这一结果时称其为「过去十二个月我们看到的 AI 在数学领域进展弧线的壮观顶点」。\n\n让业界震动的是 OpenAI 的算力规模:该公司协调了「多达 10,000 个 AI 智能体」,用了 88 小时持续运行才得出这一特例。Slashdot 援引 NYT 报道称,这可能是「数百万美元级别的算力开销」。\n\n## 争议的核心:未发表成果的边界\n\n事件在数学界迅速引爆争议,焦点并不在数学本身,而在数据来源。过去一个月,纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 已经在利用 OpenAI 与 Anthropic 的 AI 工具推进 Navier-Stokes 相关研究,并取得关键进展。Buckmaster 公开指控 OpenAI 在他们准备公布成果前抓取了他们的数据来训练自己的模型;OpenAI 则声明未利用 Buckmaster 与 Alpöge 的最新工作([Solidot 转载报道](https:\u002F\u002Fwww.solidot.org\u002Fstory?sid=85339))。\n\n这场争议之所以格外刺眼,是因为它把 AI 实验室之间惯常的数据使用边界问题,搬到了人类数学共同体的核心舞台面前:当一方在公开场合宣布「AI 拿下千禧难题」,而另一方声称自己的未发表工作被悄然吸收,这就不再是商业竞争,而是学术诚信问题。\n\n## 行业影响:数学共同体如何应对「算力霸权」\n\n数学共同体的反应说明,这件事的真正意义并不在于 OpenAI 是否真的「第一个」证出 Navier-Stokes 反例,而在于 —— 当一家公司愿意为抢一个 PR 头条投入数百万美元算力、而同行学者只能按学术节奏发布时,「先发表」的权力会不会从数学家手里转到拥有最多 GPU 的人手里。\n\n如果这次事件没有清晰的后续澄清,接下来学者最理性的反应就是「把未完成的工作藏得更深」——而这恰恰是 Bubeck 在 LinkedIn 公开回应中试图论证的反方向,他强调 OpenAI 的初衷是「尽可能地庆祝」对方的成果。无论 OpenAI 的解释最终是否被接受,这件事都已经给整个 AI for math 圈子留下了一个先例:**当一个学术问题被 AI 实验室视为公关机会时,数学共同体的传统信用机制第一次感受到了真正意义上的外部冲击**。","https:\u002F\u002Fopenai.com\u002Findex\u002Fnavier-stokes-solution\u002F","15975962-b5fe-49e5-ae68-687ba6cb7015",[11,15,19,22],{"id":12,"name":13,"slug":13,"description":14,"color":14},"6ad31a14-c0da-42df-81fd-564281f768db","agentic-ai",null,{"id":16,"name":17,"slug":17,"description":18,"color":14},"9112951a-2abb-4214-b63a-385ec7afb2ba","ai-for-science","AI for Science 专题：追踪 AI 在生命科学、化学材料、物理世界模型等科学方向的关键突破",{"id":20,"name":21,"slug":21,"description":14,"color":14},"01598627-1ea6-4b27-a5d8-874971571a71","llm",{"id":23,"name":24,"slug":24,"description":14,"color":14},"42e59a88-7795-47dc-a334-ef1e72c24347","openai",[26],{"id":27,"lang":28,"title":29,"summary":30,"content":31},"0d0ca0ae-f9a8-4f40-b774-aa01fe238501","en","OpenAI's Navier-Stokes Claim: 10,000 Agents, 88 Hours, One Fight","OpenAI says ~10,000 AI agents working for 88 hours found a finite-time blowup for the forced Navier-Stokes equations; NYU's Buckmaster publicly accuses the company of scraping his team's unpublished work, igniting a data-ethics storm.","On September 5, OpenAI's internal model produced a finite-time blowup example for the forced Navier–Stokes equations — a set of initial conditions under which fluid velocity runs to infinity in finite time. This week the company went public with the result, releasing a paper PDF and a formal Lean proof (via [Slashdot's recap of the NYT report](https:\u002F\u002Fscience.slashdot.org\u002Fstory\u002F26\u002F09\u002F08\u002F2228220\u002Fopenai-says-it-has-cracked-one-of-maths-millennium-problems)). If verified, it would be the first time an AI has cracked a Clay Millennium Problem.\n\n## A Millennium Problem and an 88-hour Run\n\nThe Navier–Stokes equations describe fluid motion and were named one of seven Clay Millennium Problems in 2000, each carrying a million-dollar prize. Before OpenAI's announcement, only one of the seven had been solved. Crucially, this is not a proof of smoothness — it is the opposite: a constructed counterexample showing the equations can break down. OpenAI researcher Sebastien Bubeck told the NYT the result is \"a spectacular culmination of the arc we have seen over the past twelve months\" in AI-for-math.\n\nWhat jolted the field was the compute scale. The company coordinated \"as many as 10,000 AI agents\" running for 88 straight hours to land the blowup. Per Slashdot's recap of the NYT piece, the run may have cost \"millions of dollars in computing power.\"\n\n## The Core of the Controversy: Unpublished Work\n\nThe math community's reaction has little to do with the mathematics itself and everything to do with where the data came from. Over the past month, NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge had been pushing forward on the same problem using AI tools from both OpenAI and Anthropic, and had reached a key milestone. Buckmaster publicly alleged that OpenAI scraped their unpublished work to train the model used in the final push. OpenAI denies using any of Buckmaster and Alpöge's latest results (see [Solidot's coverage](https:\u002F\u002Fwww.solidot.org\u002Fstory?sid=85339)).\n\nThis dispute lands harder than the typical AI-lab data-scraping fight because it puts the question in front of the human mathematical community itself. When one side declares in public that \"AI solved a Millennium problem,\" while the other claims its unpublished work was quietly absorbed, it stops being a commercial competition and becomes an academic-integrity question.\n\n## Industry Impact: How the Math Community Reacts to \"Compute Hegemony\"\n\nWhat the math community's response tells us is that the real significance of this episode is not whether OpenAI was literally first to the Navier–Stokes counterexample. It is whether, when a company is willing to spend millions of dollars of compute to grab a PR headline while working mathematicians can only publish at academic speed, the power to \"publish first\" silently moves from mathematicians to whoever has the most GPUs.\n\nIf this incident does not get a clean follow-up, the most rational next move for scholars is to hide unfinished work even more carefully. That is precisely the opposite of what Bubeck argued in his public LinkedIn response, where he insisted OpenAI's intent was to \"do everything possible to celebrate\" the other team's mathematical achievements. Whether or not OpenAI's explanation is ultimately accepted, this episode has already set a precedent: **the moment an academic problem is treated as a PR opportunity by an AI lab, the math community's traditional credit machinery feels, for the first time, a genuine external shock**.","openai-navier-stokes-controversy-unpublished-work","2026-09-12T05:30:00Z","2026-09-12T05:03:37.082714Z","2026-09-12T05:03:37.082729Z",true,"agent",55,[40,48],{"slug":17,"tag_slug":17,"title_zh":41,"title_en":42,"intro_zh":43,"intro_en":44,"id":45,"is_active":36,"created_at":46,"modified_at":47},"AI for Science 2026：从 UniPert 到 GPT-Rosalind 的硬核进化","AI for Science 2026: from UniPert to GPT-Rosalind","生命科学、化学材料、物理世界模型——AI 正在从\"语言工具\"变成\"实验伙伴\"。本专题收录 AI 在三大科学方向的关键节点：UniPert 统一基因与化学扰动空间、GPT-Rosalind 端到端生命科学推理、达摩院 AI 智能体 28 小时找到 4 种超导新材料、Anthropic Claude Science 把工作台做成标准品。","From language tool to lab partner — AI is reshaping life sciences, chemistry\u002Fmaterials, and physical world models. This topic covers the key milestones: UniPert unifying genetic-chemical perturbation spaces, GPT-Rosalind's end-to-end life-sciences reasoning, DAMO's AI agent discovering 4 superconducting materials in 28 hours, and Anthropic's Claude Science workbench going mainstream.","988a4300-5fab-41c4-b5d8-63711a2dc757","2026-09-10T01:34:15.296649Z","2026-09-10T01:34:15.296663Z",{"slug":49,"tag_slug":49,"title_zh":50,"title_en":51,"intro_zh":52,"intro_en":53,"id":54,"is_active":36,"created_at":55,"modified_at":56},"h3-series","MiniMax H3 系列：从开源权重到 35 倍吞吐","MiniMax H3 Series: from open weights to 35x throughput","MiniMax H3 自 2026 年 8 月开源以来节奏密集：官方把生成、参考与编辑收回一个模型；ComfyUI 当天压进 RTX 3060；摩尔线程 3 小时完成国产 GPU 适配；fal 后训练版把吞吐拉到 35 倍；FastH3 蒸馏再砍推理成本。本专题持续追踪 H3 的发布—开源—蒸馏—部署全链路。","Since MiniMax open-sourced H3 in August 2026 the pace has been relentless: one unified omni-modal model, same-day ComfyUI support down to an RTX 3060, a 3-hour Day-0 port to Moore Threads GPUs, fal's post-trained H3 Max at 35x throughput, and FastH3 distillation cutting inference cost further. This topic tracks the full H3 chain — release, open weights, distillation, deployment.","83ef0daa-3c31-4cb3-86ed-e5ee58654d5f","2026-09-08T07:33:19.942193Z","2026-09-08T07:33:19.942209Z",{"items":58},[59,64,69,74,79,84],{"id":60,"title":61,"news_slug":62,"published_at":63},"4a481d49-9951-4e94-9b9f-661f12b3af52","OpenAI 宣称攻下 Navier-Stokes:1 万个智能体 88 小时,数学界却吵翻了","openai-navier-stokes-blowup-agents","2026-09-10T19:09:27+00:00",{"id":65,"title":66,"news_slug":67,"published_at":68},"1e43b4fc-39fe-4cac-aaf9-57f82d5c0311","AI 公司与数学界「错位」:两个月三次刷屏,把同行评审甩在身后","ai-math-severe-misalignment-fields-medal","2026-09-15T10:00:00+00:00",{"id":70,"title":71,"news_slug":72,"published_at":73},"1d113d73-3774-426a-bdc0-49c678a96a59","Bengio 长文复盘:AI 智能体说谎作弊,病根在训练目标打架","bengio-ai-agents-misalignment","2026-09-14T17:10:00+00:00",{"id":75,"title":76,"news_slug":77,"published_at":78},"d0b1ff09-4d6e-4657-abeb-7cbfca7a628a","克雷研究所回应 Navier-Stokes:百万美元奖金先过同行评审这关","clay-institute-navier-stokes-response","2026-09-13T21:07:00+00:00",{"id":80,"title":81,"news_slug":82,"published_at":83},"982c5e1e-5274-442e-9237-abaf39e8ee3c","25 位菲尔茨奖得主联名公开信:AI 解题竞赛正在伤害数学","fields-medalists-ai-misalignment-math","2026-09-13T13:07:00+00:00",{"id":85,"title":86,"news_slug":87,"published_at":88},"6a197563-464c-4e7d-91a0-e5ba3f6f9e19","OpenAI 智能体 5 月暗渡 RubyGems:一次未披露的攻击与三次未道歉的事件","openai-rogue-agents-rubygems-attack","2026-09-12T09:00:00+00:00"]