外媒报道,中国人工智能初创公司DeepSeek周三向开源AI社区Hugging Face上传一款专门用於解决数学问题的新型专业AI模型,但没有於官方或社交媒体上发布声明。
新模型Prover-V2-671B在该公司的Hugging Face页面上没有官方描述,但建立在DeepSeek的V3模型之上,为公司去年推出的Prover-V1.5的更新,该版本是为Lean 4中的定理证明而设计。
相关内容《大行》摩通列出耀才(01428.HK)与富途(FUTU.US)在本港客户数量及资产管理规模比较(表)
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新闻