DeepSeekMath-V2: 수학 답보다 증명 검증에 집중하다

한 문장 요약: DeepSeek가 정리 증명과 자체 검증 능력을 강화한 DeepSeekMath-V2 모델과 연구 결과를 공개했다.

무엇이 발표됐나

DeepSeek의 공식 발표일은 2025-11-27다. 이날 공개된 DeepSeekMath-V2의 핵심은 다음과 같다. 증명 생성기와 검증기 사이의 반복 학습으로 올림피아드·형식 수학 과제의 성능을 평가했다.

기술적으로 볼 지점

답의 최종 값만 보상하지 않고 자연어 증명의 오류를 판별하는 검증 모델을 함께 학습해 추론 품질을 개선한다.

왜 중요했고, 무엇을 경계해야 하나

수학 추론 경쟁이 정답률에서 과정의 엄밀성과 자동 검증 가능성으로 이동했다.

자연어 검증기도 오류를 낼 수 있으며 Lean 같은 형식 증명기로 확인된 결과와 구분해야 했다.

이 글은 발표 당시의 핵심을 빠르게 확인하기 위한 브리핑이다. 수치와 제공 범위는 아래 1차 출처를 기준으로 정리했으며, 별도의 직접 벤치마크를 수행했다는 의미는 아니다.

공식 1차 출처

• DeepSeekMath-V2 repository — DeepSeek, 2025-11-27