DeepSeek团队发布236B参数数学大模型DeepSeek-Math-V2，采用MoE架构，仅激活21B参数，支持128K上下文。该模型以Apache2.0开源，引发下载热潮。在数学测试中表现优异：MATH基准达75.7%，接近GPT-4o；AIME2024解题30中4，超越Gemini和Claude；Math Odyssey获53.7%成绩。其核心技术为“自验证”机制。
OpenAI研发的AI推理系统在2025年国际信息学奥赛中获得金牌，击败98%人类选手。该系统完全模拟人类比赛环境：断网状态、不调用外部知识库、5小时限时完成。基于通用推理模型自主解题，未针对比赛专门训练。相比去年铜牌成绩（49%分位），今年实现跨越式进步。近期该系统还在AtCoder总决赛和国际数学奥赛等顶级赛事中表现优异，展现强大推理能力。
OpenAI推出ChatGPT Study学习模式，为教育领域带来创新工具。该模式提供交互式提示、支架式回应等四大功能，帮助学生系统化理解解题思路，适用于数学、文学等多学科。功能已向所有用户开放，即将推出专用Edu版本。教育工作者认为这将改变传统教学模式，提升学习效率，让教师更专注于课程深度。AI技术在教育领域的应用展现出巨大潜力，未来或将成为师生的重要辅助工具。
AI初创公司Harmonic推出数学推理AI"亚里士多德"，主打无幻觉精准解答。该应用通过开源语言Lean实现算法验证，在2025年国际奥数测试中获金牌表现。公司刚完成1亿美元B轮融资，估值达8.75亿美元，致力于打造"数学超智能"。未来将开放API并推出网页版，拓展商业应用场景。
GoMim是一款功能强大的AI数学解题器，提供免费、逐步的数学方程、微积分等解决方案。
Kimi k1.5 是一个通过强化学习扩展的多模态语言模型，专注于提升推理和逻辑能力。
强大的AI数学解题器，提供准确答案和逐步解决方案。
通过扫描问题提供数学解题步骤和解释。
Openai
$2.8
Input tokens/M
$11.2
Output tokens/M
1k
Context Length
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$7
$35
Google
$2.1
$17.5
$21
$105
$0.7
Alibaba
$4
$16
$1
$10
256
$6
$24
Baidu
128
$2
$20
Moonshot
Bytedance
$0.8
32
launch
ThinkPRM-7B是一款基于R1-Distill-Qwen-7B架构的生成式过程奖励模型，专门用于对推理过程进行逐步验证。它通过生成明确的验证思维链来评估数学解题、代码生成等推理任务的每一步正确性，具有数据效率高、可解释性强的特点。
Vijayendra
DeepThinkerv2是一个具备深度数学推理能力的大语言模型，通过递归思考模式和多重验证机制提升解题准确性。
prithivMLmods
基于Qwen-1.5B微调的紧凑型多语言推理模型，擅长数学解题、逻辑推理、代码生成和通用任务
Omartificial-Intelligence-Space
基于Qwen2.5-3B微调的阿拉伯语推理专用语言模型，专注于提升阿拉伯语语言模型在逻辑推理和数学解题方面的能力。
%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
