AI 日报 · 2026 年 10 月 10 日 · 星期六
AI 前哨
OpenAI 一次性发布近 400 条数学结果
OpenAI 本周突然发布近 400 条 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论等多个领域。数学家称需数年才能消化，100 多位研究者已就此作出反应。
前沿动态
The Verge · AIOpenAI 一次性发布近 400 条数学结果，数学家称需数年才能消化
OpenAI 本周突然发布近 400 条 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学及数学物理等多个领域。
微软发布 Decision-1 决策模型，主打快速决策评分
微软发布 Microsoft-Decision-1，一款面向路由、分类、优先级排序、验证和工作流控制的决策模型，已在 Microsoft Foundry 上线，并将通过 OpenRouter 提供。
工具与项目
web-github-trending阿里开源 AI 代码审查 CLI 工具 Open Code Review
阿里巴巴将内部使用两年的 AI 代码审查助手开源为 Open Code Review，这是一个 CLI 工具，读取 Git diff 后通过具备工具调用能力的 Agent 把改动文件发给可配置的 LLM，生成带行级定位的结构化审查意见，也可用 ocr scan 审查整个文件。
sqlite-multiwriter 发布：让 SQLite 支持并发写入
sqlite-multiwriter 是一个以 VFS 扩展形式加载的 SQLite 并发写入方案，不改 SQL、schema 和数据库文件，让多个连接同时写同一数据库。
实践与方法
作者用 ML Intern 两天做出六个小模型，总算力成本约 103 美元
作者在 HuggingChat 中开启 ML Intern，用自然语言描述需求，两天内做出六个模型，包括 0.8B 的 Pocket Rewriter、柑橘病害 VLM、Huggy 与相机角度 LoRA 等，总 GPU 与 CPU 算力费用约 103 美元。
AWS Machine Learning Blog一手Postman 如何在 Amazon Bedrock 上为 4000 万开发者运行 Agent Mode
Postman 与 AWS 复盘了 Agent Mode 在生产环境的架构：工具数量超过约 40 个后工具选择错误上升，因此用向量数据库把 170 多个工具按任务收窄到约 15 个，并交给上下文隔离的子智能体。
Asana 借 GPT-6 Astra 在 Codex 中把浏览器智能体测试成本降低 76 倍
Asana 使用 Codex 中的 GPT-6 Astra 优化其浏览器智能体，在测试中把成本降低 76 倍、速度提升 5 倍，目的是为客户提供能力更强的模型。材料仅提供摘要，未披露具体优化方法与测试条件。
观点与趋势
数学界回应 OpenAI 大规模数学成果发布：100 多位研究者的反应合集
Proofs and Prompts 博客汇总了 100 多位数学研究者对 OpenAI 于 10 月 6 日公布大量数学问题解法的反应，内容涵盖群论、拓扑、算子代数、算术几何等方向，作者包括 Terence Tao、Peter Scholze、Hugo Duminil-Copin 等。
行业动态
Cloudflare 收购 Deno，Deno 团队整体加入
Deno 创始人宣布整个 Deno 团队加入 Cloudflare，未来开发将转向与 Workers、Durable Objects 团队共建的平台，不再单独开发运行时和托管服务。