OpenAI 又被曝出接近解开一道千禧年难题。同一天，Figure 让机器人在 30 户陌生家庭里，把成功率从 9% 拉到了 56%。
① OpenAI 被曝接近解决 Hodge 猜想，第二道千禧年难题
来源：The Decoder
据报道，OpenAI 正接近解决 Hodge 猜想。它是七个千禧年大奖难题之一。
问题本身一句话能说完。几何图形的性质，能不能用更简单的代数构件描述出来。
员工预计很快就有结果。但公告可能往后压一压。
原因不复杂。上一道 Navier-Stokes 的解法，惹了不小麻烦。
据说那次动用了代号 Doug 的新版预训练模型。成本可能到几百万美元。
数学界的反应不算好。更多是不满，不是佩服。
点评
爆料的时间点挺微妙。上一道题还没收尾，第二道就冒出来了。
Navier-Stokes 那次，功劳和争议是捆在一起来的。
有人指认 Lean 形式化的内容抄了别人的工作。Buckmaster 的争议到现在没散。
所以这回 OpenAI 选择压公告，可以理解。
真正的难题不在“能不能做出来”。在“做出来之后，数学界认不认”。
② Figure Helix 2.5：机器人预训练也吃缩放定律
来源：Figure / Rohan Paul
Figure 发布 Helix 2.5，一个端到端机器人模型。
测试场地是湾区租来的 30 户家庭。机器人没在这些家里训练过哪怕一次。
结果是零样本家庭任务成功率从 9% 涨到 56%。六倍多。
评分标准还特别严。整段任务必须干完，没有部分分。
Figure 的结论是，LLM 那套缩放定律同样适用于视频数据的机器人训练。数据越多，真机表现越好。
点评
六倍提升这句话，放在家庭场景里分量很重。
实验室里摆积木容易。真人家里的意外太多。
床单厚度、宠物、杂物堆、光线，全都不在训练集里。
而且打分不给部分分。说明是真干完了，不是干了一半。
这条曲线的意义比数字大。如果数据真能换性能，机器人赛道接下来拼的就是谁搞得到视频。
③ Meta 发布 Muse for Mac：智能体直接上手你的电脑
来源：AI at Meta / Alexandr Wang / 扎克伯格
Meta 推出 Muse for Mac，一个独立的 macOS 智能体应用。
它能整理下载文件夹、找回丢失的文件、总结消息和笔记。
扎克伯格和 Alexandr Wang 同一天发了同一条消息。
权限由用户控制。执行敏感操作前会先问一句。
目前只在美国上线。
点评
关键词是“独立应用”。Muse 不再只是 Meta AI 里的一个入口。
这是一步进桌面。办公场景里最值钱的位置，就是文件系统和消息。
有意思的是节奏。Anthropic 刚把 Docs 和 Slides 塞进对话，Meta 就上了桌面端。
两家都在抢同一个位置。不是回答问题，是替你动手。
至于隐私，官方只说了“敏感操作会问”。这句话能落到多细，还得看实测。
④ OpenAI 把 GPT-6 Astra 送进律所：Astra for Law
来源：Greg Brockman / OpenAI
OpenAI 发布 Astra for Law，面向律所和法律科技公司。
底座是 GPT-6 Astra。上面接的是法律检索索引、法律分析和写作指令。
覆盖美国判例法、法规、法院规则和行政裁决。230M+ URL，每天更新。
配套 26 个合作方插件，外加 47 个社区插件。
官方说，法律研究正确率从 38.7% 提到了 54%。
点评
把数据隐私单拎出来当核心功能，说明 OpenAI 清楚这行的顾虑在哪。
38.7% 到 54% 是个诚实数字。涨得不少，但离“替代初级律师”还差得远。
真正的门槛不在检索，在责任。律师签了字的意见，不会因为 AI 说对就免责。
所以这东西更可能是加速器，不是替代品。
⑤ 27B 模型压到 5.9GB：PrismML 的 Ternary Bonsai 2
来源：Hacker News / PrismML
PrismML 发布 Ternary Bonsai 2 27B。基座是 Qwen3.8 27B。
做法是三值权重加 FP16 分组缩放。折算下来每权重 1.76 bit。
模型体积 5.9GB。比全精度版本小了 9 倍多。
综合基准拿了 83.9 分，保留全精度模型 98.2% 的性能。
Apache 2.0 开源，能直接在 PC 上跑。
点评
98.2% 这个数得打个折看。综合基准的均值，最容易被压缩技术照顾。
真正要看的是长链推理和代码这类任务，掉不掉分。
但方向是对的。能本地跑的模型越大，云端推理的定价权就越弱。
对做端侧产品的团队，这是好消息。
今日还值得关注的：
- 纽约时报案解封文件曝光：微软高管在内部把大模型训练数据称作“人类历史上最大规模的劳动窃取”，还提到会引发摧毁整个 web 的 doom loop。文件显示 Bing 上被窃取新闻站的点击量掉了九成以上。OpenAI 曾绕过纽约时报付费墙，内部自称是新闻业的存在性威胁。
- Anthropic 自曝内部数据：Claude 主导的模型研发任务占比，半年内从 1% 升到 26%。Claude 参与或主导超过 90% 的模型研发工作，内部智能体平台任意时刻约有 3 万个智能体在干活。Nathan Lambert 的评价是：透明度有进步，但没回答 RSI 到底在发生什么。
- Google 联合联合国推出 UN System Data Commons：把联合国系统分散的统计数据集统一起来，支持自然语言提问和 MCP 等开放标准，AI 智能体可直接抓权威数据生成图表和信息图。取代原来的 UNData 门户。
- AI 首次拿下 Metaculus Cup 季节赛冠军：9 月 5 日的比赛，AI 排第一，另外两个 AI 拿第二和第五，第三、四名归人类。经济学人报的。
- Exa 发布 Snapshot：4000 亿张历史网页快照的索引，能按“过去某个状态”搜网页。已用于预测模型回测和实验室 RL 训练。
- GitHub 把运行时重写成 Rust：用 Copilot 智能体，14.5 周把 Copilot agent runtime 从 TypeScript/Node.js 换成 832,378 行生产 Rust，128 个 PR 增量合入 main。
- ChatGPT in Word 向全部套餐开放：包含免费版，有用量限制。Business 和 Enterprise 能拿到 GPT-5.6 Sol 的两周免费预览。
- Bend 语言发布：在 LAWS.bend 里声明法则，要求 AI 提交证明，违反法则的代码数学上合不进去。宣称单核接近 C 速度，同一个二进制还能跑 GPU。
- FAA 掏 8.75 亿美元上 AI 空管：软件叫 Smart，全称 Strategic Management of Airspace, Routes and Trajectories，12 年合同。
OpenAI 在解千禧年难题。Figure 在让机器人干活。Meta 在接管你的桌面。
三条线都往同一个方向走：把判断权交出去。
你最不放心哪一件？