DeepSeek-Prover-V2
Memajukan penalaran matematik rasmi melalui RL
Pilihan
2 Undi
Penerangan
DeepSeek-Prover-V2 adalah sumber terbuka AI yang merevolusikan teorem formal yang terbukti dalam Lean 4. Dikuasakan oleh DeepSeek-V3, ia mencapai kadar lulus 88.9% pada ujian minif2f dan menyelesaikan masalah 49/658.