DeepSeek上传新数学AI模型

阿斯达克财经
Apr 30, 2025

外媒报道,中国人工智能初创公司DeepSeek周三向开源AI社区Hugging Face上传一款专门用于解决数学问题的新型专业AI模型,但没有于官方或社交媒体上发布声明。新模型Prover-V2-671B在该公司的Hugging Face页面上没有官方描述,但建立在DeepSeek的V3模型之上,为公司去年推出的Prover-V1.5的更新,该版本是为Lean 4中的定理证明而设计。...

Source Link

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