Deepseek-Prover-V2
Tiến bộ lý luận toán học chính thức thông qua RL
Nổi Bật
2 Bình Chọn
Mô Tả
Deepseek-Prover-V2 là một Định lý chính thức của AI nguồn mở được chứng minh trong Lean 4. Được cung cấp bởi DeepSeek-V3, nó đạt được tỷ lệ vượt qua 88,9% trên thử nghiệm minif2F và giải quyết các vấn đề 49/658 putnambench.