DeepSeek-Prover 定理证明模型开源
深度求索开源面向 Lean 4 形式化数学证明的 DeepSeek-Prover 7B，在 miniF2F 基准测试中实现 46.3% 的整道题目形式化证明通过率。
- 公告日期
- 2024-05-23
- 开放使用日期
- 与公告日期相同
- 厂商
- 深度求索
- 模态
- 语言
- 核实状态
- 已核实
AI 发布时间线
深度求索开源面向 Lean 4 形式化数学证明的 DeepSeek-Prover 7B，在 miniF2F 基准测试中实现 46.3% 的整道题目形式化证明通过率。