「智能效率」共找到 4374 篇相关文章
谁在赚钱，谁爱花钱，谁是草台班子，2025 年度最全面的 AI 报告
Nathan Benaich发布《State of AI Report（2025）》，如AI全景地图，覆盖研究、行业等领域。2025年AI业务赶上炒作，模型竞争激烈，开源、智能体等发展显著，还对未来一年AI发展作出预测。
自搜索强化学习SSRL：Agentic RL的Sim2Real时刻
本文由多机构联合完成，引入自搜索强化学习SSRL。它利用结构化prompt和format reward提取模型world knowledge，降低幻觉。还探索Sim2Real有效性，验证SSRL训练模型在真实场景泛化性，且所有训练数据等已开源。
老黄力推的 Physical AI，有人用开源框架打通了硬件的最后一道关
巨头加速布局Physical AI，全球AI云平台涂鸦智能用TuyaOpen开源框架破局，为开发者提供入场券。它可拆技术墙、通生态孤岛、跨商业化黑洞，还让开发者打造多样AI硬件，助力商业化。
「有望成为Transformer杀手」，谷歌DeepMind新架构MoR实现两倍推理速度
谷歌DeepMind发布新架构MoR，有望成Transformer杀手。它统一实现参数共享、自适应计算，兼顾性能与效率。实验显示其推理吞吐量提升，降低计算需求，但能否取代Transformer存疑。
苹果在WWDC提到的本地模型，这家公司把它提速了220倍
苹果在WWDC开放本地语言模型API，让iPhone等有了“AI大脑”，但开发者面临模型运行慢问题。国产团队面壁智能发布MiniCPM 4.0，端侧处理长文本提速惊人，从多层面创新实现，还补上推理框架缺口。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
等了五年，AI 终端 Warp 终于开源！OpenAI 赞助
Warp是用Rust写的AI终端，其创始人Zach Lloyd宣布开源，代码已推到GitHub。OpenAI是开源仓库「创始赞助商」。开发瓶颈转移，Lloyd提出开放智能体开发模式。Warp还内置编程Agent，有云端Agent编排平台Oz。
5Y News | 地瓜机器人完成1.5亿美元B2轮融资
近日，地瓜机器人完成1.5亿美元B2轮融资，B轮累计2.7亿美元。2025年业务成果出色，出货量增180%、客户量翻倍、开发者破10万。它与地平线打造具身智能大脑基座，释放多场景应用潜力。
突发！Meta砸数百亿收购Manus，肖弘将出任 Meta 副总裁
北京时间12月30日，Meta宣布全资收购新加坡AI初创公司Manus，金额达数十亿美元。Manus创始人肖弘将出任Meta副总裁，其核心技术团队并入Meta AI部门。这揭开了Meta豪赌AI的野心，也标志智能体赛道进入‘巨头收割期’。
带图推理碾压同类开源模型！港中文微软等开源OpenThinkIMG框架，教AI学会使用视觉工具
港中文、微软等联合推出OpenThinkIMG开源框架，解决AI使用视觉工具面临的集成难、缺数据、适应差等问题，还公开核心技术V - ToolRL。该框架在图表推理任务上表现超GPT - 4.1，为下一代AI智能体提供基础。