딥시크, 수학 증명 AI Prover-V2 공개

딥시크, 수학 증명 AI Prover-V2 공개

— 라벨 없이 학습하고, 문제를 쪼개 증명까지 해낸다

DeepSeek이 공개한 Prover-V2는 인간처럼 생각하고, 문제를 분해하고, 수학 정리를 직접 증명하는 AI다. 더 놀라운 점? 라벨이나 정답 없이도 학습이 가능하다.

(c) DeepSeek

주요 기능 및 특징

• Lean 4 기반 수학 증명
  수학 문제를 하위 목표로 쪼개고, 이를 순차적으로 해결해 전체 정리를 완성하는 구조
• 비공식 추론 + 증명 자동 생성
  DeepSeek-V3가 문제를 분석하고, 7B 모델이 각 목표별 증명을 생성
• 강화학습 적용
  정답·오답 피드백만으로도 성능을 끌어올림. 정답이 없어도 하위 목표 해결만으로 학습 가능
• 성과 지표
  MiniF2F: 88.9% 정확도, PutnamBench: 658문제 중 49개 해결
• ProverBench 데이터셋 공개
  총 325개 수학 문제 수록. 미적분, 선형대수, 추상대수 등 폭넓은 영역 포함

AI가 증명하는 시대, 진짜 수학 친구가 왔다

Prover-V2는 단순 계산을 넘어서, 이제는 수학적 사고를 함께 해주는 AI다. 인간 수학자의 일조차 AI가 곁에서 함께하는 시대. 교실이든 연구실이든, 조만간 이 친구가 등장할지도 모른다.