Tác giả: Trường An, Shenchao TechFlow
DeepChao dẫn nhập: Đội NEAR AI đã giải quyết toàn bộ 672 câu hỏi từ cuộc thi toán học hàng đầu Bắc Mỹ bằng Agent, tổng chi phí khoảng 111 USD, trung bình 0,17 USD mỗi câu. Đội NEAR AI đã sử dụng mô hình mã nguồn mở của Trung Quốc DeepSeek V4 để thực hiện bài kiểm tra này. Đây không chỉ đơn thuần là cuộc thi trí tuệ của mô hình lớn; đằng sau hóa đơn tính toán là một ngành kinh doanh hạ tầng nhằm phổ cập hóa việc “xác minh hình thức” cho các hợp đồng thông minh đắt đỏ.
Dữ liệu kiểm tra từ kho mã nguồn mở đã phơi bày chi phí giải quyết vấn đề của các mô hình lớn.
Gần đây, theo dữ liệu do Alex Skidanov, đồng sáng lập NEAR Protocol và các nguồn chính thức công bố, Agent của NEAR AI đã giải quyết toàn bộ 672 bài toán khó trên PutnamBench.
Để giúp những người đọc chưa quen biết hiểu rõ, PutnamBench không phải là một bộ câu hỏi thông thường, mà là một bài kiểm tra chuẩn được hình thức hóa từ các đề thi của cuộc thi toán học đại học hàng đầu Bắc Mỹ (William Lowell Putnam).
Nói một cách dễ hiểu, đó là để AI thực hiện các suy luận logic toán học chặt chẽ, xem liệu nó có thể tự giải bài toán hay không. Để hoàn thành toàn bộ lời giải, NEAR AI đã chi khoảng 111,85 USD. Trung bình, chi phí cho mỗi câu hỏi là 0,17 USD.
Để so sánh, các phương án khác đạt điểm tuyệt đối có hóa đơn đắt hơn nhiều.
Theo dữ liệu do MSBIntel tổng hợp, sử dụng GPT-5.6 của OpenAI, chi phí trung bình mỗi câu hỏi lên tới 44,5 USD; sử dụng Claude Opus 5 của Anthropic, mỗi câu hỏi cũng cần 3,52 USD.
Trong bài kiểm tra cụ thể này, NEAR đã sử dụng giải pháp DeepSeek V4 để giảm chi phí xuống còn một phần hai trăm năm mươi so với GPT-5.6.
Các chuỗi công cộng giải bài toán, ý của người say rượu không phải ở rượu
Đội ngũ chuỗi công cộng đầu tư công sức giải các bài toán học, không nhằm mục đích giáo dục thị trường.
Yêu cầu cốt lõi của bài kiểm tra PutnamBench là tính khả năng xác minh của máy: câu trả lời do AI tạo ra không chỉ là một đoạn văn bản, mà phải là mã chứng minh nghiêm ngặt được viết bằng Lean 4 (một ngôn ngữ trợ lý chứng minh phổ biến).
Các mã này không được phép có lỗ hổng ngữ pháp, không được bỏ qua bất kỳ bước suy luận nào, và phải được máy xác minh 100% thành công. Đồng thời, điều này trong lĩnh vực khoa học máy tính tương ứng với một kỹ thuật then chốt, đó là xác minh hình thức.
Liên quan đến ngành công nghiệp mã hóa, hợp đồng thông minh đang giữ số tiền lên đến hàng trăm triệu乃至 hàng tỷ đô la Mỹ. Việc kiểm tra mã truyền thống phụ thuộc vào con người để tìm lỗ hổng, trong khi xác minh hình thức sử dụng logic toán học chặt chẽ để chứng minh từng dòng mã không bao giờ sai trong mọi trạng thái có thể xảy ra.
Trong thời gian dài, nhược điểm nghiêm trọng của xác minh hình thức là đắt và chậm. Nó đòi hỏi các chuyên gia an ninh hàng đầu và chu kỳ kéo dài, thường chỉ các dự án lớn có nguồn vốn dồi dào mới có thể chi trả.
Lần kiểm tra này của NEAR AI đã chứng minh tính khả thi của việc sử dụng các mô hình AI mã nguồn mở để tạo hàng loạt các chứng minh toán học đáng tin cậy, đồng thời xác minh chi phí thấp của nó.
Cơ sở hạ tầng dân dã đảm bảo an toàn trên chuỗi
Đẩy chi phí xác minh hình thức xuống chỉ vài xu, đây là lĩnh vực kinh doanh thực tế mà NEAR đang triển khai.
Hiện tại, bộ mã đã tích hợp DeepSeek và Lean 4 đã được mở nguồn hoàn toàn. Hướng đi tiếp theo mà NEAR chính thức công bố là áp dụng trực tiếp bộ công cụ chi phí thấp này để xác minh bảo mật cho chính NEAR Protocol và các hợp đồng thông minh cốt lõi.
Vì vậy, bạn có thể hiểu đây là một lần phân phối công nghệ, hoặc nói một cách dễ hiểu hơn là đội ngũ dự án đang thực hiện các hành động liên quan đến chủ đề AI.
Nếu AI mã nguồn mở có thể ổn định tạo ra các chứng minh an toàn mã nguồn có thể xác minh bằng máy móc, điều này có nghĩa là các nhà phát triển thông thường và các nhóm dự án nhỏ trong tương lai cũng có thể thực hiện xác minh hình thức với chi phí chỉ vài xu trước khi triển khai hợp đồng, giảm xác suất xảy ra sự cố với hợp đồng thông minh.
Tuy nhiên, về mặt khách quan, điều này không có mối liên hệ trực tiếp với biến động giá ngắn hạn của token NEAR. Nhưng trong cuộc cạnh tranh nền tảng cơ sở của hệ sinh thái công blockchain, việc chi vài chục cent để dọn dẹp rủi ro còn có giá trị kinh doanh thực tế hơn nhiều so với việc tốn hàng triệu để sửa chữa sau khi sự việc xảy ra.