AI 日报 · 2026 年 10 月 13 日 · 星期二
AI 前哨
Google DeepMind AlphaProof Nexus 解出多个开放数学问题并登上 Science
Google DeepMind 的 AlphaProof Nexus 独立解出多个开放数学问题，相关研究发表在 Science 上。它解出 353 个 Erdős 开放问题中的 9 个，其中两个已悬置 56 年。同日，数学爱好者用 GPT-6 Astra 严格证明了摆圆难题中 N=15、16、17、18 和 20 这 5 种情形。
前沿动态
The DecoderGoogle DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并登上 Science
Google DeepMind 的 AlphaProof Nexus 独立解出多个开放数学问题，相关研究发表在 Science 上。它解出 353 个 Erdős 开放问题中的 9 个，其中两个已悬置 56 年，还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题，并改进了 min-max 优化中的一个已知界。
TechCrunch · AIMeta 发布首个前沿模型 Muse Wonder 与 Muse Wonder Full
Meta 的 Superintelligence Lab 发布 Muse Wonder 和 Muse Wonder Full 两款模型，这是该公司首次推出前沿模型。
Anthropic 研究：小模型或可在无数据中心条件下自我复制
Anthropic 发布研究，把自主复制拆成寻找目标、获取执行、建立推理、继续传播四步，重点测试小模型能否在陌生硬件上部署推理。实验中 Gemma4-26B-A4B 分布在 15 台约 55 美元的杂牌 Android TV 盒子上运行，速度约 0.39 tokens/s；9B 模型在 9 类硬件中的 8 类成功跑起推理。
数学爱好者用 GPT-6 Astra 证明 57 年摆圆难题 N≤20 剩余情形
数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情形，此前只有 N≤14 和 N=19 得到验证。模型的核心思路是通过几何约束把无限多种排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列已是最优。nor 表示自己的贡献包括确定问题可行性、引导模型、手动验证有效性，并用 Astra 和 Opus 5.5 重新检查所有内容。
arXiv · cs.AI一手LongHarness：用状态化证据管理让智能体推理百万级 token 语料
LongHarness 是一个模型无关的 harness，通过证据与结论协同演化机制，用未解决的结论引导检索、用新证据修正结论，并配合证据生命周期管理保持证据可追溯。
工具与项目
web-github-trending微软发布 bitnet.cpp 1-bit LLM 推理框架及 BitNet b1.58 系列模型
微软开源 bitnet.cpp，这是面向 1-bit LLM（如 BitNet b1.58）的官方推理框架，提供在 CPU 和 GPU 上快速无损推理的优化 kernel，NPU 支持后续推出。
AWS Machine Learning Blog一手在 Amazon Bedrock 上用全球跨区域推理调用 OpenAI GPT-6 模型
AWS 发布教程，介绍泰国、马来西亚、新加坡、印度尼西亚和台湾的团队如何通过 Amazon Bedrock 的 global cross-Region inference 调用 OpenAI GPT-6 Sol、GPT-6 Luna 和 GPT-6 Astra，其中 Astra 仅从亚太（新加坡）区域提供。
AWS Machine Learning Blog一手如何在 Amazon SageMaker AI 上用 llama.cpp 部署决策模型
AWS 发布教程，介绍用 AWS DLC for llama.cpp 在 Amazon SageMaker AI 上部署决策模型，先通过 InvokeEndpoint 提供 OpenAI 兼容的 chat completions，再用 SemIf 适配器返回声明选项上的概率而不生成答案 token。
行业动态
NVIDIA 在 OCP 峰会开放 Vera Rubin 架构并发布 MGX 1.2 与 DSX OS 开源组件
NVIDIA 在 OCP Global Summit 上通过开放 MGX 架构向 OCP 贡献 Vera Rubin 机架和计算托盘设计，并发布 MGX 1.2 规范，新增机架级盲插液冷、可互操作机架级互连和面向高功率 AI 系统的液冷 5,000A 母线，支持最高 250kW 机架部署。