DeepSeek Prover V2 Yapay Zeka Modeli Tanıtıldı Yapay zeka dünyası, matematiksel ispatlar ve teorem çözümleri konusunda önemli bir adımla daha.