数学AI

DeepSeek在五一期间开源了专为数学证明设计的DeepSeek-Prover2模型，包含6710亿参数和70亿参数版本。该模型采用递归与强化学习结合的技术在多项数学测试中表现优异，如MiniFF测试通过率达88.9%。同时发布的ProBench数据集包含325道题目，评估模型能力。实验发现思维链模式能显著证明准确率，小模型在特定问题上甚至超越模型。模型已在Hugging Face，支持数学研究新范式。