外媒報道，中國人工智能初創公司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)(港股報價延遲最少十五分鐘。沽空資料截至 2025-04-30 16:25。)
免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。