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

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

2025-11-28 11

据 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

10

AI 到 2035 年或将取代英国 300 万个低技能岗位

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

2025-11-28

11

资源下载

更多资源

优质分享Android(本站安卓app)

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

Apache Tomcat7、8、9（Java Web服务器）

Tomcat是Apache 软件基金会（Apache Software Foundation）的Jakarta 项目中的一个核心项目，由Apache、Sun 和其他一些公司及个人共同开发而成。因为Tomcat 技术先进、性能稳定，而且免费，因而深受Java 爱好者的喜爱并得到了部分软件开发商的认可，成为目前比较流行的Web 应用服务器。

Eclipse（集成开发环境）

Eclipse 是一个开放源代码的、基于Java的可扩展开发平台。就其本身而言，它只是一个框架和一组服务，用于通过插件组件构建开发环境。幸运的是，Eclipse 附带了一个标准的插件集，包括Java开发工具（Java Development Kit，JDK）。

Java Development Kit(Java开发工具)

JDK是 Java 语言的软件开发工具包，主要用于移动设备、嵌入式设备上的java应用程序。JDK是整个java开发的核心，它包含了JAVA的运行环境（JVM+Java系统类库）和JAVA工具。