MiniF2F测试

DeepSeek 推出 DeepSeek-Prover-V2，支持最长32K上下文输入。基于递归加强化学习的组合训练，新模型在MiniF2F测试中实现88.9%通过率，覆盖高中到本科多个数学领域。