过去 12 小时，AI 圈的焦点集中在前沿数学证明、模型知识蒸馏争议与 AI 对经济和军事应用的影响：OpenAI 声称其新一代模型推进了纳维–斯托克斯问题研究，但相关署名、验证和学术伦理仍引发争论；美国政府则指控多家中国 AI 公司进行大规模模型蒸馏。与此同时，Anthropic 发布了用于推演 AI 就业影响的经济情景工具。

行业动态

纽约大学教授质疑 OpenAI 借助其研究抢先发布纳维–斯托克斯问题证明

IT之家（RSS）｜今天下午 17:34｜查看原文

Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 使用 Codex 和 Claude 在纳维–斯托克斯存在性与光滑性问题上取得初步进展，随后 OpenAI 公布了该千禧年大奖难题的完整证明，称其由尚未发布的新一代模型发现。报道还称，相关研究始于 9 月 1 日，累计消耗约 3000 亿个输出 Token。

NSA、FBI 和 CISA 指控 DeepSeek 等六家中国 AI 公司工业规模蒸馏美国模型

X：Rohan Paul｜今天下午 16:37｜查看原文

美国机构发布联合公告，指控 DeepSeek、月之暗面、阿里巴巴、MiniMax、阶跃星辰和 Z.ai 至少自 2024 年底起对美国前沿模型进行工业规模蒸馏。争议焦点在于访问是否获得授权，以及模型知识提取是否超出了许可范围。

美国政府被曝曾要求 OpenAI 提供对军事指令最低拒绝率的特别版 AI

IT之家（RSS）｜今天下午 16:00｜查看原文

《The Intercept》通过 FOIA 文件披露，美国国防部曾在一份合同中要求 OpenAI 提供对军事指令具有最低拒绝率的特别版模型。双方称该文件只是草案，但文件性质和后续协议仍引发了对军事 AI 安全边界的讨论。

曝 DeepSeek 聘请中信证券筹备科创板 IPO

IT之家（RSS）｜今天下午 14:41｜查看原文

路透社报道称，DeepSeek 目标在年内递交 IPO 申请、明年挂牌，募资将用于算力基础设施、模型研发、芯片自研与人才激励。报道还提到，公司正在推进新一轮融资，目标估值约 5000 亿元人民币。

技巧与观点

Anthropic 发布经济情景模型，推演 AI 对 2030 年美国就业与工资的影响

Anthropic：The Institute（旗舰研究长文）｜今天晚上 21:27｜查看原文

Anthropic 经济团队发布交互式经济情景探索工具，把经济表示为一组任务，推演 AI 到 2030 年对美国就业、工资和经济结构的潜在影响。工具强调这是情景分析，而不是对未来的单一预测。

数学研究者 Tristan Buckmaster 指控 OpenAI 存在不当行为

The Decoder：AI News（RSS）｜今天晚上 18:27｜查看原文

Buckmaster 指控 OpenAI 施压、拒绝其合作者署名，并提出两人上传到 Codex 的草稿可能被用于训练模型。事件将 AI 辅助科研中的署名权、数据使用同意和开放科学信任问题推到了台前，相关说法仍待各方进一步核实。

Thomas Wolf：AI 数学尚未被解决，纳维–斯托克斯结果更像反例搜索

X：Thomas Wolf（Hugging Face 联创/CSO）｜今天下午 17:18｜查看原文

Thomas Wolf 认为，OpenAI 新模型围绕纳维–斯托克斯千禧年问题给出的结果更接近寻找反例，而不能简单视为“数学已被解决”。这提醒人们区分猜想验证、形式化证明和完整数学结论之间的差异。

Simon Willison 评纳维–斯托克斯问题求解背后的 OpenAI 与 Anthropic 争议

Hacker News 热门（buzzing.cc 中文翻译）｜今天下午 15:10｜查看原文

Simon Willison 评论 OpenAI 使用未发布模型在约 88 小时内推进纳维–斯托克斯问题，并经 GPT-6 Astra 完成 17 小时的 Lean 形式化验证。他的分析也关注了 AI 生成研究成果如何被独立复核，以及研究机构应如何披露模型贡献。

今日关键词： 纳维–斯托克斯、AI 数学证明、模型蒸馏、DeepSeek IPO、Anthropic 经济情景、军事 AI、科研署名