PANews는 4월 30일 커뮤니티와 Hugging Face 페이지에 따르면 DeepSeek이 오늘 수학적 정리 증명 작업에 초점을 맞춘 새로운 모델인 DeepSeek-Prover-V2-671B를 오픈 소스로 공개했다고 보도했습니다. 이 모델은 전문가(MoE) 아키텍처의 혼합을 기반으로 하며 공식적 추론 훈련을 위해 Lean 4 프레임워크를 사용합니다. 매개변수 크기는 671B이고, 강화 학습과 대규모 합성 데이터를 결합하여 자동화된 증명 기능을 크게 개선했습니다. 이 모델은 Hugging Face에서 출시되었으며 현지 배포와 상업적 사용을 지원합니다.