홈 / 뉴스 / AI AI DeepSeek, 재귀적 증명 탐색 및 새로운 벤치마크를 통해 신경 정리 증명 발전시키는 DeepSeek-Prover-V2 공개. 2025년 04월 30일 Synced Review Synced 이 기사의 본문 요약은 원문에서 확인하실 수 있습니다. 출처 Synced Review 원문 보기 → ← 뉴스 목록으로 AI 도입 문의