DeepSeek-Prover-V2

DeepSeek-Prover-V2是一个开源的人工智能革命性的形式定理证明在精益4。由DeepSeek-V3提供支持， MiniF2F测试通过率达到88.9% ，解决了49/658 PutnamBench问题。