Büyük dil modelleri birçok dil için etkili değildir. Bilim insanları, İngilizce konuşmayan yaklaşık 5 milyar insan için neyin tehlikede olduğunu açıklıyor. Bilim insanları, büyük dil […]
Devamını okuEtiket: LLM eğitimi
DeepSeek, DeepSeek-Prover-V2’yi Tanıttı: Yinelemeli Kanıt Arama ve Yeni Bir Ölçüt ile Sinirsel Teorem Kanıtlamayı Geliştirme
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
