DeepSeek-Prover-V2

DeepSeek-Prover-V2是一个开源AI，革命性的正式定理在LEAN 4中证明了由DeepSeek-V3提供支持的Minif2F检验的88.9％的通过率，并解决了49/658 Putnambench问题。