Yapay Zeka ModelleriDeepSeek-Prover-V2 2026’da miniF2F-test’te %92.4 Başarı ile Yeni Sınır Koydu
DeepSeek, matematiksel kanıtlamada devrim yaratacak yeni modeli DeepSeek-Prover-V2'yi duyurdu. Recursive proof search ve yeni bir benchmark ile neural theorem proving alanında dünya rekoru kırdı.






















