30 Nisan 2025
DeepSeek, 671 Milyar Parametreli Otomatik Teorem İspat Modeli DeepSeek-Prover-V2-671B'yi Açık Kaynak Olarak Yayınladı
DeepSeek, matematikte otomatik ispat devrimi yaratan ve 671 milyar parametreyle çalışan DeepSeek-Prover-V2-671B modelini açık kaynak yayınladı.