OpenAI 推出软件工程智能体 Codex
2025 年 5 月，OpenAI 在 ChatGPT 中推出软件工程智能体 Codex，由 codex-1 驱动，用强化学习在真实编程任务上训练，每个任务都在独立的云端沙箱中运行。
共 1,098
Google DeepMind 发布 AlphaEvolve
2025 年 5 月 14 日，Google DeepMind 发布 AlphaEvolve——一个由 Gemini 驱动、用于设计算法的编程智能体，并公布了它在计算调度、4×4 矩阵乘法和若干开放数学问题上的结果。
美国商务部撤销《人工智能扩散规则》
2025年5月13日，美国商务部在《人工智能扩散规则》合规日前两天宣布启动撤销程序，要求不执行该规则，并发布涉及华为芯片等的新指引。
字节跳动 Seed 开源 Seed-Coder 代码模型
2025 年 5 月 8 日，字节跳动 Seed 团队开源代码模型 Seed-Coder，这是一组 80 亿参数的模型，采用 MIT 许可证，包括 Base、Instruct 和 Reasoning 三个版本。
Mistral AI 发布 Mistral Medium 3
2025 年 5 月 7 日，Mistral AI 发布 Mistral Medium 3，定价为每百万输入词元 0.40 美元，并称其基准成绩达到 Claude Sonnet 3.7 至少 90% 的水平、成本约为八分之一。
TII 发布 Transformer 与 Mamba 混合的 Falcon-H1
2025 年 5 月 1 日，TII 公开 Falcon-H1 的模型权重，这是 Falcon 系列首个把注意力层与状态空间模型并行组合的家族，一次放出从 0.5B 到 34B 的 6 个规模。
小米发布 MiMo-7B 推理模型
2025年4月下旬，小米发布 MiMo-7B 系列，包含基础模型和经强化学习调优的对话模型，后训练使用可验证的数学与编程题，小米称其推理表现超过 OpenAI o1-mini。
DeepSeek 发布定理证明模型 DeepSeek-Prover-V2
深度求索（DeepSeek）发布开源定理证明模型 DeepSeek-Prover-V2，用于 Lean 4，论文于 2025 年 4 月 30 日发布在 arXiv 上，并解出了 PutnamBench 658 道题中的 49 道。
亚马逊 Nova Premier 正式上线
2025 年 4 月 30 日，AWS 在 Amazon Bedrock 中正式上线 Nova Premier。亚马逊把它定位为蒸馏小型 Nova 模型的教师模型，首批在美国三个地区提供服务。
微软发布 Phi-4-reasoning 推理模型
2025 年 4 月 30 日，微软发布 Phi-4-reasoning 和 Phi-4-reasoning-plus，两个 140 亿参数的推理模型均以 Phi-4 为基础微调，并以 MIT 许可证发布。
阿里巴巴发布 Qwen3，支持思考与非思考混合模式
2025 年 4 月 29 日，阿里巴巴发布 Qwen3，这是一个支持思考与非思考混合模式的模型系列，包括两个混合专家模型和六个稠密模型，以 Apache 2.0 许可证发布。
Meta 推出独立的 Meta AI 应用
2025 年 4 月 29 日，Meta 推出独立的 Meta AI 应用，基于 Llama 4，支持 iOS 和 Android。应用加入了分享提示词的动态、语音对话和个性化回答。
Aurora 在得州开始无人驾驶卡车商业运营
2025年4月27日，搭载 Aurora 自动驾驶系统的卡车开始在达拉斯与休斯顿之间为 Uber Freight 和 Hirschbach 执行常规无人驾驶商业运输，驾驶座上没有人，也没有警车护送。
百度发布文心 X1 Turbo
2025 年 4 月 25 日，百度发布文心 X1 Turbo，这一推理模型被百度称为超过 DeepSeek-R1 和 DeepSeek-V3，价格为 DeepSeek-R1 的四分之一。
百度发布文心 4.5 Turbo，价格下降 80%
2025 年 4 月 25 日，百度发布文心 4.5 Turbo，价格比文心 4.5 低 80%，并宣布全面支持 MCP。
阶跃星辰开源 Step1X-Edit 图像编辑模型
2025 年 4 月 25 日，阶跃星辰以 Apache 2.0 许可证发布 Step1X-Edit 的推理代码、权重和技术报告，并公开图像编辑评测集 GEdit-Bench。
华为发布乾崑智驾 ADS 4，旗舰版支持高速 L3
2025 年 4 月 22 日，华为在上海发布乾崑智驾 ADS 4、HarmonySpace 5 和 XMC 车辆控制系统，称已完成 6 亿公里高速 L3 仿真验证，并预计 L3 商用能力在 2025 年内具备。
Physical Intelligence 发布 π0.5
Physical Intelligence 于 2025 年 4 月 22 日发布 π0.5，这是一个在其早期视觉-语言-动作模型 π0 基础上构建的模型，公司称它能在训练中从未见过的家庭里完成家务任务。
OpenAI 发布 o3 和 o4-mini
2025 年 4 月 16 日，OpenAI 发布 o3 与 o4-mini，称其为迄今最智能的模型，同日还开源了终端编码智能体 Codex CLI。o3 在 SWE-bench Verified 上得分 71.7%。