外媒报道，中国人工智能初创公司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对信息的准确性和完整性不承担任何责任或保证，投资者应自行研究并在投资前寻求专业建议。