变色龙 (@bianselong) 在 DeepSeek-Prover-V2 登场：AI 数学推理新王者，88.9% 通过率设新标杆中发帖IT之家 5 月 1 日消息，深度求索（DeepSeek）昨日（4 月 30 日）在 AI 开源社区 Hugging Face 上，发布名为 DeepSeek-Prover-V2-671B 的新模型，随后在 GitHub 等平台上公布了论文信息

变色龙 (@bianselong) 在 DeepSeek-Prover-V2 登场：AI 数学推理新王者，88.9% 通过率设新标杆中发帖

IT之家 5 月 1 日消息，深度求索（DeepSeek）昨日（4 月 30 日）在 AI 开源社区 Hugging Face 上，发布名为 DeepSeek-Prover-V2-671B 的新模型，随后在 GitHub 等平台上公布了论文信息。 
IT之家援引论文介绍，DeepSeek-Prover-V2 是一款专注于形式化数学推理的开源大型语言模型，基于 DeepSeek-V3-0324，通过递归定理证明管道生成初始数据。 DeepSeek-Prover-V2 登场：AI 数学推理新王者，88.9% 通过率设新标杆 - IT之家