DeepSeekMath-V2 开源发布，世界首个奥数金牌 AI-低调大师

DeepSeekMath-V2 开源发布，世界首个奥数金牌 AI

2025-11-28 35

据 Hugging Face 页面显示，深度求索 DeepSeek 团队发布了大语言模型 DeepSeekMath-V2，聚焦可自验证的数学定理证明能力，实现可自验证的数学推理突破。

该模型通过训练一个高精度、高保真的验证器，并以其作为奖励信号引导证明生成器自我修正，形成“生成—验证—优化”闭环。为应对生成与验证能力同步提升的挑战，团队提出扩展验证计算资源以自动标注难验证样本，持续优化验证器性能。

竞赛表现：

IMO 2025：解决5题（83.3%准确率），达金牌水平；
CMO 2024：获73.8%分数，达中国奥赛金牌线；
Putnam 2024：118/120分，超越人类最高分（90分）。

在 IMO 2025、CMO 2024 和 Putnam 2024 等权威赛事中，DeepSeekMath-V2 表现卓越，分别取得金牌水平及118/120的近满分成绩。团队表示，该成果验证了自验证推理路径的可行性，为构建可靠数学智能系统提供新方向。模型基于 DeepSeek-V3.2-Exp-Base 构建，已按 Apache 2.0 协议开源。

论文标题：DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
模型地址：https://huggingface.co/deepseek-ai/DeepSeek-Math-V2
论文地址：https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdf

微信关注我们

原文链接：https://www.oschina.net/news/386283

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

DAU 超 1100 万，Soul App 成为中国 AI 社交第一股

国内 AI+沉浸式社交平台Soul App已正式向港交所主板递交上市申请，由中信证券担任独家保荐人，战略投资者腾讯持股达 49.9%（不参与日常管理及业务运营）。公司财务报告指出，其收入从2022年的16.67亿元增长至2024年的22.11亿元，复合增长率超15%，2025年前八个月收入达16.83亿元；自2023年起已实现稳定盈利，2024年全年及2025年前八个月经调整盈利分别为3.37亿和2.86亿元，毛利率高达83.7%和81.5%，2024年经营活动所得现金净额为4.21亿元。平台主要收入来自AI驱动的情绪价值服务（虚拟物品及会员特权），该业务在2025年前八个月占比超九成，每名付费用户月均收入（ARPPU）104.4元。Soul累计注册用户约3.9亿，2025年前八个月DAU约1100万，用户日均使用时长超50分钟，月均三个月用户留存率达80%，根据弗若斯特沙利文报告，截至2025年前八个月，其DAU、日人均启动次数（20.1次）新安装用户30日留存率（23%）在中国AI+沉浸式社交平台中排名第一。此次IPO募集所得款项计划用于AI能力研发、全球拓展、扩大用户群、...

2025-11-28

36

根据英国国家教育研究基金会最新发布的一份报告，预计到2035年，人工智能（AI）和自动化技术可能使英国300万个 “低技能” 岗位消失。这项研究指出，受影响最严重的职业包括技术工人、机械操作员及各类行政职位。与此同时，AI 的发展也将导致对高技能专业人才的需求增加报告显示，尽管 AI 带来的冲击将使低技能职位减少，整体而言，预计到2035年，英国经济仍会净增230万个岗位。然而，新增岗位的分布将非常不均衡。部分研究认为，AI 对高技能岗位的影响可能比对低技能岗位更为显著，而这一观点与当前的普遍看法形成鲜明对比。伦敦国王学院的研究指出，许多高薪行业在经历了裁员，尤其是在 ChatGPT 发布之后。值得注意的是，英国政府也认为管理顾问、心理学家和法律从业者等职业更容易受到 AI 的影响，而运动员、屋顶工人和砖匠等职业则被认为不太容易被取代。实际上，许多企业已经开始感受到 AI 对人力资源结构的影响。例如，伦敦知名律所高伟绅宣布裁减约10% 的业务服务岗位，部分原因归结为 AI 技术的崛起。普华永道的负责人也表示，AI 的出现改变了企业对人才的需求，因而撤回了大规模扩招的计划。

2025-11-28

34

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。