DeepSeek 的愛好者又多了一位，例如 NEAR 聯創 Illia @ilblackdragon。 他在專訪中表示，團隊透過為 DeepSeek 配備一套定制工具鏈，直接解決了極其複雜的程式碼形式化驗證問題。在執行高難度數學邏輯推演時，其嚴謹程度完全可與 Claude 3.5 Sonnet 和頂配 ChatGPT 平起平坐。 更令人震驚的是，DeepSeek 比頂級閉源模型便宜了整整 100 到 200 倍，原本需要數萬美元的研究任務，現在只需幾百美元即可完成，並徹底擺脫了閉源大廠粗暴的審查攔截。 不是閉源用不起，而是開源更具性價比😏。