最新搜看股票
报价
| 返回 放大 + 缩小 - | ||||
|
DeepSeek上传新数学AI模型
推荐 11 利好 14 利淡 3 AASTOCKS新闻
|
||||
|
||||
|
外媒报道，中国人工智能初创公司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)AASTOCKS新闻 |
||||
已将连结复制到剪贴簿
 |
||||
