AI 日报：AlphaProof 解 9 道悬置 Erdős 问题，QGIS 封禁 AI 贡献

TheMoonMidas · x · 2026-10-13

@KrakowiakK 的每日 AI 简报（10 月 13 日），要点：

• Meta Muse Wonder：带 Active Memory 的 agent 模型，训练规模达吉瓦级
• AlphaProof Nexus：解决 353 个开放 Erdős 问题中的 9 个，其中 2 个悬置 56 年
• MiniCPM-V-4.7（中国）：35B MoE、3B 激活，Apache-2.0 开源，可端侧运行
• Reflex 人形机器人接箱子：仿真 85.7%，真实 G1 上 65%
• Fork-and-Flush：清空 agent 聊天上下文胜过堆算力，0.78 vs 0.47
• Codex CLI 0.157：后台 daemon 可在窗口关闭后存活，占用 374 MB
• Sakana MASS（日本）：模型从自身 agent 团队学习，对基础模型胜率 69.9%
• QGIS 禁止 AI 贡献：50 个 AI 辅助 PR 中 40 个被关闭未合并
• 白宫恢复英国 AISI 对 3 家实验室模型的发布前访问权限
• DiffusionART（中国）：同等奖励水平下视频扩散训练省 12 倍 GPU 时
• SoftwareGym（中国）：182 个合成 GUI 应用，OSWorld Pass@3 从 41.4% 提至 57.0%
• ProgramGym：1648 个可验证 C/C++/Go/Rust 环境，34.9% 提至 55.7%

原文链接 →

「漫话AGI」频道最新

• Musk 称审阅 Grok RL 日志如看超智能在高压下挣扎作答 — nikola_mr64990 · 2026-10-13
• Dario 预测 6-12 个月内 AI 可端到端完成软件工程师大部分工作 — tszzl · 2026-10-13
• React 团队 poteto:写作即思考,我从不让 AI 代笔 — andfanilo · 2026-10-13
• Pedro Domingos：机器学习终将吞噬一切建立在它之上的东西 — pmddomingos · 2026-10-13
• Gary Marcus 断言大 AI 公司没有可行商业模式 — GaryMarcus · 2026-10-13
• Tristan Harris 呼吁把「失控递归自我改进」划为红线 — austinc3301 · 2026-10-13

更多「漫话AGI」频道 AI 资讯 →