AI在线 AI在线

数学推理

DeepSeek-Math-V2 正式发布：开源模型首次以金牌成绩征服国际数学奥林匹克

DeepSeek-Math-V2 正式发布：开源模型首次以金牌成绩征服国际数学奥林匹克

DeepSeek今日正式发布 DeepSeek-Math-V2，这款6850亿参数的混合专家（MoE）模型成为全球首个以开源形式达到国际数学奥林匹克(IMO)金牌水平的数学推理大模型。 该模型基于 DeepSeek-V3.2实验版基础架构开发，以 Apache2.0开源协议完整放出权重，在数学推理能力上实现了质的飞跃。 最引人注目的突破在于其开创性的“生成-验证”双模型闭环机制。
11/30/2025 2:13:48 PM AI在线
LLM能理解数学吗？最新研究揭露大模型数学推理的致命缺陷

LLM能理解数学吗？最新研究揭露大模型数学推理的致命缺陷

你有没有想过，那些在聊天中侃侃而谈的AI大模型，遇到数学题时会是什么样子？ 就像一个平时很会聊天的朋友，突然被问到复杂的数学问题时支支吾吾的样子。 最近有研究团队专门研究了这个问题，结果发现了一些让人意外的真相。
5/27/2025 1:27:00 AM 无影寺
深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙

深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙

就在刚刚，DeepSeek-Prover-V2正式发布。 此次DeepSeek-Prover-V2提供了两种模型尺寸：7B和671B参数。 DeepSeek-Prover-V2-671B：在DeepSeek-V3-Base基础上训练，推理性能最强。
5/1/2025 10:33:59 AM 新智元
360智脑团队成功复现Deepseek强化学习效果，发布开源模型Light-R1-14B-DS

360智脑团队成功复现Deepseek强化学习效果，发布开源模型Light-R1-14B-DS

近日，360智脑团队宣布成功复现Deepseek的强化学习效果，并正式发布开源推理模型 Light-R1-14B-DS。 该模型性能表现超越 DeepSeek-R1-Distill-Llama-70B和 DeepSeek-R1-Distill-Qwen-32B，成为业界首款在14B参数规模上实现强化学习效果的模型，显著提升了数学推理能力，成绩超过大多数32B级别模型。 与 DeepSeek-R1-14B 相比，Light-R1-14B-DS*在数学竞赛任务中表现突出:在 AIME24测试中提升4.3分，在 AIME25中更是提高10分。
3/14/2025 10:07:00 AM AI在线
不蒸馏 R1 也能超越 DeepSeek，上海 AI Lab 用 RL 突破数学推理极限

不蒸馏 R1 也能超越 DeepSeek，上海 AI Lab 用 RL 突破数学推理极限

从 Qwen2.5-32B-Base 模型出发，仅通过微调和基于结果反馈的强化学习，在不蒸馏超大模型如 DeepSeek-R1 的情况下，就能超越 DeepSeek-R1-Distill-Qwen32B 和 OpenAI-O1 系列的超强数学推理性能。
2/16/2025 12:14:22 PM 汪淼