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

分享一个链接

发表一篇文章

任何有趣的，图片，热点新闻，视频，文字...

2793 位用户此时在线

24小时点击排行 Top 10：

香港大火两家涉事中国公司，一是中国山东尼龙网制造商，二是中国山东滨州商检，合伙欺骗伪造假商检报告，将易燃化纤网说成是阻燃防护网。这是香港大埔火灾失控的元凶，中国从上到下将原因推给竹架是在推卸责任。

值得看看，当你觉得迷茫无助的时候。

双胞胎姐妹回归，在狼友的指挥下脱光衣服自慰骚穴，淫声荡语跳蛋玩弄骚穴[538.57MB/MP4/WF]

瞒着儿子舔他美乳女友肉缝发情求我狂插内射爽上瘾[1.67GB/MP4/WF]

麻了这样教育小孩，中国还能有未来吗？

一位在法国的穆斯林女性表示，尽管她拥有硕士学位和博士学位，却找不到工作。 “法国人太伊斯兰恐惧症了，不接受我的着装方式。我的受教育程度比大多数人高。” 你对她有什么建议吗？

中国大陆最密集的小区，楼间距只有可怜的8米。

知情人士：美联储主席遴选工作接近尾声，哈塞特成为首选据金十数据报道，据知情人士透露，随着新任美联储主席的遴选工作进入最后几周，白宫国家经济委员会主任凯文·哈塞特在特朗普总统的顾问和盟友眼中，是下任联储主席的最热门人选。

11月27日，吉林省，朗尚爱口才教育公司发布了一段视频，视频中孩子轮番怒斥日本首相高市早苗。视频发出后引发评论区网友一片嘲讽。

今天是感恩节，但是非常难过！为香港大火中失去亲友的幸存者祈祷，愿你们早日渡过难关！

我原来一直有一个疑问如果显卡、芯片的利润极大，为什么别人不做？光刻机难，但芯片则更容易，无非性能做差一点、功耗高一点，多堆一点也能搞算力现在GOOGLE的TPU出来后，原来不是差一点，甚至可以好一点。和币圈一样，一旦龙一地位被挑战，意味着赛道上行趋势开始下降了。

1958年11月23日，张学良当面向蒋介石检讨：我先前一直存着幻想，误认共产党也是爱国分子，希望国共合作了救中国。数年来共党的作风，使我觉醒。我是幼稚愚鲁，我不怨恨任何人，只恨我无识。

轉：河南九岁女童进医院看病后成为植物人，医生集体篡改病历，女童的眼镜已经被挖掉。卫健委表示行为属实！

只能说存在即合理

11月27日，浙江省台州市，椒江区，新天力科技股份有限公司，厂房起火。

#知乎问答问：你听过三观极歪的一句话是什么？答：同一件事引发的三句话：发生前，反对的是50W。发生后，支持的是50W。现在，提这事的是50W。

如果这个溜须拍马的废物 Hassett ，成为下一任美联储主席，那2026年美国经济下行，美股进入熊市的概率，会大大增加。特朗普，牛逼！👍👍👍

🚨好吧，现在MAGA开始质疑美军以及欧洲对于希特勒的抵抗行为了。他们认为欧洲反应过度导致了希特勒发动二战。现在，看起来他们的历史也是体育老师教的😎 📌塔克·卡尔森暗示，在希特勒德国袭击英国盟友波兰之后，英国不应该对希特勒德国宣战。

Thanksgiving disasters today, are tomorrow’s viral moments.

🇺🇦 This is truly the era of Skynet: Land-based robotic combat complexes developed by Ukrainian DevDroid - Droid TW. Armed with a Browning-type 12.7mm heavy machine gun. See the latest updates with us:

校花女神尤物，全程露脸上学时期的梦，性感的大奶子一只手握不住[498.33MB/MP4/WF]

Heartbreaking -#PAKISTAN: A 13-year-old girl is forced to marry a 40-year-old man. When she refuses and tries to flee, the groom gets a gun to threaten her… Her relatives intervene and tell him: “We’re not savages. Don’t kill her, just force her.”

作為一個土生土長的香港人，我可以說今晚這場大火絕對是人禍現場是大埔宏福苑，整個屋苑有 8 座大廈。今天下午約 2:51，宏福苑的宏昌閣外牆正在進行維修時，外牆棚架發生火警，已經有網民在 Threads 拍下當時小火的情況，可是在十分鐘後火警已經往上順延

新人下海小姐姐！浴室边洗澡边操逼！扶着洗手台炮友后入[2.51G/MP4/WF]

突发：白宫附近恐怖袭击事件疑似与巴基斯坦三军情报局（ISI）有关。袭击者拉赫曼努拉·拉坎瓦尔是一名阿富汗人，曾为美军效力，据报道他接受过巴基斯坦军方的训练，甚至上个月还与ISI官员有过接触。此举意在将美国拖入与阿富汗的冲突。

本站自动实时分享网络热点
24小时实时更新
所有言论不代表本站态度
欢迎对信息踊跃评论评分
评分越高，信息越新，排列越靠前

2

1

0

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

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

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

点击图片查看原图

点击图片查看原图

1周内 1个月内 1年内全部时间

1
2
3
4
5
6
...
400
下一页

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)

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

3

2

1

1

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

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

4

3

2

2

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

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

5

3

2

2

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

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

6

2

1

1

DeepSeek 拉满了啊，瞄准推理能力狠狠发力。
又开源了一个数学定理证明模型。
通过构建类似 AlphaGo 的封闭图学习环境，在高中和大学的数学定理测试中都获得了非常好的结果。
IT技术
( twitter.com)

1年前 • 歸藏(guizang.ai) • -- 点击 0 评论

