DeepSeek은 대규모 수학적 추론 모델인 DeepSeek-Math-V2를 오픈 소스로 공개했습니다. 제미니를 제치고 IMO 금메달을 차지하다 이는 정답을 제공할 뿐만 아니라, 그 추론이 합리적인지 여부도 검증할 수 있습니다. 핵심 혁신은 생성, 검증, 검토를 통합하는 자체 검증 시스템을 개발하는 것입니다. 모델 기능: 자동으로 수학적 증명을 생성합니다. 각 단계가 합리적인지 스스로 확인하세요. 추론 오류가 수정된 후 최종 증명이 출력됩니다. DeepSeek-Math-V2는 여러 까다로운 수학 시험에서 우수한 성적을 거두었습니다. 수학의 5대 주요 분야(대수학, 기하학, 수론, 조합론, 부등식): DeepSeekMath-V2는 GPT-5-Thinking과 Gemini 2.5 Pro를 완전히 능가합니다. 경쟁 성과 IMO 2025(국제수학올림피아드): 6개 문제 중 5개를 풀어 금메달 수준. CMO 2024(중국 수학 올림피아드): 문제 4개 풀고 1개 부분 점수, 금메달 수준. 퍼트넘 2024(미국 대학 수학 경시대회): 120점 중 118점으로 거의 완벽한 점수입니다.
능력 특성 높은 정확도: 정답률은 GPT-5 및 Gemini 시리즈보다 높습니다. 엄격한 추론: 논리의 각 단계는 단계를 건너뛰거나 착각하는 것을 피하기 위해 자체적으로 검사됩니다. 강력한 자기개선 역xiaohu.ai/c/a066c4/deeps… 지속적으로 개선할 수 있습니다. 우수한 해석 가능성: 출력에는 결론뿐만 아니라 전체 추론 과정도 포함됩니다. 자세한 소개: https://t.co/97LnWmuHox
GitHub:github.com/deepseek-ai/De…9 모델 huggingface.co/deepseek-ai/De…Oqj09b