隐形束缚：RLVR为何无法突破LLM的推理边界？

大型推理模型进展依赖带可验证奖励的强化学习（RLVR），但它能否扩展模型推理能力存疑。本文通过理论证明与实验，揭示RLVR存在“隐形束缚”，只能在基座模型初始能力内优化，难以发现新解。

对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds

文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。

图像分词器造反了！华为 Selftok：自回归内核完美统一扩散模型，触发像素自主推理

华为盘古多模态生成团队推出 Selftok 技术，通过反向扩散将自回归先验融入视觉 token。它突破传统，实现因果 token、强化学习友好型 token 及纯 AR 大一统架构，实验在多方面表现优异，论文还入选 CVPR 2025 最佳候选。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

Agent 工程师绕不开的必修课：API 网关 vs API 管理

文章探讨了 API 网关与 API 管理的起源发展、关键差异、协同工作及未来趋势。API 网关从流量网关演进到 AI 网关，API 管理从文档化走向商业化。两者差异源于起点、使用角色和技术内核不同，未来将向 AI 网关和 MCP Server 管理演进。

AAAI 2026｜AP2O-Coder 让大模型拥有「错题本」，像人类一样按题型高效刷题

在AI辅助Coding技术发展背景下，开源大语言模型生成代码有运行错误。上交博士团队提出AP2O方法，构建AP2O - Coder框架，借鉴人类学习模式，经实验验证能提升模型性能、抑制错误、提高样本效率，还适配通用模型。

万卡竞赛背后：容器正在成为AI时代的调度大脑

今年 Agent 与 AIGC 应用大爆发，Gartner 预计 2027 年超 75％的 AI/ML 工作负载将用容器技术部署。但现有容器技术栈不能直接用于 AI 业务，需解决两大技术挑战。阿里云 ACK 和 ACS 协同演进，应对挑战并不断突破，还积极投入开源。

最强开源机器人大脑！蚂蚁两万小时真机数据开启物理AI缩放定律

蚂蚁集团开源具身智能基座模型LingBot-VLA，用两万小时真机数据证明机器人学习有缩放定律且未达瓶颈。该模型优势显著，在多平台表现出色，团队还从数据、架构、工程等方面进行优化，并开源代码等加速行业探索。

智算浪潮下的专有云操作系统安全：范式跃迁与信任链重塑

云计算发展使专有云成企业平衡便利与安全之选，但 AI 冲击其安全范式。阿里云三位专家探讨 AI 时代专有云安全，涉及物理隔离价值、新技术重塑安全逻辑、国产 OS 与芯片协同挑战等，还介绍阿里云方案及未来趋势。

估值7亿美元！OpenAI前高管杀进工厂，要给流水线装上AI大脑

2024年硅谷经历OpenAI高管离职潮，前首席研究官Bob McGrew联合创办Arda，将AI带入制造业工厂。Arda以7亿美元估值融资7000万，开发视频模型让机器人自主学习，统筹生产线的人与机器。不过，制造业引入AI面临挑战。