DeepSeek上传新数学AI模型

阿斯达克财经
Yesterday

外媒报道,中国人工智能初创公司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。)

AASTOCKS新闻

Disclaimer: Investing carries risk. This is not financial advice. The above content should not be regarded as an offer, recommendation, or solicitation on acquiring or disposing of any financial products, any associated discussions, comments, or posts by author or other users should not be considered as such either. It is solely for general information purpose only, which does not consider your own investment objectives, financial situations or needs. TTM assumes no responsibility or warranty for the accuracy and completeness of the information, investors should do their own research and may seek professional advice before investing.

Most Discussed

  1. 1
     
     
     
     
  2. 2
     
     
     
     
  3. 3
     
     
     
     
  4. 4
     
     
     
     
  5. 5
     
     
     
     
  6. 6
     
     
     
     
  7. 7
     
     
     
     
  8. 8
     
     
     
     
  9. 9
     
     
     
     
  10. 10