阿里发布千问 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 计算机与人工智能实验室，现于硅谷...