這個模型是DeepSeek-Prover-V1.5的升級版，專門用于數學證明領域。V1.5還是參數只有7B的小模型，直接升到大模型。
模型：
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
總結：Qwen3依然沒有逃脫汪峰定律
大家五一快樂
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
財聯社 2025-06-27 17:24:26
0 跟貼 0
北京
