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

Axiom Math 对谈 SGLang：模型的下一步是可验证，结果层才是真正的护城河

在AGI Playground 2026圆桌论坛，Axiom Math联合创始人等探讨AI核心问题。提到AI进入生产环境，可验证或成瓶颈，还从长任务智能体、推理基建等多方面深入交流，如模型验证、基建优化等。

把事实核查嵌入诊疗流程：MedGuard给「诊疗安全」当守门人

蚂蚁AI安全实验室与厦门大学团队联合提出MedGuard，将医学事实核查嵌入诊疗流程。它是医疗安全基础设施，在诊疗意见等形成前验证事实，在评测和临床评价中表现突出，能准确判断风险边界，可嵌入医疗流程。

OpenAI 详解规模化低延迟语音 AI 的 WebRTC 架构

OpenAI 介绍为全球规模低延迟语音 AI 调整 WebRTC 架构，将传统媒体终结模型换为中继收发器架构，分离职责，避免复杂逻辑堆砌与转嫁。此架构为实时语音技术布局补充基础设施细节，对架构师有参考价值。

独家丨天机智能完成10亿元B轮及B+轮融资，估值近百亿，高瓴、美团联合领投

AI科技评论独家获悉，具身智能基础设施公司「天机智能」完成10亿B轮及B+轮融资，投后估值近百亿。其深耕底层技术，多项技术突破，产品优势明显。融资将投向三方向，还布局整机产品。

最新消息：美国批准英伟达H200出口10家中国企业，黄仁勋这趟没白来

路透社消息，美国批准英伟达向10家中国企业出口H200芯片，联想和富士康成分销商。黄仁勋强调中国市场重要，预言2026年技术大爆发。业内分析此次松绑或因商业压力等，对国内AI产业有积极影响。

阿里开源 Team 版 OpenClaw，5分钟完成本地安装

阿里开源 Team 版 OpenClaw——HiClaw，它是 OpenClaw 超进化版，引入 Manager Agent 角色，解决了 OpenClaw 在安全、多任务协作、移动端体验、记忆管理等方面的痛点，还集成多个开源组件，部署简单，适合开发者和企业。

英伟达员工晒年终奖，黄仁勋霸气签皮衣；Moltbook爆火：当AI有了自己的社交网络；又一“95后”清华天才科学家庞天宇加盟腾讯混元 | Q资讯

本文汇总 AI 行业热点，有 Moltbook 成 AI 社交平台且爆火；OpenAI 两款产品用户流失；亚马逊、Meta 裁员；英伟达年终奖、合作协议情况；阿里发布千问新模型；还有大厂春节发红包竞争，DeepSeek 布局新领域等消息。

刚刚，微软全新一代自研AI芯片Maia 200问世

微软原定于 2025 年发布的下一代 AI 芯片 Maia 200 问世。它基于台积电 3 纳米工艺，性能强、能效高，是异构 AI 基础设施重要部分，将为多个大模型提供支持，已部署在美国中部数据中心区域。

谷歌：全栈AI之王

随着Gemini 3模型与第七代TPU的发布，谷歌打破OpenAI与英伟达主导的市场叙事。其全栈AI战略从底层基础设施到用户产品全覆盖，TPU进化、软硬件契合，吸引大客户，C端产品成发展引擎。