速报！DeepSeek更新了一个新模型！DeepSeek-Prover-V2-671B

前沿快讯
1

image
image912×627 54.1 KB

DeepSeek-Prover-V2-671B
看起来是一个专注于数学推理的模型，从参数量上来看，似乎仍然基于V3，按照惯例，可能今晚会发布一个新技术报告

个人想法：马斯克昨天表示Grok 3.5下周发布，并且基于第一性原理训练，能够回答火箭发射相关工程问题，DeepSeek此次模型更新与其类似，也是基于基本公理出发的数学推理证明模型，似乎是在狙击 :joy: :face_with_monocle:

3 Likes
2

R2怎么还不出来 :sob:
deepseek快把多模态端上来吧

3

慢讯了！

4

搞数学证明的？

5

这玩意不是给我们用的吧，给那种专业户用的 :joy:

6

此话题已在最后回复的 30 天后被自动关闭。不再允许新回复。