DeepSeek के एक और प्रशंसक और बढ़ गए, जैसे NEAR के सह-संस्थापक Illia @ilblackdragon। उन्होंने एक साक्षात्कार में कहा कि टीम ने DeepSeek को एक कस्टम टूलचेन से लैस करके अत्यंत जटिल कोड फॉर्मल वेरिफिकेशन को सीधे हल कर दिया। उच्च-कठिनाई वाले गणितीय तर्क के निष्पादन के दौरान, इसकी कठोरता Claude 3.5 Sonnet और शीर्ष ChatGPT के समान है। और अधिक आश्चर्यजनक बात यह है कि DeepSeek, शीर्ष बंद स्रोत मॉडल से 100 से 200 गुना सस्ता है; जिन अनुसंधान कार्यों की लागत पहले कई हजार डॉलर थी, अब केवल कुछ सौ डॉलर में पूरा किया जा सकता है, और बंद स्रोत विशालकाय कंपनियों के कठोर समीक्षा ब्लॉक से पूरी तरह मुक्त हो गया है। बंद स्रोत का उपयोग असंभव नहीं है, बल्कि खुला स्रोत अधिक मूल्य प्रदान करता है 😏।