官网查看
定制方案
- ✓
暂未采集到具体套餐，价格以官网为准
DeepSeek-Prover-V2
通过强化学习推进形式化数学推理
DeepSeek-Prover-V2 是什么？
DeepSeek-Prover-V2 is an open-source AI revolutionizing formal theorem proving in Lean 4. Powered by DeepSeek-V3, it achieves an 88.9% pass rate on MiniF2F-test and solves 49/658 PutnamBench problems.
产品详细介绍
通过强化学习推进形式化数学推理
DeepSeek-Prover-V2 is an open-source AI revolutionizing formal theorem proving in Lean 4. Powered by DeepSeek-V3, it achieves an 88.9% pass rate on MiniF2F-test and solves 49/658 PutnamBench problems.
