AI早报 2026-10-29：GitHub合并PR三月翻三倍 / Axiom用Agent集群形式化CFSG / 开源闭源差距扩至12分

每日AI大事晨间速递 · Oct 29, 2026

GitHub Octoverse 2026发布：合并PR不足一年翻三倍至每月2.2亿次，提交73.8亿次/月，新仓库3030万/月翻倍，报告直接被命名为"开发者用Agent构建"——agentic engineering第一次进入全球开发者基础设施的年度体检。同日Axiom宣布其Agent集群在24天内产出约5000万行Lean代码，完成"有限单群分类定理"的完整自动形式化；原证明约15000页、跨500多篇论文、100多位数学家，Agent认领任务、互相评审、GitHub合并，人类只做方向引导，并顺手修掉数百处errata，取代四色定理成为人类最大机器可验证证明。同日OpenAI称在调和分析、复杂度理论、量子场论有新结果，Anthropic称Claude独立反驳ETH，PSI推进五个开放量子物理问题。Artificial Analysis发布Intelligence Index v5，60%来自私有或留出集，开放权重与闭源顶尖差距从3分扩大到12分：Claude Opus 5.5居首58，GPT-6 Astra 57，最好的开放权重Kimi K3.1 Pro 46（权重未发），DeepSeek V4.1 Flash与GLM-5.3仅32分，低于Claude Haiku 5.5的36。Anthropic招聘经理Felix…