BarunLM用35M参数挑战小模型效率，清华VeriLoop Coder-E1把验证反馈引入代码模型自我改进，AI竞争正在从单纯扩大规模转向有效参数、可验证流程和真实应用闭环。

美团LongCat-2.0开源，把国产算力、万亿模型、推理成本和企业落地重新放到同一张竞争表上。

沙特HUMAIN基于MiniMax M3推出阿拉伯语大模型，英伟达推理指南、AI PC与数据系统等进展表明，AI竞争正从模型参数扩展到开源底座、推理效率和真实部署。

AI for Science 正从模型演示走向实验室流程，科研智能体和一站式工作台开始重写文献、实验、验证与复盘环节。

LLaDA 2.2、SearchOS、开源模型成本案例和世界模型进展同时出现，AI Agent 竞争正在从单次生成转向持续修正、系统调度和真实场景闭环。

阿里千问开源语言世界模型Qwen-AgentWorld，智能体竞争正在从模型能力转向环境训练、过程评测与执行闭环。