Một người yêu thích DeepSeek nữa đã gia nhập, chẳng hạn như Illia, đồng sáng lập NEAR @ilblackdragon. Trong cuộc phỏng vấn độc quyền, anh cho biết nhóm đã trang bị cho DeepSeek một bộ công cụ tùy chỉnh, giúp giải quyết trực tiếp bài toán xác minh hình thức mã nguồn cực kỳ phức tạp. Khi thực hiện các suy luận logic toán học khó khăn, mức độ chặt chẽ của nó hoàn toàn có thể sánh ngang với Claude 3.5 Sonnet và ChatGPT cao cấp nhất. Điều còn đáng kinh ngạc hơn là DeepSeek rẻ hơn các mô hình đóng nguồn hàng đầu từ 100 đến 200 lần—những nhiệm vụ nghiên cứu trước đây tốn vài chục nghìn đô la, giờ đây chỉ cần vài trăm đô la để hoàn thành, đồng thời hoàn toàn thoát khỏi sự kiểm duyệt thô bạo từ các đại gia đóng nguồn. Không phải vì mô hình đóng nguồn quá đắt, mà vì mã nguồn mở mang lại hiệu quả chi phí vượt trội hơn 😏.