在这篇名为《DeepSeek Math-V2：迈向可自验证的数学推理》的论文中，DeepSeek指出，大语言模型已经在数学推理方面取得了重大进展，这是人工智能的重要试验台，如果进一步推进，可能会对科学研究产…

2025-11-29 06:04

这种做法虽然能让推理模型在 AIME 和 HMMT 等基准上达到更高水平，乃至达到饱和，但 DeepSeek表示这并不能解决核心问题：正确答案并不保证推理过程正确。」 这一自我验证的数学推理框架可以说突…

2025-11-29 06:00

研究人员要求模型输出自然语言描述和 Python 代码形式的“思维链”步骤，并将自然语言作为 Python 代码注释，仅使用 Python代码输出训练模型。 研究人员使用了 74 万道公开的数学应用题及其…

2025-01-11 13:31