DeepSeek AI는 Lean 4 정리 증명을 위한 오픈 소스 LLM인 DeepSeek-Prover-V2를 출시했습니다. 훈련 데이터 및 강화 학습을 위해 DeepSeek-V3와 함께 재귀 증명 검색을 사용하여 MiniF2F에서 최고의 결과를 달성합니다. 디…
Open-weights는 폐쇄된 가격 책정에 대한 압박을 풀고 액세스를 확대하여 전체 생태계에 대한 구축-구매 수학 방식을 변경합니다.
요약은 정보 제공 목적으로만 집계되었습니다. 전체 내용을 보려면 소스 링크를 따르세요. 데모 항목은 예시입니다.