DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平，Putnam 2024获118/120分。

发布时间: 2025-11-27 23:20:26

1分

数据加载中

关注推特

收听电报

2

1

0

DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平，Putnam 2024获118/120分。
时政
( twitter.com )

5小时前由外汇交易员提交

DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平，Putnam 2024获118/120分。
团队表示，该成果验证了自验证推理路径的可行性，为构建可靠数学智能系统提供新方向。

点击图片查看原图

点击图片查看原图

Markdown支持

评论加载中...

您可能感兴趣的：更多

1

2

1

1

【李飞飞团队“50美元”复刻DeepSeek的R1真相：基于阿里云Qwen模型监督微调而成】财联社说李飞飞团队训练出s1人工智能推理模型，在数学和编码能力测试中与OpenAI的O1和DeepSeek的R1等尖端推理模型不相上下。
我看了原始paper，核心信息如下：
【1】s1的基座模型为阿里通义千问Qwen
时政
( twitter.com)

9个月前 • Jeff Li • -- 点击 0 评论

2

2

1

1

Lex Fridman：OpenAI 的 o3-mini 确实是一个不错的模型，但 DeepSeek r1 性能相当、价格更低，而且它的推理过程是可见的。更强的模型很快就会出现（我非常期待 o3pro），但“DeepSeek
IT技术
( twitter.com)

9个月前 • 宝玉 • -- 点击 0 评论

3

2

1

1

OpenAI在一项新的政策提案中，将DeepSeek描述成一家受“国家控制”的实体，呼吁美国政府考虑禁止 DeepSeek 及其他中国人工智能模型。该提案声称 DeepSeek 的模型（包括其R1“推理”模型）存在安全隐患，因为它需要根据中国相关法律要求收集用户数据，这可能侵犯用户隐私。 OpenAI
时政
( twitter.com)

8个月前 • 李老师不是你老师 • -- 点击 0 评论

4

3

2

2

受 DeepSeek 影响，OpenAI 现在也显示推理模型的思维过程了，看起来好玩多了！
IT技术
( twitter.com)

9个月前 • 宝玉 • -- 点击 0 评论

5

3

2

2

4月5日 Meta发布了其新一代开源大语言模型Liama4，其拥有超过4000亿参数，Meta宣称该模型是同类中最好的多模态模型（可以处理图像输入输出），在参数量更少运行门槛更低的情况下，编程和推理能力上和DeepSeek V3相当。
并且该模型完全免费开源，用户可以从Liama官网下载并部署在本地。
时政
( twitter.com)

7个月前 • 李老师不是你老师 • -- 点击 0 评论

6

2

1

1

总结一下DeepSeek讨论的初步结果，DeepSeek的贡献主要有两个：
一是基础模型的预训练，二是利用无监督的增强学习(RL）提高推理能力
时政
( twitter.com)

10个月前 • 勃勃OC • -- 点击 0 评论

7

2

1

1

价格屠夫 DeepSeek 又出手了，虽然性能有一点点下滑，但这价格就像蜜雪冰城让人无话可说。
新模型使用 DeepSeek Sparse Attention（DSA）
首次实现了细粒度稀疏注意力机制，在几乎不影响模型输出效果的前提下，实现了长文本训练和推理效率的大幅提升。
IT技术
( twitter.com)

1个月前 • orange.ai • -- 点击 0 评论

8

2

1

1

DeepSeek 发布了一个新型 OCR文档理解模型：DeepSeek-OCR
它不仅解析图像文档达到了一流水平
还探索出了一个大胆的想法👇🏻
大语言模型（比如 GPT）在处理长文章时，消耗的计算量会爆炸性增长。
但如果把文字“画成图片”，模型只需要很少的“视觉 token”就能理解同样内容。
时政
( twitter.com)

1个月前 • 小互 • -- 点击 0 评论

9

2

1

1

就在刚刚， Kimi 发了个 1T 大的模型。。。
总参数量 1T 啊，竟然还是开源的，这部署压力有点大 😂
不过激活参数只有32B，可以说是相当极限的 MoE
模型指标的三大强项：
自主编程 Agentic Coding
工具调用 Tool Use
数学推理 Math&Reasoning
几个指标都大幅超过 DeepSeek V3
IT技术
( twitter.com)

4个月前 • orange.ai • -- 点击 0 评论

0.03078 Second , Gzip Enable.本网所有言论均来自网络，不代表本网站立场。联系方式: [email protected]

©2012.11.21 bad.news All rights reserved. 社区自动运营第 -- 年零 -- 天
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

关注推特