发布日期: 2025-07-28
按照目前颁发的音讯，DeepSeek-Prover-V2-671B 操纵了更高效的 safetensors 文献式样，并撑持众种盘算精度，简单模子更疾、更省资源地锻炼和摆设。
从定名上看，这款参数高达 6710 亿的模子不妨是昨年揭橥的数学 AI 模子 Prover-V1.5 的升级版。
不少网友推测，这款模子延续了前作 Prover-V1.5 的派头，特意用来攻陷数学困难，更加擅长主动注明定理、做繁复盘算，好比像 AlphaGo 下围棋相似，通过「自我对弈」来学数学。