阿里Qwen3与小米Mimo等大模型，Waymo与丰田携手智驾，Manus与xAI新融资，PyTorch 2.7发布 ｜ 2025.5 #4

阿里发布千问Qwen3大模型，小米发布专攻代码与数学的推理性模型Mimo 7B，DeepSeek 发布专攻数学证明的DeepSeek Prover v2 671B，微软发布Phi-4。

Waymo与丰田携手智能驾驶。

Manus与xAI新一轮融资。

PyTorch发布2.7

更多资讯请关注imbalanced.ai

Imbalanced AI定时发布最新最前沿深度AI和具身智能资讯，每周一至两次，每次15分钟。

关于作者：Alan Zhao，博士毕业于MIT计算机与人工智能实验室，现于硅谷某机器人公司任职AI科学家，主要关注大模型和具身智能领域。