跳到正文
10月12日周一
  1. The Decoder75

    Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并成功通过同行评审

    Google DeepMind 的 AlphaProof Nexus 解决了 353 个开放 Erdős 问题中的 9 个,其中两个已悬置 56 年。该系统基于 Gemini 3.1 Pro 构建,使用 Lean 语言进行形式化证明,并额外证明了 44 个 OEIS 整数序列猜想,解决了代数几何中的一个开放问题,改进了用于训练某些 AI 模型的 min-max 优化技术的已知边界。

  2. 量子位85

    华为诺亚方舟实验室发布Memento 3 AI系统,实现游戏操作效率超越人类56%

    华为诺亚方舟实验室联合UCL等团队开发的Memento 3 AI系统,在ARC-AGI-3的25款游戏、183个关卡中取得满分100分的RHAE成绩,操作次数比人类少56%。该系统以Claude Opus 5为底模,通过Code as Model方法实现递归自我改进,无需更新模型权重或微调即可通关。研究团队还让该系统挑战Atari Pong游戏,在掌握规则后无需调用大模型即可连续三局21:0获胜。

    推荐理由:华为团队提出基于世界模型的递归自我改进方法,在不更新模型权重的情况下实现游戏AI性能大幅提升。

  3. 华尔街见闻85

    微软发布基于阿里Qwen的决策模型Microsoft-Decision-1

    微软于10月12日推出基于阿里Qwen3.5-9B后训练的决策模型Microsoft-Decision-1,在结构化决策任务中时延和准确性超过LLM及Jev 1.13.0等模型。该模型已在微软内部处理超过1万条玩家反馈,并在事件响应、质量控制、科学发现等领域进行测试,测量速度是亚军模型的2.5倍,GPT-6 Sol的35倍,输入代币成本为每百万代币0.042美元。

10月11日周日
  1. 量子位85

    何恺明团队发布多模态VISTA框架

    何恺明团队在论文《VISTA: A Visual Harness for Reasoning in an Interactive World》中提出视觉原生的Harness框架,让多模态模型直接观察环境、保存原始画面并在推理时回看细节。

    推荐理由:VISTA框架让多模态模型无需训练即可保存和回看视觉信息,在ARC-AGI-3等评测中表现优异。

  2. 量子位85

    OpenAI发布挂谷猜想四维证明论文

    OpenAI发布两篇数学手稿,分别声称证明了三维挂谷极大函数猜想和四维挂谷猜想,将王虹和Zahl的工作扩展到四维。这些论文未经同行评审和形式化验证,引发了数学界对AI研究方式的激烈争议。

    推荐理由:原文展示了AI在数学领域的突破性进展及其对人类数学研究的冲击。

  3. IT之家75

    华为 × 华东师大联合研发时序预测基础模型登顶国际权威时序测评双榜单

    华为与华东师范大学联合研发的昇腾原生时序预训练模型成功登顶国际权威时序评测榜单 TIME-leaderboard 和 GIFT-Eval(Pretrained 类目),标志着国内时序基础模型正式跻身全球第一梯队。该模型基于华为昇腾生态打造,具有高精度、高鲁棒性、高通用性和易工程化特点,可直接用于各类零样本时序预测任务,也支持低成本二次微调适配垂直行业需求。

  4. The Decoder75

    Odyssey 发布可免费试用的世界模型 Odyssey-3

    加州 AI 公司 Odyssey 发布其世界模型 Odyssey-3 的公开研究预览版,用户可通过文本提示生成交互式环境并实时探索。该模型基于自回归扩散 Transformer 构建,具有 140 亿参数,在 Physics-IQ Verified 基准测试中得分为 66.1 分,已被应用于机器人控制、无人机导航和游戏 AI 等场景。

10月10日周六
  1. The Decoder85

    OpenAI批量解决数学问题引发数学界震惊与反感

    OpenAI于2026年10月6日一次性发布700多篇手稿,声称解决了数百个开放数学问题,引发数学界强烈反应。多位数学家表示震惊、反感与担忧,包括菲尔兹奖得主Peter Scholze和Terence Tao等。一些专家对结果印象深刻,但也有论文被撤回,部分内容难以理解。数学家们担心AI将改变数学研究本质,威胁学术生态,年轻研究者尤其感到焦虑。