Download video

#deepseek #Qwen3 #大模型 #AI DeepSeek赶在五一前一天，正式开源了数学推理领域的新一代“核武器”Prover-V2-671B。这名字听着复杂，但背后的意义简单粗暴：它能让

142 views

瑞克老张有话说

1 month ago

#deepseek #Qwen3 #大模型 #AI DeepSeek赶在五一前一天，正式开源了数学推理领域的新一代“核武器”Prover-V2-671B。这名字听着复杂，但背后的意义简单粗暴：它能让

#deepseek #Qwen3 #大模型 #AI DeepSeek赶在五一前一天，正式开源了数学推理领域的新一代“核武器”Prover-V2-671B。这名字听着复杂，但背后的意义简单粗暴：它能让

#deepseek #Qwen3 #大模型 #AI DeepSeek赶在五一前一天，正式开源了数学推理领域的新一代“核武器”Prover-V2-671B。这名字听着复杂，但背后的意义简单粗暴：它能让
4:12
#deepseek #Qwen3 #大模型 #AI DeepSeek赶在五一前一天，正式开源了数学推理领域的新一代“核武器”Prover-V2-671B。这名字听着复杂，但背后的意义简单粗暴：它能让
by 瑞克老张有话说
Qwen3开源与DeepSeek推出新模型，推理模型普及加速 #Qwen3 #deepseek #大模型 #AI 上周两天内中国模型炸翻了AI圈。阿里千问3开源首日下载量破百万，登顶全球开源社区榜
3:52
Qwen3开源与DeepSeek推出新模型，推理模型普及加速 #Qwen3 #deepseek #大模型 #AI 上周两天内中国模型炸翻了AI圈。阿里千问3开源首日下载量破百万，登顶全球开源社区榜
by 瑞克老张有话说
🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！
9:58
🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！
by AI超元域
DeepSeek再次更新，最强数学推理模型Prover V2 大模型！
0:48
DeepSeek再次更新，最强数学推理模型Prover V2 大模型！
by 张泽3.0
比肩Claude 4，拥有强悍MCP性能！最强开源大模型DeepSeek R1 0528性能评测与深度解读！DeepSeek R2模型前奏，权重已正式开源！#deepseek
8:54
比肩Claude 4，拥有强悍MCP性能！最强开源大模型DeepSeek R1 0528性能评测与深度解读！DeepSeek R2模型前奏，权重已正式开源！#deepseek
by 赋范课堂
DeepSeek 开源 DeepSeek-Prover-V2！
0:16
DeepSeek 开源 DeepSeek-Prover-V2！
by AGI01
🚀DeepSeek 6850亿参数开源大模型！DeepSeek-V3-0324全方位测评！编程能力、文档分析、复杂推理能力、Text-to-SQL能力！Cline+DeepSeek轻松开发城市模拟游戏
12:26
🚀DeepSeek 6850亿参数开源大模型！DeepSeek-V3-0324全方位测评！编程能力、文档分析、复杂推理能力、Text-to-SQL能力！Cline+DeepSeek轻松开发城市模拟游戏
by AI超元域
DeepSeek-R2没等来，梁文锋却来了个五一假期礼包，数学推理新王者DeepSeek Prover-V2，专攻数学定理证明！
20:57
DeepSeek-R2没等来，梁文锋却来了个五一假期礼包，数学推理新王者DeepSeek Prover-V2，专攻数学定理证明！
by 明月三千里
DeepSeek-Prover-V2技术报告详解 | DeepSeek | Paper | Prover V2 | 腾讯优图实验室
56:29
DeepSeek-Prover-V2技术报告详解 | DeepSeek | Paper | Prover V2 | 腾讯优图实验室
by 超哥炼AI
Magnetron X-Ray Tube- Comments Addressed
9:05
Magnetron X-Ray Tube- Comments Addressed
by SciTubeHD
我在手机上安装本地部署DeepSeek R1大模型单机离线版AI 无限使用 DeepSeek R1模型完全开源免费 没有网络都能用 完全没有用量限制 在本地离线运行DeepSeek R1大模型 无限制
11:37
我在手机上安装本地部署DeepSeek R1大模型单机离线版AI 无限使用 DeepSeek R1模型完全开源免费 没有网络都能用 完全没有用量限制 在本地离线运行DeepSeek R1大模型 无限制
by 工匠先森
【人工智能】Deepseek V3降低成本秘诀大公开 | 梁文锋再署名新论文 | 软硬协同的未来 | FP8 | MLA | MoE模型 | 专家并行EP | 多token预测MTP | MPFT
13:35
【人工智能】Deepseek V3降低成本秘诀大公开 | 梁文锋再署名新论文 | 软硬协同的未来 | FP8 | MLA | MoE模型 | 专家并行EP | 多token预测MTP | MPFT
by 最佳拍档
DeepSeek不声不响扔出炸弹，回击OpenAI产品发布周 #deepseek #大模型 #AI #openai DeepSeek 4月30日开源的数学大模型Prover-V2，直接解开了困扰数学
13:49
DeepSeek不声不响扔出炸弹，回击OpenAI产品发布周 #deepseek #大模型 #AI #openai DeepSeek 4月30日开源的数学大模型Prover-V2，直接解开了困扰数学
by 瑞克老张有话说
Qwen3.0开源与DeepSeek上新，用AI赚钱门槛没了 #deepseek #大模型 #Qwen3 #AI 阿里千问3开源版横扫GitHub榜首，单日下载量破150万；DeepSeek刚开源的
2:58
Qwen3.0开源与DeepSeek上新，用AI赚钱门槛没了 #deepseek #大模型 #Qwen3 #AI 阿里千问3开源版横扫GitHub榜首，单日下载量破150万；DeepSeek刚开源的
by 瑞克老张有话说
自然医学杂志刊登两篇论文，DeepSeek已成为医学辅助首选 #deepseek #大模型 #AI #医疗AI 4 月 23 日，国际顶尖医学期刊 Nature Medicine 背靠背发表了两篇
3:33
自然医学杂志刊登两篇论文，DeepSeek已成为医学辅助首选 #deepseek #大模型 #AI #医疗AI 4 月 23 日，国际顶尖医学期刊 Nature Medicine 背靠背发表了两篇
by 瑞克老张有话说
Deepseek再放送！来不及等R2了，ProverV2数学模型抢先发布？免费API上手指南！#deepseek #ai
5:06
Deepseek再放送！来不及等R2了，ProverV2数学模型抢先发布？免费API上手指南！#deepseek #ai
by 神烦老狗
6850亿参数混合专家(MoE)架构开源大模型！Deepseek V3全方位客观评测文档处理、逻辑推理、算法编程等多维度的真实能力水平！是卓越还是拉胯？真能超越Claude还是言过其实？#claude
11:53
6850亿参数混合专家(MoE)架构开源大模型！Deepseek V3全方位客观评测文档处理、逻辑推理、算法编程等多维度的真实能力水平！是卓越还是拉胯？真能超越Claude还是言过其实？#claude
by AI超元域
客观深度测评，DeepSeek R1 0528 对比 Gemini 2 5 Pro
28:57
客观深度测评，DeepSeek R1 0528 对比 Gemini 2 5 Pro
by AI大模型实战与培训 DEEPSEEK
晶片戰爭作者:DeepSeek將讓中國在開源模型占有高度優勢 #TVBS文茜的世界財經周報 #晶片戰爭 #DeepSeek #中國 #開源模型 20250525
8:00
晶片戰爭作者:DeepSeek將讓中國在開源模型占有高度優勢 #TVBS文茜的世界財經周報 #晶片戰爭 #DeepSeek #中國 #開源模型 20250525
by TVBS 文茜的世界周報 TVBS Sisy's World News
DeepSeek 究竟改变了什么 #人工智能 #DeepSeek #特朗普 #颠覆式创新
7:55
DeepSeek 究竟改变了什么 #人工智能 #DeepSeek #特朗普 #颠覆式创新
by 王局大宝
DeepSeek发布新模型Prover V2：数学能力再升级？
2:01
DeepSeek发布新模型Prover V2：数学能力再升级？
by The Perfect Day