GPT-5.2来了！首个「专家级」AI复仇成功，牛马打工人终于得救了

OpenAI发布GPT - 5.2「全家桶」，含即时、思考、专业三款模型。它全方位碾压谷歌Gemini 3 Pro，在多方面进化，虽价格涨40%，但性价比更高，还适合多种专业工作，甚至能辅助科研。

马斯克的 Grok Bot 正在吞掉电脑，买 Mac mini 的事可以先缓缓

重度使用 Codex 大半年，电脑不堪重负，Agent 任务增多让本地电脑成瓶颈。Grok Bot 将 Agent 工作搬到云端，配云电脑，解决本地硬件难题，还为 Bot 分配独立屏幕，实现人机电脑分工。

腾讯AI Lab开源可复现的深度研究智能体，最大限度降低外部依赖

腾讯AI Lab推出全开源智能体框架Cognitive Kernel - Pro，解决现有开源框架依赖付费工具问题。它有模块化架构等核心设计，创新训练方法，在多任务中表现出色，降低外部依赖，相关论文登HuggingFace热榜。

拥有Github 的微软终于出手，发布一键生成全栈应用的GitHub Spark！

微软发布GitHub Spark，能以自然语言生成全栈应用并一键部署，默认用Claude Sonnet 4。它遵循微应用理念，有强大功能体系，深度集成GitHub。开发者看法不一，目前向Copilot Pro+用户开放，或改变市场格局。

独白：OpenAI前员工的深度反思

OpenAI前员工在博客分享工作体验，从文化、技术等多维度剖析公司。指出极速扩张面临挑战，文化独特，技术上用Python单体代码库、依赖Azure，还详述Codex项目诞生，认为AGI竞赛在OpenAI等三家展开。

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

DeepSeek 跃居全球第二 AI 实验室，中美正式并驾齐驱！

Artificial Analysis宣称DeepSeek R1跃居全球第二，其0528版得分达68分，与Google Gemini 2.5 Pro并列。更新体现强化学习的重要性，多家云服务提供商也迅速支持新模型，这表明开源与闭源模型差距缩小，中美AI并驾齐驱。

Astra 的 Computer Use 能力是如何实现的？

本文编译自Browserbase增长工程师Kyle Jeong的个人博客，对比了纯视觉路线Computer Use模型的缺陷，详细拆解Astra模型利用无障碍树结合Codex Harness实现能力的架构、训练方法，分析其优劣与行业价值。

诺奖得主刚走，Gemini两大核心叛逃Anthropic！

谷歌人才流失严重，一周内五名顶级研究员出走，Gemini两大核心将入职Anthropic。同时，Gemini 3.5 Pro延期至7月。Alphabet股价下跌，市值蒸发超2000亿美元。原因或是上市期权诱惑和算力分配问题。

ChatGPT还没学会打电话，谷歌搜索AI已经替你电话约服务，还会谈价砍单！

谷歌搜索迎来三大AI革新，集成Gemini 2.5 Pro模型、可用Deep Search功能，最亮眼的是AI代打电话功能。目前该功能在美国上线，未来将全球推广，引发网友对其效果和实用性的讨论。