AI大模型最前沿｜DeepSeek、小米和阿里在五一节前都开源了个啥

欢迎来到谷粒粒的AI播客节目《硅基奇谈》，一档集前沿技术与生活杂谈的 ENFJ 技术宅播客。本期深入浅出了三个最新发布的焦点模型：专攻形式化证明的 DeepSeek DeepSeek-Prover-V2-671B，采用了递归证明流程和特殊 RL 策略；小米 MiMo-7B-RL 则展示了 MTP、三阶段数据混合等新颖的训练方法；还有备受推崇、强调 Agent 能力和低成本部署的阿里千问 Qwen3。它们的技术路径有何异同？实际应用潜力和开发者生态如何？快来收听，跟上 AI 推理技术的最前沿！* 00:00:00 - 00:00:17: 开场，提到AI界近期的热闹景象，特别是推理能力强的模型。* 00:00:17 - 00:00:37: 介绍本次讨论的三个模型：DeepSeek DeepSeek-Prover-V2-671B, 小米 MiMo-7B-RL, 和 阿里千问 Qwen3。...去小宇宙查看完整单集简介前往小宇宙评论区与主播互动