Deepseek-Prover-V2
Tiến bộ lý luận toán học chính thức thông qua RL
Đặc trưng
2 Phiếu bầu
Sự miêu 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.