How DeepSeek’s V3–0324 Model Is Redefining Open AI Development
13:17
How DeepSeek’s V3–0324 Model Is Redefining Open AI Development
9 个月之前
MSNAI Revolution
What Is DeepSeek? The Chinese AI Startup Model That Rivals OpenAI
1:19
What Is DeepSeek? The Chinese AI Startup Model That Rivals OpenAI
2025年1月28日
MSNunbranded - Newsworthy
DeepSeek’s New Math AI Model Can Help Prove Formal Math Theorems
DeepSeek’s New Math AI Model Can Help Prove Formal Math Theorems
已浏览 360 次11 个月之前
gadgets360.com
DeepSeek开源「Prover-V2」强推理模型❗️网友：算法大赛从没有这么简单过..
2:06
DeepSeek开源「Prover-V2」强推理模型❗️网友：算法大赛从没有这么 …
已浏览 7683 次11 个月之前
bilibili鱼C-小甲鱼
DeepSeek Prover：最新炸裂模型发布！
2:15
DeepSeek Prover：最新炸裂模型发布！
已浏览 7万 次11 个月之前
bilibiliAI产品狙击手
【AI早报 2025-05-01】DeepSeek发布DeepSeek-Prover-V2系列模型；小米发布MiMo-7B系列模型
4:07
【AI早报 2025-05-01】DeepSeek发布DeepSeek-Prover-V2系列模型；小 …
已浏览 3150 次11 个月之前
bilibili橘鸦Juya
AI之父「Yann LeCun」杨立昆坦言：人们对即将发布「DeepSeek R2」开源又反应过度🌶
0:49
AI之父「Yann LeCun」杨立昆坦言：人们对即将发布「DeepSeek R…
已浏览 1.8万 次10 个月之前
bilibili鱼C-小甲鱼
16:12
Deepseek Prover V2：他们刚刚打造了史上最强数学模型！
已浏览 7167 次11 个月之前
bilibiliAI-seeker
3:13
DeepSeek数学模型测评：难道是我打开方式不对？
已浏览 3815 次11 个月之前
bilibiliAI产品狙击手
2:43
DeepSeekMath-V2: AI Model Conquers IMO and Putnam with S…
4 个月之前
YouTubeUniversal Lens
9:58
🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-…
已浏览 7070 次11 个月之前
YouTubeAI超元域
0:48
DeepSeek再次更新，最强数学推理模型Prover V2 大模型！
已浏览 13 次11 个月之前
YouTube张泽3.0
客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B
10 个月之前
huke88.com
7:20
DeepSeek Prover V2深度解析，普通人也能看懂的AI黑科技！
已浏览 315 次11 个月之前
bilibili抱米花
2:46
最强开源MOE模型Deepseek发布v2版本&在vscode上使用更好帮我们编 …
已浏览 6950 次2024年5月8日
bilibiliai来事
3:36
DeepSeek Prover V2，目前最大的数学证明验证模型之一
已浏览 189 次10 个月之前
bilibili秒如科技
9:35
DeepSeek-Prover-V2-671B能编程吗？
已浏览 2448 次11 个月之前
bilibili龙哥AI2000
2:23
DeepSeek-Prover-V2：AI数学家的诞生与开源革命的临界点
已浏览 6191 次11 个月之前
bilibili风吟狼影
0:48
deepseek发布Prover-V2-671B 开创形式化证明训练大模型先河
已浏览 493 次11 个月之前
bilibili龙哥ai炼丹
4:57
AI 能帮我考高数了！DeepSeek Prover V2 深度解读
已浏览 1.3万 次11 个月之前
bilibili超能汽水
2:02
Deepseek再创佳绩，Prover-V2模型再次震撼世界！——5月7日信息差
已浏览 637 次10 个月之前
bilibili赛博队长小木
10:03
让deepseek-prover-v2做考研数学？
已浏览 3216 次11 个月之前
bilibili老怂了
1:36
DeepSeek又发新模型啦！DeepSeek-Prover-V2，专注于数学定理证明。
已浏览 313 次11 个月之前
bilibili袁宇在思考
5:43
【AI 数学证明重大突破】DeepSeek Prover V2 发布！
已浏览 853 次11 个月之前
bilibiliRiddimxdub
11:14
DeepSeek-prover-v2 Qwen-VL BGE-多模态RAG向量模型讲解
已浏览 3180 次10 个月之前
bilibiliai全栈攻城狮
5:18
deepseek与阿里巴巴双双发布最新大模型Deepseek Prover V2&Qwen…
已浏览 798 次11 个月之前
bilibili上昇的Alpha
5:06
Deepseek再放送！来不及等R2了，ProverV2数学模型抢先发布？免 …
已浏览 1.7万 次11 个月之前
bilibili神烦老狗
8:13
AGI超级加速器！DeepSeek-Prover-V2深度解读｜全球首款形式化数学大 …
已浏览 4.8万 次11 个月之前
bilibili九天Hector
5:58
DeepSeek Prover V2：数学领域天花板模型
已浏览 2.3万 次11 个月之前
bilibiliKnoxChat
观看更多视频
静态缩略图占位符