AI 증명 뉴스와 분석

DeepSeek, 수학 증명 모델 Prover-V2 공개

DeepSeek이 Lean 4 형식 검증 시스템 내에서 수학 정리를 자동 증명하는 특화 모델 Prover-V2를 출시했으며, miniF2F 벤치마크에서 최신 최고 수준에 근접한 성과를 달성했다.