三花快讯 · 2025, 5月6日
DeepSeek 开源数学证明专家：Prover-V2 大模型
支持高中到大学数学问题求解
DeepSeek-Prover-V2 是 DeepSeek 节前发布的专为 Lean 4 形式化定理证明设计的开源大型语言模型。能够生成严谨、可验证的数学证明，适用于从高中到大学水平的数学问题。
目前代码和模型已经在 Hugging Face 上开源，感兴趣的佬可以去围观啦～
商业转载请联系三花微信公众号获得授权，非商业转载请注明本文出处及文章链接，您可以自由地在任何媒体以任何形式复制和分发作品，也可以修改和创作，但是分发衍生作品时必须采用相同的许可协议。
本文采用 CC BY-NC-SA 4.0 - 非商业性使用 - 相同方式共享 4.0 国际 进行许可。