보관된 글 — US — techcrunch
DeepSeek, 수학 중심 AI 모델 Prover 업그레이드
중국의 AI 연구소인 DeepSeek는 수학에 초점을 맞춘 AI 모델 Prover을 버전 V2로 업그레이드했습니다. 이 모델은 HuggingFace에서 호스팅되며, 6710억 개의 매개변수를 가진 V3 모델에 기반을 두고 있습니다. Prover는 전문가 그룹 혼합(MoE) 구조를 통해 형식적인 정리증명과 수학적 추론을 향상시킵니다. 회사는 더 나은 발전을 위해 외부 자금을 모집할 수도 있습니다.
핵심 정리
- 딥씽은 HuggingFace에서 Prover AI 모델의 V2를 공개했습니다.
- Prover V2는 6710억 개의 매개변수를 가진 더 강화된 V3 모델에 기반을 두고 있습니다.
- MoE 아키텍처를 통해 모델은 과업을 하위과업으로 효율적으로 분해하여 전문 처리에 활용할 수 있습니다.
- V2 이전의 Prover의 마지막 업데이트는 8월에 이루어졌으며, 공식 정리 프로세스에서의 응용 가능성을 강조했습니다.
- 딥씽은 외부 자금 조달을 고려 중으로, 확장 및 추가 개발 계획을 시사하고 있습니다.
왜 중요한가
- 인공지능에 초점을 맞춘 기업들의 증가는 교육 및 연구를 포함한 다양한 분야에서 전문화된 인공지능 모델로 나아가는 보다 큰 추세를 반영하고 있습니다.
- 이러한 발전은 인공지능 기술에 대한 투자가 증가하면서, 2025년에는 AI 능력이 전통적인 학술적 실천을 변형시킬 수 있는 해가 될 것으로 전망됩니다.
- DeepSeek의 발전은 수학 관련 인공지능의 경쟁 환경에 기여하며, 자연어 처리 및 컴퓨터 비전에서 관찰된 유사한 추세를 병행하고 있습니다.
DeepSeek의 Prover 업데이트는 수학 중심 AI의 중요한 발전을 강조하며, AI 기술의 변화하는 풍경 속에서 전략적인 위치를 확립하고 있습니다. 동시에 외부 펀딩의 잠재력은 더 많은 혁신을 이끌어낼 수 있습니다.