DeepSeek’in hayranları arasında NEAR’in ortak kurucusu Illia @ilblackdragon da yer alıyor. Röportajında, ekibin DeepSeek’e özel bir araç zinciri sağlayarak son derece karmaşık kod formel doğrulamasını doğrudan tamamladığını belirtti. Yüksek zorluktaki matematiksel mantık çıkarımlarını gerçekleştirirken, onun titizlik seviyesi Claude 3.5 Sonnet ve en üst seviye ChatGPT ile tamamen yarışabiliyor. Daha da etkileyici olan, DeepSeek’in en üst düzey kapalı kaynak modellerinden 100 ila 200 kat daha ucuz olması. Daha önce birkaç bin dolarlık bir araştırma görevi şimdi birkaç yüz dolarla çözülebiliyor ve kapalı kaynak büyük şirketlerin kaba inceleme engellerinden tamamen kurtuluyor. Kapalı kaynaklı olmak maliyetli değil, açık kaynaklı olmak daha verimli 😏.