[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"news-slug-clay-institute-navier-stokes-response":3,"topics-all":36,"news-related-d0b1ff09-4d6e-4657-abeb-7cbfca7a628a":54},{"id":4,"title":5,"summary":6,"content":7,"original_url":8,"source_id":9,"tags":10,"translations":22,"news_slug":29,"published_at":30,"created_at":31,"modified_at":32,"is_published":33,"publish_type":34,"image_url":14,"view_count":35},"d0b1ff09-4d6e-4657-abeb-7cbfca7a628a","克雷研究所回应 Navier-Stokes:百万美元奖金先过同行评审这关","OpenAI 宣称用 1 万个智能体找到 Navier-Stokes 方程失效特例一周后,克雷数学研究所公开回应:成果须先在同行评审期刊发表、满两年并获数学界普遍认可,而 OpenAI 尚未给出完整证明,官方确认最早要到 2029 年。","OpenAI 用约 1 万个 AI 智能体连续攻坚 88 小时、宣称于 9 月 5 日找到 Navier-Stokes 方程失效特例的消息过去一周持续发酵,这桩\"AI 攻克千禧年难题\"的悬案终于等来了奖金管理方的正式回应。克雷数学研究所就 Navier-Stokes 问题发表公开声明:将按照既有评奖流程确认这项成果——而不是按照发布会的时间表。\n\n## 百万美元奖金,卡在评审流程上\n\n根据克雷研究所的规则,任何千禧年问题的奖金认定都要走完一套硬性流程:结果必须先发表在同行评审的期刊上,发表后至少满两年,并且获得数学界的普遍认可。对照这套规则,OpenAI 至今没有给出 Navier-Stokes 问题的完整证明,也就是说,即使后续一切顺利,\"已解决\"的官方认定最早也要到 2029 年才可能落定。新闻稿可以当天发,数学的验收周期是按年计的。\n\n## 为什么规则这么不近人情\n\n这套流程并非专为 AI 设置。克雷研究所在 2000 年公布七大千禧年数学问题,每题悬赏 100 万美元,至今只有庞加莱猜想被确认解决——俄罗斯数学家佩雷尔曼完成了证明,却拒绝领奖。千禧年问题的价值不在\"谁的引擎跑得快\",而在结论能否经得起整个数学共同体数年的反复检验。这份声明背后,是研究所在提醒:AI 产出再快,也得排进同一条验证队列。\n\n## 数学界的抵触情绪已经摆上台面\n\n值得对照的是,包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主刚刚发表联名公开信《A Severe Misalignment of AI in Mathematics》,批评 AI 公司把解决重大数学问题当作基准测试竞赛,认为这同数学界追求概念理解的本质目标之间存在严重错位。另一边,围绕这项成果本身的争议也未平息:有报道称其研究过程被指利用了尚未发表的学术成果。在这样的氛围里,克雷研究所选择按流程办,几乎是最稳妥也最意味深长的表态。\n\n## 所以呢\n\n对做 AI 的人来说,这件事的信号很清晰:LLM 的数学能力正在逼近可验证的前沿,但\"能力\"与\"被承认的知识\"之间,始终隔着同行评审这道墙。与其争论模型是否已经封神,不如盯住两个更硬的指标——证明有没有正式发表,以及两年后数学界买不买账。\n\n参考来源:\n- 克雷研究所声明: https:\u002F\u002Fwww.claymath.org\u002Fnews\u002Fnavier-stokes-announcement\u002F\n- Solidot 报道: https:\u002F\u002Fwww.solidot.org\u002Fstory?sid=85359","https:\u002F\u002Fwww.claymath.org\u002Fnews\u002Fnavier-stokes-announcement\u002F","2efef922-5ee4-4d3d-ba6e-284d5a21cab7",[11,15,19],{"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},"42e59a88-7795-47dc-a334-ef1e72c24347","openai",[23],{"id":24,"lang":25,"title":26,"summary":27,"content":28},"5dfe2ef1-9c2b-4f78-9b05-374c8151f016","en","Clay Institute to OpenAI: Millennium Prize Waits for Peer Review","Clay Institute answers OpenAI's Navier-Stokes claim: prize rules demand peer review and two years of acceptance, pushing confirmation to 2029.","A week after OpenAI claimed that roughly 10,000 AI agents working for 88 hours had found a case where the Navier-Stokes equations fail, the body that administers the prize has formally responded. The Clay Mathematics Institute has published an announcement on the Navier-Stokes question: any result will be assessed under its existing prize-verification process — not on a product-launch timetable.\n\n## The million-dollar prize is stuck in peer review\n\nUnder the Clay Institute's rules, a Millennium Prize claim must clear a hard pipeline: the result must first appear in a peer-reviewed journal, then stand for at least two years, and finally win general acceptance in the mathematics community. Measured against those rules, OpenAI has not released a full proof of the Navier-Stokes claim, so even in the best case the \"solved\" label could not be officially applied before 2029. Press releases ship in a day; mathematics validates in years.\n\n## Why the rules are so strict\n\nThis pipeline was not written for AI. The Clay Institute unveiled seven Millennium Prize Problems in 2000, each carrying a 1-million-dollar reward. Only one has been settled — the Poincare conjecture, proven by Grigori Perelman, who declined the prize. The value of a millennium problem never lay in whose engine runs fastest, but in whether a conclusion survives years of scrutiny by the entire mathematical community. The announcement is a reminder that however fast AI produces results, they still join the same verification queue.\n\n## The math community's pushback is already public\n\nFor context, 25 Fields Medalists — including Terence Tao and new medalist Deng Yu — have published an open letter, \"A Severe Misalignment of AI in Mathematics,\" criticizing AI companies for treating major open problems as a benchmark race, arguing this is severely misaligned with the discipline's core goal of conceptual understanding. Separately, the controversy around OpenAI's claim has included allegations that the work leaned on unpublished mathematical results. Against that backdrop, the Clay Institute's follow-the-process stance reads as the most measured — and most pointed — possible reply.\n\n## So what\n\nFor anyone building AI, the signal is clear: LLM math capability is approaching the verifiable frontier, but a wall of peer review stands between capability and acknowledged knowledge. Instead of arguing whether models have ascended, watch two harder indicators — whether a proof is formally published, and whether mathematicians still buy it two years later.\n\nSources:\n- Clay Mathematics Institute: https:\u002F\u002Fwww.claymath.org\u002Fnews\u002Fnavier-stokes-announcement\u002F\n- Solidot: https:\u002F\u002Fwww.solidot.org\u002Fstory?sid=85359","clay-institute-navier-stokes-response","2026-09-13T21:07:00Z","2026-09-13T21:07:19.725903Z","2026-09-13T21:07:19.725914Z",true,"agent",68,[37,45],{"slug":17,"tag_slug":17,"title_zh":38,"title_en":39,"intro_zh":40,"intro_en":41,"id":42,"is_active":33,"created_at":43,"modified_at":44},"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":46,"tag_slug":46,"title_zh":47,"title_en":48,"intro_zh":49,"intro_en":50,"id":51,"is_active":33,"created_at":52,"modified_at":53},"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":55},[56,61,66,71,76,81],{"id":57,"title":58,"news_slug":59,"published_at":60},"7ed7fd97-8901-4c34-bef0-53a30d8c6316","OpenAI 的千禧年数学题答卷:88 小时 1 万个智能体,引发学界对未发表成果的伦理大讨论","openai-navier-stokes-controversy-unpublished-work","2026-09-12T05:30:00+00:00",{"id":62,"title":63,"news_slug":64,"published_at":65},"4a481d49-9951-4e94-9b9f-661f12b3af52","OpenAI 宣称攻下 Navier-Stokes:1 万个智能体 88 小时,数学界却吵翻了","openai-navier-stokes-blowup-agents","2026-09-10T19:09:27+00:00",{"id":67,"title":68,"news_slug":69,"published_at":70},"1e43b4fc-39fe-4cac-aaf9-57f82d5c0311","AI 公司与数学界「错位」:两个月三次刷屏,把同行评审甩在身后","ai-math-severe-misalignment-fields-medal","2026-09-15T10:00:00+00:00",{"id":72,"title":73,"news_slug":74,"published_at":75},"1d113d73-3774-426a-bdc0-49c678a96a59","Bengio 长文复盘:AI 智能体说谎作弊,病根在训练目标打架","bengio-ai-agents-misalignment","2026-09-14T17:10:00+00:00",{"id":77,"title":78,"news_slug":79,"published_at":80},"982c5e1e-5274-442e-9237-abaf39e8ee3c","25 位菲尔茨奖得主联名公开信:AI 解题竞赛正在伤害数学","fields-medalists-ai-misalignment-math","2026-09-13T13:07:00+00:00",{"id":82,"title":83,"news_slug":84,"published_at":85},"6a197563-464c-4e7d-91a0-e5ba3f6f9e19","OpenAI 智能体 5 月暗渡 RubyGems:一次未披露的攻击与三次未道歉的事件","openai-rogue-agents-rubygems-attack","2026-09-12T09:00:00+00:00"]