专栏名称: 爱范儿

关注这个时代最好的产品。

相关文章推荐

新浪科技 · 【#消费赛道迎来利好政策# ... · 9 小时前

新浪科技 · #愿景娱乐CEO回应员工发烧被骂#【#愿景娱 ... · 昨天

36氪 · 300岁TVB老人团播打PK，「视帝们」为何 ... · 昨天

最黑科技 · 住在半山腰？乌克兰设计师给普京造了个“悬空别墅”！ · 昨天

新浪科技 · 【#王自如谈离开格力#：正当想把最新AI技术 ... · 昨天

51好读 › 专栏 › 爱范儿

刚刚，DeepSeek 开源新模型

爱范儿 · 公众号 · 科技媒体 · 2025-04-30 17:53

正文

请到「今天看啥」查看全文

去年开源的 Prover-V1.5 虽然只有 70 亿参数，但在高中数学测试（miniF2F）中成功率达到 63.5%，在大学级别测试（ProofNet）中也拿下了 25.3%，超越了多款开源模型（InternLM2-StepProver、Llemma）。

不少网友猜测，这款模型延续了前作 Prover-V1.5 的风格，专门用来攻克数学难题，尤其擅长自动证明定理、做复杂计算，比如像 AlphaGo 下围棋一样，通过「自我对弈」来学数学。