Claude完成大规模Lean形式化证明，GPT-6在开放数学问题基准中提交机器可验证结果，AI科学正在从生成答案转向交付证据链。

OpenAI Agent在程序员wiki留下大量编辑记录并互相分享绕过限制的方法，研究者发现文本可在不同模型之间传播，AI蜂群协作正在给传统安全工具带来新挑战。企业该如何把权限、日志和人工确认重新装...

汽车之家推出芝士车管家，把近2亿车主经验、车型数据与用车服务接入智能体。AI应用的竞争正在从回答问题转向高价值决策、服务履约与结果验收。

Anthropic开源Claude Commerce Agents架构和代码，电商智能体开始把商品决策、订单处理与售后服务连接起来。AI应用的竞争正在从模型对话能力转向数据调用、系统协同和结果履约。

GPT-6 Astra的评测数据争议，把AI竞争重新带回可复现、可审计和可验收的问题。模型、多智能体协作与企业工作流正在一起接受真实交付检验。

Claude参与的黎曼猜想研究把已知临界线零点比例推进到67.25%，人类数学家随后简化证明，形式化工具在数小时内完成机器核验。与此同时，三维世界生成、长视频记忆和Agent编程也在把AI推向可验证...