外媒報道，中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型，但沒有於官方或社交媒體上發布聲明。

新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述，但建立在DeepSeek的V3模型之上，為公司去年推出的Prover-V1.5的更新，該版本是為Lean 4中的定理證明而設計。

相關內容《大行》高盛上調今年北水流入港股預測至1,100億美元
DeepSeek的新模型是在阿里巴巴(09988.HK)  +4.500 (+3.830%)    沽空 $13.98億; 比率 15.820%   昨天宣布推出其最新的Qwen 3系列大型語言模型(LLM)之後推出的，其中包括模型Qwen3-235B-A22B，專門用於解決基於兩種模型(思考和非思考)的數學和編碼查詢。(to/m)(港股報價延遲最少十五分鐘。沽空資料截至 2025-05-02 16:25。)