Penggemar DeepSeek bertambah lagi, seperti salah satu pendiri NEAR, Illia @ilblackdragon. Dalam wawancara eksklusif, ia menyatakan bahwa tim berhasil menyelesaikan verifikasi formal kode yang sangat kompleks dengan menyediakan rangkaian alat khusus untuk DeepSeek. Dalam menjalankan penalaran logika matematis berat, tingkat ketatannya setara dengan Claude 3.5 Sonnet dan ChatGPT versi unggulan. Yang lebih mengejutkan, DeepSeek harganya 100 hingga 200 kali lebih murah dibandingkan model tertutup teratas. Tugas penelitian yang sebelumnya memerlukan ribuan dolar kini bisa diselesaikan dengan hanya ratusan dolar, sekaligus sepenuhnya menghindari penyensoran kasar dari perusahaan besar berbasis tertutup. Bukan karena model tertutup terlalu mahal, tapi karena open source lebih hemat biaya 😏.