DeepSeek-এর একজন অনুরাগী আরও বেড়েছে, যেমন NEAR-এর সহ-প্রতিষ্ঠাতা Illia @ilblackdragon। তিনি একটি সাক্ষাতকারে বলেন, টিমটি DeepSeek-এর জন্য একটি কাস্টম টুলচেইন সজ্জিত করে অত্যন্ত জটিল কোড ফরমাল ভেরিফিকেশন সহজেই সম্পন্ন করেছে। উচ্চ-কঠিন গাণিতিক যুক্তির প্রমাণ প্রক্রিয়ায়, এর নির্ভুলতা Claude 3.5 Sonnet এবং শীর্ষস্থানীয় ChatGPT-এর সঙ্গে সমান। আরও বিস্ময়কর বিষয় হলো, DeepSeek শীর্ষস্থানীয় বন্ধ সোর্স মডেলের চেয়ে 100 থেকে 200 গুণ সস্তা। আগে কয়েক হাজার ডলারের গবেষণা কাজগুলি এখন কয়েকশো ডলারেই সম্পন্ন করা যাচ্ছে, এবং বন্ধ সোর্স বড় কোম্পানিগুলির কঠোর সংস্কোচন থেকেও মুক্তি পেয়েছে। বন্ধ সোর্সকে ব্যবহার করা অসম্ভব নয়, কিন্তু ওপেন-সোর্সই বেশি মূল্যবান 😏।