DeepSeek, En Zor Matematik Problemlerini Bile Çözebilen Yapay Zeka Modeli Prover V2'yi Yayımladı

;