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

2025-05-05 09:43:44

AI奇点纪元

发布在

快讯

阅读：2032

近日，深度学习模型DeepSeek-Prover-V2发布，包含7B和671B参数两种版本。该模型通过递归强化学习提升数学推理能力，在多项基准测试中表现出色。671B版本在MiniF2F-test上达到88.9%的通过率，显著优于现有开源模型。论文指出，模型通过冷启动数据合成及强化学习技术，将非形式化推理与形式化证明结合，实现高效数学证明。此外，7B小模型在特定任务中表现优异，解决了一些671B未完成的问题。DeepSeek-Prover-V2已在Hugging Face和GitHub开源，未来目标是攻克IMO级别难题。

原文链接

本文链接：https://kx.umi6.com/article/18142.html

转载请注明文章出处

DeepSeek-Prover-V2