文章 2025年5月1日2025年5月1日国际品牌资讯 DeepSeek 悄悄更新了用于数学证明的开源模型 作者 《中华品牌》杂志 此版本是继 2024 年 8 月推出的前身 Prover-V1.5 之后的首次亮相。
