DeepSeek Rilis Model Pembuktian Matematika Prover-V2
DeepSeek telah merilis Prover-V2, model khusus untuk pembuktian teorema matematika otomatis dalam sistem verifikasi formal Lean 4, mencapai hasil yang mendekati atau setara dengan yang terbaik saat ini pada tolok ukur miniF2F.