AI 日报 · 2026 年 10 月 13 日 · 星期二
YUYUNEWS
DeepMind AlphaProof Nexus 解决数十个未解数学难题
Google DeepMind 的 AlphaProof Nexus 独立解决数十个未解数学难题，相关成果已通过同行评审并发表于《Science》。Meta 推出重点强化复杂编码与主动记忆的前沿模型 Muse Wonder 系列。此外，Linus Torvalds 借助大模型提升补丁代码可读性，排查出 Linux 内核长期存在的 Bug。
模型发布/更新
TechCrunch · AIMeta 发布前沿模型 Muse Wonder 与 Wonder Full
Meta 发布前沿模型 Muse Wonder 与 Muse Wonder Full，重点强化复杂编码和被称为主动记忆的跨周期信息留存能力。Wonder 通过 Meta Model API 接入，价格为每百万输入 token 4.00 美元、输出 token 20.00 美元；Wonder Full 则仅向 Muse Code 订阅者开放，两款模型均用于支持 Muse agent。
行业动态
NVIDIA 向 OCP 开放 Vera Rubin 架构设计并推出多项 AI 工厂开放标准
NVIDIA 在 OCP 全球峰会上宣布通过 MGX 架构向 OCP 贡献 Vera Rubin 机架与计算托盘设计，并联合多家厂商发布下一代 AI 工厂基础设施规范。
论文研究
The DecoderGoogle DeepMind 的 AlphaProof Nexus 解决数十个未解数学难题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 独立解决数十个未解数学难题，相关研究已发表在《Science》并通过同行评审。该系统破解了 353 个未解 Erdős 问题中的 9 个，证明了 OEIS 的 44 个猜想，并解决了一个代数几何开放问题及改进了极小极大优化已知界限。
技巧与观点
Linus Torvalds 使用 AI 提升代码可读性并排查出 Linux 内核长期 Bug
Linus Torvalds 在使用 Claude Code 优化 Linux 内核后，继续借助大模型提升补丁代码的可读性，并在此过程中发现了内核中长期存在的 Bug。除辅助生成初始补丁和测试程序外，他公开肯定了 AI 在梳理复杂代码与排查潜在漏洞方面的实际效用。
GitHub Blog · AI & ML一手GitHub Copilot 新手指南：如何让 Copilot 学习你的代码库规范
GitHub 官方发布新手指南，介绍通过自定义指令、Agent 技能、自定义智能体以及 MCP 服务器四种机制为 Copilot 提供代码库上下文。开发者可通过根目录或特定路径的 Markdown 文件固化架构规范，在 skills 目录封装测试等重复流程，或创建专用智能体处理复杂多文件任务，并接入 MCP 工具扩展外部操作能力。