2025/04/30

20:57【AI进化速递丨DeepSeek发布Prover-V2模型】①DeepSeek发布Prover-V2模型，参数量达6710亿；

②快手成立可灵AI事业部；

③小米开源首个推理大模型MiMo；

④埃隆·马斯克称Grok 3.5早期测试版下周将向SuperGrok订阅者发布。