DeepSeek AI, Lean 4 teorem ispatı için açık kaynaklı bir LLM olan DeepSeek-Prover-V2’yi yayınladı. Eğitim verileri ve takviyeli öğrenme için DeepSeek-V3 ile yinelemeli ispat aramasını kullanarak MiniF2F’de en iyi sonuçları elde ediyor.
Devamını oku
DeepSeek AI, Lean 4 teorem ispatı için açık kaynaklı bir LLM olan DeepSeek-Prover-V2’yi yayınladı. Eğitim verileri ve takviyeli öğrenme için DeepSeek-V3 ile yinelemeli ispat aramasını kullanarak MiniF2F’de en iyi sonuçları elde ediyor.
Devamını oku
