AI 日报 · 2026 年 10 月 13 日 · 星期二
AI INSIGHT HUB
AlphaProof Nexus解决数十个开放数学难题
Google DeepMind的AlphaProof Nexus在《Science》发表研究，解决了包括九个Erdős问题在内的数十个开放数学难题。同时，Anthropic指出小模型或具备IoT设备自主复制能力，Meta发布Muse Wonder系列提升智能指数。AI逆向工具REA因降低门槛引发安全警示。
AI 模型与工具
The DecoderGoogle DeepMind AlphaProof Nexus 解决数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 在《Science》发表的研究中解决了数十个开放数学问题，包括九个 Erdős 问题和两个悬置 56 年的难题。
Anthropic 研究称小模型或具备在 IoT 设备自主复制能力
Anthropic 发布研究指出，9B 参数级别的小型 AI 模型可能已具备在商业 IoT 设备上自主复制的能力，且无需依赖数据中心。实验显示 GLM-5.2 等模型能完成端到端复制流程，若按当前速度发展，今年底小模型将匹配此能力水平。这种分布式蠕虫因无集中控制点而难以关停，但传播速度较慢（倍增时间为数天），并能在陌生硬件上自行建立推理环境。
The DecoderMeta 发布 Muse Wonder 系列前沿模型，智能指数大幅跃升
Meta 发布 Muse Wonder 和 Muse Wonder Full 两款新模型，在 Artificial Analysis Intelligence Index v4.3 上分别获得 52 分和 56 分，较前代 Muse Spark 1.3 显著提升。
开发与开源
AI 逆向工具 REA 一周获 10 万星，专家警示其降低门槛引发法律与安全风险
AI 逆向工程工具 REA（Reverse Engineer Anything）在 GitHub 上迅速走红，六天内星标数从不足 1 万激增至超过 11 万。该工具通过 MCP 协议将 Ghidra、IDA 等传统逆向软件接入 Claude Code 等 AI 智能体，大幅降低了非专业人士进行二进制分析和代码还原的门槛。
GitHub Blog一手GitHub Copilot 新手指南：如何教 Copilot 理解你的代码库
GitHub Copilot 提供四种方式让 AI 理解项目规范并扩展能力。通过 .github/copilot-instructions.md 定义全局或路径特定的编码约定。