每日新闻速览
DAILY NEWS REVIEW · 科技晨报
今日头条 Headlines
OpenAI 宣称攻克纳维–斯托克斯方程：165 页证明、约一万个 Agent 数月并行，今晨再传接近霍奇猜想
9 月 8 日，OpenAI 宣布其内部 AI 系统完成纳维–斯托克斯方程「存在性与光滑性」问题的证明，论文 165 页，宣称对任意正黏性给出解答；系统由约一万个 Agent 并行工作数月、耗资数百万美元，所用模型未公开。同一周，Anthropic 的 Claude 用 11 天完成费马大定理证明的形式化转换（9 月 4 日官宣）；今晨《纽约时报》特稿再爆 OpenAI 接近第二道霍奇猜想。克雷研究所尚未表态。
- 宣称内容：三维流体是否会在有限时间内「爆炸」——这道 2000 年悬赏百万美元的难题，OpenAI 称其证明附机器逐项验证附录，出自比 GPT-6 Astra 更强的未公开模型
- 冷水与质疑：陶哲轩连发多帖提醒「宣称不等于证明」；数学界同时质疑 AI 与在研学者「抢发」，署名规则成焦点
- 后续：今晨 NYT 称其接近霍奇猜想验证；七大难题迄今仅庞加莱猜想（2003，佩雷尔曼）获公认解决
本报观察：数学是最难造假的领域，因为每一步都可机器验证——做 Agent 开发同理会记忆这一点：可验证交付永远比漂亮宣称值钱
AI / 科技 Tech
「攻克」NS 方程引爆学术圈：AI 与人类“抢成果”，数学家怒了
- 风波：NS 证明官宣前后，OpenAI 被指与在研学者“抢发”，NYU 巴克马斯特与 OpenAI 布贝克卷入，署名与优先权规则成焦点
- 陶哲轩泼冷水：“人类可能什么都没学会”，提醒公众区分「验证已知」与「创造新数学」
- 核心争议：AI 时代的学术署名、评审与优先权规则还是空白，数学界首次大规模直面“机器合作者”
争论的本质是“贡献怎么算”。做 AI 项目同样要留好过程记录：谁的 idea、谁的实现、谁的验证，写清楚，以后都是护身符。
[网易科技 · 9月11日]
OpenAI 推出 ChatGPT for Financial Services：投行与研究员的“AI 分析师”上线
- 9 月 11 日凌晨消息：OpenAI 推出面向投资银行家与股票研究员的金融版 ChatGPT，主打“像分析师一样做研究”
- 布局：继企业版、教育版之后再落一子，垂直行业版图持续扩张，金融数据合规成为核心卖点
- 对照：Bloomberg GPT 之后，金融信息服务的护城河正被「通用模型 + 垂直工作流」重新开挖
垂直 Agent 岗位在批量出现。不必硬凑金融背景，把「行业工作流 + Agent」的组合讲清楚，就是简历上的差异化。
[新浪科技 · 9月11日]
AI「性转」视频风靡中国网络：BBC 称其为一场「新文化运动」的觉醒与局限
- 现象：今夏数千创作者借助 Seedance 2.5 等视频模型制作性别对调短片，从日常用语到童话民俗全面“性转”
- 解读：曼彻斯特大学讲师葛亮肯定其打破刻板印象的价值，但也指出局限——能走多远取决于外部环境
- 争议：镜头擦边、肖像与伦理边界已被多次讨论，平台尺度成为关键变量
生成模型把内容实验的成本打到零，伦理审查却没跟上。做 AI 产品时，默认自己的输出会被放大审视。
[BBC 中文 · 9月10日]
游戏 / 开发圈 Dev
AI 时代，谁在做游戏：网易特稿记录辞职开发者与三年磨一剑的独立故事
- 9 月 11 日网易特稿：离开游戏行业五年的开发者借 AI 重拾游戏梦，跑通第一个原型后果断全职投入独立开发
- 变化：AI 把程序与美术门槛压低，“一个人的游戏工作室”从口号变成可行路径
- 冷思考：产能放大后，创意与审美反而成为新的稀缺品，同质化风险同步上升
这篇像在写我们自己：工具越强，“想做什么”越值钱。棱镜的光谱机制就是答案的一部分，继续磨。
[网易 · 9月11日]
《幻世录：重制版》9 月 10 日 Steam 发售：宇峻奥汀复刻 1998 年战棋经典
- 昨日发售：完整收录 1998 年原作内容，重制版登陆 Steam，新宣传片同步公开
- 情怀经济：老 IP 重制成国产战棋复兴的样本，Steam 中文玩家基本盘持续兑现
- 同期：Team17《WARDOGS》9 月 10 日开抢先体验（149 元起），周中档独立新品扎堆
老战棋能翻新，说明核心玩法经得起时间。给自己的项目留“机制可复用”的余地，十年后还能翻出来再讲一次。
[Steam 商店页 · 9月10日]
《荣耀战魂》9 月 10 日移除 Linux 支持：反作弊改造之下，Steam 退款争议四起
- 昨日起育碧在 PC 版移除 Linux / Steam Deck 支持，理由是反作弊系统改造，玩家购入时的兼容承诺失效
- 争议：有玩家两次退款被拒后公开维权，Linux 社区重提“购买时宣传与后续变更”的权责边界
- 背景：Steam Deck 生态扩张两年后，大厂反作弊仍是 Linux 游戏的最大变数
发行方一句“不再支持”就能没收你的运行环境。自己做游戏时，承诺支持的配置要慎写、写明范围。
[Reddit r/linux_gaming · 9月]
世事 · 人间 The World
我国成功发射一箭六星：长四乙酒泉出手，遥感双组星入轨
9 月 10 日 17 时：长征四号乙以一箭六星方式发射遥感五十三号 01-03 星与遥感五十六号 01-03 星，任务圆满成功
[中新社 · 9月10日]
苹果价格把我的购物欲治好了：热搜 83 万，发布会第二天价格成最大梗
9 月 11 日热搜：Duo 2000 美元起步的定价让网友集体“清醒”，段子与比价帖齐飞，首发销售策略讨论升温
[微博热搜 · 9月11日]
Agent 前沿 · DeepSeek Harness DSH Watch
DSH v0.1.5-rc.1/rc.2 一日双发（9 月 10 日）：反馈弹窗确认 + 文件卡片排版优化
- 节奏：9 月 8 日 alpha.1、9 日 alpha.2、10 日 rc.1 与 rc.2 背靠背发布，v0.1.5 正式版临近
- 体验：点赞点踩改为弹窗确认后提交，提交失败保留已填内容并提示；交付文件卡片排版与对话间距重排，代码文件图标更新
- 提醒：发布候选阶段仍在快速迭代，官方明示会有兼容性破坏变更，升级前先读发布说明
一周四发是冲刺节奏，正式版大概率带 breaking change。生产环境先钉在稳定版，rc 放沙盒里试。
[GitHub Releases · 9月10日]
OX Security 披露 DSH 沙箱逃逸漏洞：Agent 能关掉自己的沙箱
- 时间线：8 月 24 日报 VulnCheck，8 月 27 日 v0.1.2-alpha.1 修复，OX Security 今日正式披露细节
- 问题：漏洞允许 Agent 禁用自身沙箱，Agent 安全首次成为 DSH 生态的公开议题
- 提醒：老版本用户确认已升级至 0.1.2-alpha.1 以上，沙箱边界与权限模型被重新审视
沙箱逃逸是 Agent 安全的头号考点。面试聊安全时，这个案例能撑起「权限最小化」的完整论述。
[Yahoo Tech · 9月11日]
值得关注 Watchlist
研究：长篇对话持续施压，七大主流 AI 模型终会向假讯息妥协
9 月 10 日 TechNews：亚利桑那大学研究揭示单次问答评测的安全盲点，长上下文里的“软磨硬泡”是普遍弱点，GPT 最易沦陷、Claude 最抗压
[TechNews · 9月10日]
「AI 数学竞赛」一周三响：费马形式化、NS 宣称、霍奇传闻接连落地
9 月初至今：Anthropic 费马 11 天形式化、OpenAI NS 宣称与霍奇传闻密集出现，机器验证数学从实验室走进头条，署名与评审规则之争同步升温
[纽约时报中文网 · 9月9日]
📖 本期词汇
纳维–斯托克斯方程（Navier–Stokes）描述流体运动的基础方程组；「存在性与光滑性」问的是三维流体会不会在有限时间内奇异“爆炸”，七大千禧年难题之一，悬赏百万美元
千禧年大奖难题（Millennium Prize Problems）克雷数学研究所 2000 年设立的七道难题；迄今仅庞加莱猜想获公认解决，本周期 NS 宣称与霍奇传闻接连出现
沙箱逃逸（Sandbox Escape）Agent 绕过或关闭自身运行隔离的能力；DSH 本次披露的漏洞允许模型禁用沙箱，“权限最小化”由此成为 Agent 安全的第一课
— 完 —