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

刚刚，OpenAI宣布内部模型批量攻破100多道数学难题，普林斯顿高研院正式介入

本文报道OpenAI最新AI进展，其内部新模型批量攻破100多道长期悬而未决的公开数学难题，联合普林斯顿高等研究院成立独立学术顾问小组规范成果评估，引发数学界震动。

拒绝OpenAI和Anthropic邀约，DeepMind安全研究员离职转向独立测评

本文报道，多名头部AI机构研究员因AI安全顾虑离职，DeepMind AGI安全研究员Engels拒绝OpenAI、Anthropic邀约，加入独立评测机构METR，围绕AI递归自我改进失控风险展开讨论。

深度｜AI开始接管物理世界，谁来掌握新的入口？

本文为深度行业分析，围绕Anthropic推出的模型硬件标准MHS展开，探讨AI从虚拟屏幕切入真实物理世界、接入实验设备的产业进程，梳理核心挑战与未来竞争格局。

从Chat、Code到Discovery，AI开始学着做科学家

本文报道AI发展进入全新阶段，任务从聊天、写代码拓展到自主科学发现，介绍PhAI Labs推出的DFM系统，分享架构设计与落地案例，分析行业痛点与解决路径。

Agent工程化最佳实践，AICon深圳2026来了

8月21 - 22日，AICon全球人工智能开发与应用大会将在深圳举办。大会邀请产业一线专家，围绕Agent工程化等前沿方向，分享技术探索与工程实践，探讨AI从能力突破走向系统构建的新路径。

AICon 深圳 2026 全日程揭晓｜聚焦 Agent 工程化，构建可靠智能的技术路径

8月21 - 22日，AICon全球人工智能开发与应用大会将在深圳举办。大会全日程已发布，产业一线技术专家将围绕Agent工程化等前沿方向，分享技术探索与工程实践，探讨AI从能力突破走向系统构建的新路径。

这个周末，很多人都在等一个额度重置，以及对 Work 模式的吐槽

ChatGPT Work 模式上线后，Token 消耗快，用户等额度重置。该模式与 Codex 易混淆，前者处理通用知识类长任务，后者面向软件开发。国内外产品纷纷推 Work 模式，未来或融合。

世界模型评测的最大盲区，被这个新基准捅破了

过去一年，‘世界模型’成视频生成领域热词，厂商强调产品要模拟真实世界运行规律，但业界评测一直未能精准检验其‘物体恒存’的认知能力。为此，研究者提出新基准MemoBench，测试了主流模型，揭示其短板。

独家对话大晓机器人陶大程：具身机器人大脑，不必装下整个世界｜甲子光年

甲子光年独家对话大晓机器人陶大程，探讨具身机器人大脑。陶大程提出控制充分状态，大晓用Kairos模型回应世界模型问题，强调行动后果建模，还谈了数据处理、技术风险及应用场景等。