7

2

1

1

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

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

8

3

2

2

【商汤版ChatGPT「商量」来了】在商量的背后，所依托的是商汤自研的千亿参数自然语言处理模型。而在此模型的背后，则是商汤最新推出的日日新（SenseNova）大模型体系。
大陆资讯
( www.qbitai.com)

2年前 • 猪莉夜 • -- 点击 0 评论

9

2

1

1

Orca: 微软研究院上周发布的论文，打破了小模型只能模仿大模型的语言风格而不能学到推理能力的假设。通过让小模型学习 GPT-4/3.5 的五百万次推理过程，在 13 billion 参数的情况下，做到了等同甚至超过 ChatGP…
推特中文圈
( twitter.com)

2年前 • Quinn Leng • -- 点击 0 评论

10

2

1

1

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

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

11

2

1

1

🔥🔥🔥 这是一个精心策划的多模态大型语言模型（MLLM）列表,包含了260个论文，Pdf和github链接，整理的调理清晰，适合研究使用

包括两大部分：模型和数据集
模型论文
-基础模型，指令调整，情景学习，思维链条，视觉推理…
IT技术
( twitter.com)

2年前 • Will 3.6-6.16 硅谷 • -- 点击 0 评论

12

2

1

1

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

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

13

2

1

1

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

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

14

2

1

1

OpenAI 跳过 O2 将推出“O3”推理模型
据 TheInfomation报道， OpenAI 正在准备推出其下一代推理模型“O3”，这是继“O1”之后的新版本。
与前代相比，该模型需要更多时间来“思考”用户提出的问题，从而提供更深度的回答。
据两位知情人士透露，由于与英国电信服务提供商 O2
时政
( twitter.com)

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

15

2

1

1

最新支持中文的开源模型个人向推荐（不同参数规模的）。
时政
( twitter.com)

1年前 • 九原客 • -- 点击 0 评论

16

2

1

1

阿里巴巴宣布新AI模型优于DeepSeek和Meta 阿里云表示，根据其进行的基准测试，Qwen2.5 Max与OpenAI、DeepSeek和Meta的领先模型进行了对比，Qwen2.5-Max全部超越了对比模型。
时政
( twitter.com)

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

17

2

1

1

OpenAI 推出了全新模型 o3-mini，现已在 ChatGPT 和 API 中全面上线。该模型专为科学、数学和编程等技术领域打造，不仅推理能力强大，而且响应速度快，代表了高性价比推理技术的前沿突破。
为了满足不同用户群体的需求，o3-mini 提供了多种访问和功能选项：
- 免费用户：可在 ChatGPT
IT技术
( twitter.com)

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

18

2

1

1

在树莓派集群运行650亿参数大模型？

llama.cpp最新更新加入了基于MPI的分布式推理支持，每个节点可以只进行一部分推理操作，这样用一堆非常老的机器理论上也可以跑超大模型。

感觉LLM分布式共享推理服务有的搞了…
时政
( twitter.com)

2年前 • nash_su • -- 点击 0 评论

19

3

2

2

来了嗷！全网首测！DeepSeek 4 小时之前又发布了一个多模态模型——Janus-pro！这个模型的特点是将文生图和图生文合二为一了！
我觉得这个模型更多是方向上的验证，如果验证靠谱就会推出可以投入生产的模型了。
[1/?]
时政
( twitter.com)

10个月前 • karminski-牙医 • -- 点击 • 下载视频 0 评论

00:01:38

20

2

1

1

商汤科技港股一度大涨36%。
公司昨日推出旗下大模型“日日新SenseNova 5.0”更新，称增强了知识、数学、推理及代码能力，全面对标GPT-4 Turbo，主流客观评测上达到或超越GPT-4 Turbo。
时政
( twitter.com)

1年前 • 外汇交易员 • -- 点击 0 评论

21

2

1

1

NVIDIA 将拥有 6710 亿参数的 DeepSeek-R1 模型引入了位于上的 NVIDIA NIM 微服务：
- 使用单台 NVIDIA HGX H200 服务器即可实现每秒最多 3,872 个 Token 的推理吞吐量。
- 依托 NVIDIA Hopper 架构，DeepSeek-R1 利用 FP8 Transformer Engine 和 900 GB/s 的 NVLink
IT技术
( build.nvidia.com)

9个月前 • 宝玉 • -- 点击 • 下载视频 0 评论

00:01:03

22

2

1

1

FT：DeepSeek R2模型推迟发布与使用华为昇腾芯片有关。两名知情人士透露，华为曾派出一个工程师团队前往DeepSeek办公室进行现场协助，但未能取得成功。DeepSeek仍在与华为合作，使该模型在推理方面与昇腾芯片兼容。
知情人士又称，梁文峰在内部表达对R2进展的不满意。
时政
( twitter.com)

3个月前 • 外汇交易员 • -- 点击 0 评论

23

6

5

5

V社推出Steam实验室：微型宣传片、交互式推荐模型以及自动展示
大陆资讯
( www.gcores.com)

6年前 • 喊妈妈 • -- 点击 0 评论

24

2

1

1

# AI 开源模型分享
最强语音识别和说话人分离模型
Reverb 推出最强开源语音识别 (ASR) 和说话人分离 (Diarization) 模型, 评测结果击败 OpenAI 推出的 Whisper large-v3！
# Reverb ASR 模型
- 使用 20 万小时的人工转录数据训练
- 达到了最新的词错误率 (WER) 水平
- 支持可定制的逐字转录
#
时政
( twitter.com)

1年前 • meng shao • -- 点击 0 评论

1
2
3
4
5
6
...
400
下一页

0.10014 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.

关注推特