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