谷歌深夜放出 IMO 金牌模型，多项测试力压 Grok 4、OpenAI o3！网友评论两极分化

昨夜谷歌向 Google AI Ultra 订阅用户推 Deep Think 功能，Gemini 2.5 Deep Think 模型获 IMO 金牌。它是多智能体模型，通过并行思维输出答案，在多领域及测试中表现佳，但网友评价不一。

通勤路上修故障？钉钉机器人+ OOS AI 助手实现 7×24 小时运维自由

传统运维依赖电脑，突发故障时受限。阿里云OOS AI助手结合钉钉机器人，实现免登录、跨设备、秒级响应的运维操作。如运维工程师张伟深夜在家用此组合10分钟解决故障，还介绍了使用和配置方法。

小米小爱同学：资源受限下，实现端侧大模型的高性能推理

InfoQ对话小米小爱同学端侧AI负责人杨永杰，探讨大模型端侧部署难题。团队自研推理框架，实现180 tokens/s推理速度，采用共享基座架构支持多业务。未来端侧大模型突破依赖硬件提升与架构演进。

刚刚，谷歌AI路线图曝光：竟要抛弃注意力机制？Transformer有致命缺陷！

谷歌未来AI路线图曝光，Gemini全模态是重点，模型向智能体转变，推理能力将扩展。谷歌还需突破现有注意力机制限制实现无限上下文。此外，文中盘点了OpenAI、DeepSeek等大厂AI年中表现。

CVPR2025视频生成统一评估架构，上交x斯坦福联合提出让MLLM像人类一样打分

Video-Bench视频评估框架由上海交通大学、斯坦福大学等团队提出，能让MLLM像人一样评估视频。它构建双维度评估框架，引入链式查询和少样本评分技术，突破现有评估方法限制，更全面智能地评分。

终于，无需邀请码，这款刷新GAIA榜单的Agent你立刻就能用！

今年AI圈新品爱用邀请码等三件套，作者对此不满。天工超级智能体（Skywork）不玩套路，在GAIA评测达SOTA级别。它优化办公三件套场景，使用方便，虽有不足但瑕不掩瑜。

4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

刚刚，Qwen3.8-Flash震撼发布，我们看到了Qwen4的骨架

8月大模型厂商多上调API价格或收缩免费额度，因推理需求增长跑赢算力供给。阿里发布Qwen3.8-Flash并开源，成绩亮眼且价格低。它是Qwen4架构预演，有四大技术创新，提升了模型效率。

Claude Cowork 推出新功能 Dispatch：Claude 从此开启「异地办公」

Anthropic为Claude Cowork推出新功能Dispatch，能让用户用手机给电脑上的Claude派任务。它代码本地运行，保障数据安全，还支持持久对话。目前已对Max订阅用户上线，不过存在多设备支持等问题。

挑战 Claude Code，9.5 万星！又一款开源 AI 编程神器火了

开源AI编程工具OpenCode亮相，具备原生终端界面、多会话支持，兼容75种以上模型，提供桌面版和IDE插件。它允许沿用付费订阅，内置免费模型，与多种LSP服务器整合，适配多种编辑器，采用‘隐私优先’架构设计。