DeepSeek-Prover-V2는 Lean 4에서 입증되는 공식 정리를 혁신하는 오픈 소스 AI AI입니다. Deepseek-V3에 의해 구동되면서 미니 시프 2F- 검정에서 88.9%의 패스 속도를 달성하고 49/658 Putnambench 문제를 해결합니다.
