DeepSeek-Prover-V2 登场：AI 数学推理新王者，88.9% 通过率设新标杆
GoodNav 报道，深度求索（DeepSeek）4月30日在 Hugging Face 开源社区发布了名为 DeepSeek-Prover-V2-671B 的新模型，并在 GitHub 等平台上公布了相关论文。详情请见此链接，GitHub 地址在此，论文下载链接在此。
据论文介绍，DeepSeek-Prover-V2 是一个专注于形式化数学推理的开源大语言模型，其构建于 DeepSeek-V3-0324 模型之上，并通过递归定理证明管道来生成初始数据。
© 版权声明
文章版权归作者所有，未经允许请勿转载。
相关文章
暂无评论...
GoodNav - 发现优质资源网站，探索无限可能！我们精选全球设计、编程、AI、站长、游戏、工具、搜索、百科、生活、教育、娱乐等优质资源网站，助你提升效率，开启精彩网络世界！