ARTICLE · 1137391
AI晚报 | 722篇数学手稿堆上GitHub,验收成了瓶颈
AI晚报 | 722篇数学手稿堆上GitHub,验收成了瓶颈722 篇手稿、372 个结果族，在仓库里躺了一天，状态仍是「已公开、未确认」。今晚 8 条：数学界怎么消化这批成果、Claude 钻进谷歌全家桶、个人智能体有了第一份行业协议，外加假期最后一个交易日的港股收盘。1. 10月7日凌晨｜722 篇数学手稿：数学界的第一反应是「谁来验收」OpenAI 把一个未发布内部模型产出的 722 篇数学手稿放上 GitHub，归入 372 个结果族、覆盖 17 个数学分支。一天下来的盘点显示：约 50 个族是证伪或反例——一些流传半个多世纪的猜想是被推翻而非证明；137 个族还在等 Lean 形式化文件，OpenAI 在说明里承认，未形式化的结果「可能存在问题」。罗格斯大学教授 Kontorovich 说，单看准黎曼那一项，若由人类做出，够拿菲尔兹奖。两个月前，OpenAI 公开的是 10 道长期未解问题、附 249 页证明；现在是一次 722 篇。生成在提速，验收没有。2. 10月7日凌晨｜Claude 进了谷歌全家桶Claude for Google Workspace 在所有付费计划开启公测。装上插件，Claude 以侧边栏出现在 Docs、Sheets、Slides 旁边，读取当前打开的文件就地编辑：文档里改写段落、表格里写公式建透视表还能调 Python、幻灯片按既有版式建新页。默认「编辑前确认」，每次改动先给卡片预览；配套连接器还支持从 Claude 对话里直接创建和编辑谷歌文件。3. 10月7日凌晨｜Meta 拉上沃尔玛、Stripe，给个人智能体定规矩Muse 走红一个月、又被亚马逊屏蔽之后，Meta 与 Sierra 牵头发布开放标准「个人代理协议」，沃尔玛、Stripe、Shopify、Genesys 等在列。标准要解决的问题是：企业能分清来的是 AI 代理还是真人，代理在企业系统里做了什么，可见、可控。牵头制定这份协议的是 Sierra 联合创始人 Bret Taylor，他同时担任 OpenAI 董事长，等于代理和企业两边的人都坐到了同一张桌前。4. 10月7日0时｜谷歌放出 EmbeddingGemma 2，740M 参数装下五种模态文本、代码、图像、视频、音频，统一映射到 768 维嵌入空间；模块化编码器按需加载，参数 270M 起步。支持 Matryoshka 表示学习，向量可动态截断到 128 维，向量库的存储成本随之下降。谷歌主打的场景是端侧：MediaPipe 跨平台集成，LiteRT 兼顾 CPU、GPU 和 NPU。5. 10月7日凌晨｜OpenAI 与 Atlassian 扩大合作，GPT-6 驱动 Jira 背后的智能体新协议下，GPT-6 Astra 与 GPT-5.6 系列为 Atlassian 全平台及 Rovo 智能体提供能力，结合 Teamwork Graph 这层企业上下文理解一家公司实际怎么运转。Atlassian 已有 3000 多名开发者在工作流里使用 Codex，这次扩容顺带把合同场景的实测数据摆了出来：Ironclad 的 11 项合同任务上 GPT-6 Astra 拿到 55 分、GPT-5.6 Sol 拿到 41.6 分，新模型完成同样任务花的时间大约只有旧款的一半。6. 10月7日凌晨｜Anthropic 开放最强模型做攻击性测试：电网、银行、航班系统扩展版 Cyber Verification Program 与美国政府合作，经验证的安全机构可使用 Claude Opus 5.5、Sonnet 5.5、Mythos 5.1 及未来新模型，对关键基础设施的防御系统开展高风险攻击性测试——模型不先开放给普通公众，而是先交给拿着靶子做防御演练的安全机构。7. 10月7日凌晨｜沃伦限期白宫 10 月 19 日交底：AI 监管框架被谁改了民主党参议员沃伦与布卢门撒尔致信财长贝森特、商务部长卢特尼克等人，要求披露 6 月行政令出台前科技行业与官员的会议和通信记录，说明制定框架时是否咨询过独立评估机构，并详述部署前测试流程；信中点名扎克伯格在白宫 AI 协议制定中的核心作用。同一天，一名共和党参议员致信 Anthropic CEO，警告不要对 AI 危言耸听。两党都在写信，方向相反。8. 10月7日收盘｜港股：恒指跌 0.62% 报 24130 点，节前获利回吐连涨两日后回调，恒生科技指数跌 0.68% 报 4194.49 点，主板成交 947 亿港元。科技股中小鹏、理想、蔚来领涨，MINIMAX、智谱、华虹宏力领跌。南向资金明日恢复，A 股同日复市。
今晚就这 8 条。DeepSeek 至少 800 亿元的新融资、AMD 2027 年大幅增供芯片、OpenAI 给欧盟文字加水印——这些事发生在 10 月 6 日，已收录于今晚的飞书卡片版。数据截至发稿前。