最近搜看股票
報價
| 返回 放大 + 縮小 - | ||||
|
DeepSeek上傳新數學AI模型
推薦 10 利好 14 利淡 3 AASTOCKS新聞
|
||||
|
||||
|
外媒報道，中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型，但沒有於官方或社交媒體上發布聲明。 新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述，但建立在DeepSeek的V3模型之上，為公司去年推出的Prover-V1.5的更新，該版本是為Lean 4中的定理證明而設計。 DeepSeek的新模型是在阿里巴巴(09988.HK)昨天宣布推出其最新的Qwen 3系列大型語言模型(LLM)之後推出的，其中包括模型Qwen3-235B-A22B，專門用於解決基於兩種模型(思考和非思考)的數學和編碼查詢。(to/m)AASTOCKS新聞 |
||||
已將連結複製到剪貼簿
 |
||||
