Download video

🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！

6.9K views

AI超元域

4 weeks ago

🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！

🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！

🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！
9:58
🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！
by AI超元域
DeepSeek 开源 DeepSeek-Prover-V2！
0:16
DeepSeek 开源 DeepSeek-Prover-V2！
by AGI01
腾讯\&上交大新研究：用自然语言让AI学会\\
11:05
腾讯\&上交大新研究：用自然语言让AI学会\\"奥数级\\"数学推理！🔥自然语言+RL=定理证明新范式？7B小模型击败SOTA大模型！
by AI佳人说
科技巨头齐发力，开源 AI 模型在推理、编码与数学领域大突破
11:03
科技巨头齐发力，开源 AI 模型在推理、编码与数学领域大突破
by 人工智能产业链联盟
大模型进化的下一个方向 最近看到好多关于提升大模型数学证明能力和编程能力的进展，DeepSeek-Prover-V2、Kimina-Prover Preview，还有这两天Google在Nature
6:37
大模型进化的下一个方向 最近看到好多关于提升大模型数学证明能力和编程能力的进展，DeepSeek-Prover-V2、Kimina-Prover Preview，还有这两天Google在Nature
by 晓辉博士
#deepseek #Qwen3 #大模型 #AI DeepSeek赶在五一前一天，正式开源了数学推理领域的新一代“核武器”Prover-V2-671B。这名字听着复杂，但背后的意义简单粗暴：它能让
4:12
#deepseek #Qwen3 #大模型 #AI DeepSeek赶在五一前一天，正式开源了数学推理领域的新一代“核武器”Prover-V2-671B。这名字听着复杂，但背后的意义简单粗暴：它能让
by 瑞克老张有话说
2024年上海高考数学卷第9题 | 视频讲解 | 顶尖AI大模型测评 | DeepSeek | 豆包 | Kimi | 千问 | 复数
4:52
2024年上海高考数学卷第9题 | 视频讲解 | 顶尖AI大模型测评 | DeepSeek | 豆包 | Kimi | 千问 | 复数
by 姚讲数学
DeepSeek-R2没等来，梁文锋却来了个五一假期礼包，数学推理新王者DeepSeek Prover-V2，专攻数学定理证明！
20:57
DeepSeek-R2没等来，梁文锋却来了个五一假期礼包，数学推理新王者DeepSeek Prover-V2，专攻数学定理证明！
by 明月三千里
【AI 数学证明重大突破】DeepSeek Prover V2 发布！
13:02
【AI 数学证明重大突破】DeepSeek Prover V2 发布！
by AI大模型实战与培训 DEEPSEEK
DeepSeek不声不响扔出炸弹，回击OpenAI产品发布周 #deepseek #大模型 #AI #openai DeepSeek 4月30日开源的数学大模型Prover-V2，直接解开了困扰数学
13:49
DeepSeek不声不响扔出炸弹，回击OpenAI产品发布周 #deepseek #大模型 #AI #openai DeepSeek 4月30日开源的数学大模型Prover-V2，直接解开了困扰数学
by 瑞克老张有话说
大模型是怎么解数学题的？
5:59
大模型是怎么解数学题的？
by 姚讲数学
突发！DeepSeek R1重磅更新，五大场景实测！
11:49
突发！DeepSeek R1重磅更新，五大场景实测！
by AI进化论-花生
#AI在抖音 #超硬核玩家 #ai新星计划
1:01
#AI在抖音 #超硬核玩家 #ai新星计划
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 瑞克老张有话说