三花快讯 · 2024, 8月19日
DeepSeek-Prover-V1.5：数学证明模型
深度求索开源又一个模型
DeepSeek-Prover-V1.5 是深度求索开源的一款专为 Lean 4 定理证明而设计的新模型，具体咱也看不太懂，用 AI 给你们总结了一下改进点，凑合看。
商业转载请联系三花微信公众号获得授权，非商业转载请注明本文出处及文章链接，您可以自由地在任何媒体以任何形式复制和分发作品，也可以修改和创作，但是分发衍生作品时必须采用相同的许可协议。
本文采用 CC BY-NC-SA 4.0 - 非商业性使用 - 相同方式共享 4.0 国际 进行许可。