外媒报道，中国人工智能初创公司DeepSeek周三向开源AI社区Hugging Face上传一款专门用於解决数学问题的新型专业AI模型，但没有於官方或社交媒体上发布声明。

新模型Prover-V2-671B在该公司的Hugging Face页面上没有官方描述，但建立在DeepSeek的V3模型之上，为公司去年推出的Prover-V1.5的更新，该版本是为Lean 4中的定理证明而设计。

相关内容《大行》交银国际：续看好港股AI及科网股 重点关注电力公用、电讯、内银等现金流稳定及股息具吸引力板块
DeepSeek的新模型是在阿里巴巴(09988.HK)  +4.900 (+4.170%)    沽空 $4.02亿; 比率 5.045%   昨天宣布推出其最新的Qwen 3系列大型语言模型(LLM)之後推出的，其中包括模型Qwen3-235B-A22B，专门用於解决基於两种模型(思考和非思考)的数学和编码查询。(to/m)(港股报价延迟最少十五分钟。沽空资料截至 2025-04-30 16:25。)