外媒報道,中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型,但沒有於官方或社交媒體上發布聲明。
新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述,但建立在DeepSeek的V3模型之上,為公司去年推出的Prover-V1.5的更新,該版本是為Lean 4中的定理證明而設計。
相關內容《大行》大和:內地互惠基金首季對港股配置升至14.9%新高 料本季或重投公用股及必需性消費品高息股
DeepSeek的新模型是在阿里巴巴(09988.HK) +2.500 (+2.174%) 沽空 $4.02億; 比率 5.045% 昨天宣布推出其最新的Qwen 3系列大型語言模型(LLM)之後推出的,其中包括模型Qwen3-235B-A22B,專門用於解決基於兩種模型(思考和非思考)的數學和編碼查詢。(to/m)(港股報價延遲最少十五分鐘。沽空資料截至 2025-04-30 16:25。)
AASTOCKS新聞