Dagdag pa sa mga tagahanga ng DeepSeek, tulad ni NEAR co-founder Illia @ilblackdragon. Sa isang eksklusibong pagsusuri, sinabi niya na ang team ay nakapag-ayos ng isang custom toolchain para sa DeepSeek, na direktang nagsolve sa napakakomplikadong code formal verification. Sa pagpapatupad ng mataas na antas ng matematikal na lohika, ang kanyang katiyakan ay kasing-kalidad ng Claude 3.5 Sonnet at pinakamataas na configuration ng ChatGPT. Mas nakakalito pa, ang DeepSeek ay 100 hanggang 200 beses na mas mura kaysa sa mga pinakamataas na proprietary model—ang mga pag-aaral na dating nangangailangan ng ilang libo dolyar, ayayari na lamang sa ilang daan dolyar, at buong-buo nang nalibre sa mapagkukunan ng mga malalaking proprietary company. Hindi dahil hindi kayang gamitin ang proprietary—kundi dahil mas mura at mas mabuting halaga ang open source 😏.