DeepSeek에서 형식적 정리를 위해 설계된 새로운 오픈 소스 LLM DeepSeek-Prover-V2-7B를 공개했어요. DeepSeek-V3를 활용한 재귀적 정리 증명 파이프라인으로 수집된 초기화 데이터를 사용했어요. 비공식적, 형식적 수학적 추론을 통합하여 모델의 초기 단서를 생성하는 과정을 거쳤어요.