DeepSeekMath-V2가 스스로 증명을 검증하는 혁신적 메커니즘으로 Putnam에서 118/120점을 기록. 정답보다 증명 과정의 엄밀성을 중시하는 새로운 접근법을 소개합니다.