OpenAI:GPT-5.6一小时解开50年数学猜想,700词Prompt驾驭64个子Agent
AI SummaryOpenAI 的 GPT-5.6 使用 64 个子 Agent 在一小时内证明了循环双覆盖猜想,并公开了详细 prompt 技巧。
解读多 Agent 并行与精确 prompt 设计是解决复杂数学问题的关键,而非单纯模型能力提升。
EDITORIAL BRIEF
今天筛出 9 个事件:大厂动态 5 条,技术进展 2 条,行业观点 2 条;另读 Hugging Face Papers 5 篇。
AI 公司动态 · 模型发布 · 新业务 · 融资投资 · 人员变动
AI SummaryOpenAI 的 GPT-5.6 使用 64 个子 Agent 在一小时内证明了循环双覆盖猜想,并公开了详细 prompt 技巧。
解读多 Agent 并行与精确 prompt 设计是解决复杂数学问题的关键,而非单纯模型能力提升。

AI Summary月之暗面将K2.7 Code高速版模型结束Beta,正式成为Kimi Code常驻可选模式,输出速度约为普通版5-6倍,用量消耗为3倍,价格为2倍。
解读高速版与普通版同模型,通过推理优化提速,本质是工程能力而非模型能力提升。

AI SummaryMeta 推出 Muse Image AI 功能,允许用户用公开 Instagram 账户生成图像,因隐私争议和工会批评,上线数天后宣布下架。
解读产品快速上线又撤回,暴露 AI 功能与用户隐私控制的冲突,Meta 在用户信任上再次失分。
AI Summary腾讯被传洽购AI Agent公司Manus,以约20亿美元估值从Meta回购全部股权,知情人士称腾讯将保留少数股东地位,不会控股。
解读腾讯以少数股东身份介入Manus,表明其AI Agent布局更倾向于生态合作而非全面控制。
AI Summary智谱CEO唐杰发内部信,称不追求短期变现,聚焦长程任务、自治智能体、自我进化与安全治理;市值半年涨10倍,跻身万亿港元俱乐部。
解读市值暴涨后发内部信定调长期AGI路线,本质是战略宣言,而非产品发布。
Hugging Face · 技术报告 · 论文 · Benchmark · RL 研究
逐篇读取当天 paper 页面,由 deepseek-v4-flash-260425 生成中文摘要。
AI Summary提出Video-Oasis诊断套件,发现55%的现有基准样本无需视觉或时间上下文即可解决,过滤后SOTA模型仅略高于随机猜测。
AI Summary提出RCORE方法,通过共现先验正则化和时间顺序正则化,减少模型对对象标签的依赖,提升组合泛化能力。
AI Summary提出利用预训练视频扩散先验,联合处理事件相机视频重建、预测和帧插值,解决长序列漂移问题。
AI Summary首个能力驱动的真实世界主动智能体基准,通过细粒度检查点和多轮反馈评估模型与框架的联合表现。
AI SummaryGoogle DeepMind 评估了 Gemini 2.5 Flash、3.5 Flash 和 3.1 Pro 作为全双工语音代理音频评判器的可靠性,发现 2.5 Flash 在多数维度与人类评分接近,但模型替换需。
解读用模型评估模型是成本优势,但校准迁移不可靠,需逐维度验证。
AI SummaryAirbnb 工程师详细介绍了 Sitar-agent 的架构,这是一个 Kubernetes sidecar,用于将动态配置更新分发到数万个 Pod 中,并分享了从 Sparkey 迁移到 SQLite 等现代化改。
解读Airbnb 的 sidecar 配置分发方案在工程上扎实,但本质是成熟基础设施的渐进改进,并非突破性创新。
X 大 V · YouTube / Podcast · Builder 观察 · 开发者讨论
AI Summary智谱创始人唐杰发布内部信,宣布开启“Touch High摸高计划”,继续聚焦AGI研究而非短期商业变现,并计划投入百亿级资源攻坚机械可解释性。
解读智谱上市后选择逆行业趋势重注AGI长程研究,是战略定力也是风险赌注。

AI SummaryAnthropic已锁定超11GW算力,Meta和SpaceX出售多余算力,但文章认为算力过剩是伪命题,实际可交付算力仍紧缺。
解读算力过剩是伪命题,本质是算力错配和交付瓶颈,Anthropic的饥渴证明需求远超供给。