英伟达揭示RL Scaling魔力！训练步数翻倍=推理能力质变，小模型突破推理极限

学界对强化学习能否让模型学会新推理技能争论已久，过去研究多悲观。英伟达研究指出，问题源于任务在基础模型训练数据中过度呈现及训练步数不足。其ProRL框架提升训练步数，释放小模型潜力，还构建技术组合拳。

通义团队提出环境Scaling：自动构建环境，并自主学习和成长，可让30B比肩1T效果

阿里巴巴通义实验室团队论文提出通过程序化、自动化构建模拟环境，让语言模型自主交互学习。基于此训练的AgentScaler模型，数十亿参数就达万亿级模型性能，为轻量级代理智能发展带来新可能。

对话百度文库：不做大模型能直接做的事，能力积累换来竞争壁垒｜AI产品Time

百度文库从文档检索平台转型为一站式AI内容获取和创作平台，付费用户超4000万，AI MAU近亿，智能PPT访问量全球第一。访谈中，负责人分享产品理念、优势及运营经验，如不走大模型能直接做的事，从用户需求出发开发功能等。

扎克伯格炮轰苹果缺乏创新，并千万美金年薪狂招AI 人才

Meta为组建「超级智能」团队，开出超1000万美元年薪，扎克伯格亲自下场。还计划148亿美元收购Scale AI 49%股权。此外，扎克伯格炮轰苹果缺乏创新，业界对此看法不一。

硅谷AI圈变天！OpenAI弃微软转投谷歌，LeCun被边缘小扎组队血战复仇

OpenAI抛弃微软，与谷歌达成云服务协议，重塑AI竞争格局。Meta的Llama 4表现不佳，扎克伯格亲自组队50人，斥资150亿收购Scale AI，誓要做出AGI，硅谷AI圈风云骤变。

多模态BUG修复新SOTA：慕尼黑工大GUIRepair登上SWE-bench Multimodal榜单第一

自动化修复软件缺陷是长期目标，多模态问题修复受关注。慕尼黑工业大学团队提出GUIRepair，融合APR与GUI Testing知识，登上SWE - bench Multimodal榜单第一，为多模态软件自动修复开辟新路。

刚刚，蝉联Future X全球榜首的MiroMind发布全球最强搜索智能体模型

由陈天桥和代季峰联合发起的 MiroMind 团队，于 1 月 5 日发布自研旗舰搜索智能体模型 MiroThinker 1.5。该模型参数规模小但性能强，其核心是「发现式智能」理念，还采用了新训练技术，有 A 股涨停板预测等应用。

小扎豪掷143亿美元赌新「王」！28岁华人亿万富翁入职Meta，与谷歌决裂

Meta豪赌143亿美元，扎克伯格押注28岁天才Alexandr Wang掌舵超级智能项目。Alexandr宣布离任Scale，谷歌强烈反对并终止合作，此举或引发AI行业大地震。

对话阶跃星辰段楠：“我们可能正触及 Diffusion 能力上限”

阶跃星辰段楠指出当前视频生成技术或触天花板，真正有深度理解能力的模型尚待突破。他预测未来1 - 2年视觉领域基础模型有望出现，还分享视频生成及多模态AI未来核心洞察。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。