4月30日，DeepSeek发布新一代Prover-V2模型，参数量高达6710亿，推动AI技术发展。同时，快手成立可灵AI事业部，小米开源推理大模型MiMo，马斯克宣布Grok 3.5早期测试版将向特定用户开放。这些进展标志着AI领域持续突破与创新。
免责声明：本文内容由开放的智能模型自动生成，仅供参考。
DeepSeek发布6710亿参数Prover-V2模型
2025-04-30 21:10:10
·
0
·
作者：admin