AI giải ba bài toán mở: Tại sao blockchain phải dừng lại trước khi ăn mừng?

Crypto Briefing vừa phát đi một thông tin khiến cộng đồng tiền số xôn xao: một hệ thống AI đã giải được ba bài toán mở trong toán học. Không tên tuổi, không mã nguồn, không bài nghiên cứu. Chỉ có một tuyên bố lớn phát ra giữa một thị trường đang tăng nóng. Tôi lập tức nhớ đến một câu nói cũ trong nghề phân tích vĩ mô: khi một con số quá đẹp đến mức không thể kiểm tra, thì thường nó được sinh ra để bán cho bạn một câu chuyện. Nhưng câu chuyện này không đến từ một dự án token rác. Nó đến từ một báo cáo về AI, một lĩnh vực đang được gắn với phép màu về năng suất, mật mã và tương lai của tri thức. Vậy điều gì đang thực sự xảy ra? FrontierMath là bộ kiểm tra do Epoch AI xây dựng, được công bố như một cột mốc đánh giá năng lực AI trong toán học nghiên cứu. Những mô hình ngôn ngữ lớn tốt nhất hiện nay, khi đối mặt với các bài toán trong FrontierMath, gần như bất lực. Tỷ lệ giải đúng thấp đến mức các nhà phát triển không coi đây là một bài kiểm tra thông thường. Nó được thiết kế để phân loại ranh giới giữa việc giải được bài toán phổ thông và tham gia vào quá trình khám phá toán học. Cũng vì thế, khi bài báo của Crypto Briefing khẳng định AI giải được ba bài toán mở, người đọc có khuynh hướng nghĩ rằng máy móc đã vượt qua nhà toán học. Nhưng đọc kỹ bản phân tích gốc, tôi nhận ra không hề có một dòng chứng minh nào. Bài toán lớn nhất nằm ở định nghĩa của từ mở. Trong giới hạn, một bài toán được gọi là mở khi nó chưa có lời giải chính thức, hoặc chưa được cộng đồng toán học công nhận. Không giống câu hỏi trắc nghiệm, một lời giải như vậy phải trải qua quá trình phản biện, kiểm chứng, và thường phải được viết lại bằng một ngôn ngữ chặt chẽ. AI có thể đưa ra một dự đoán đúng, một hướng đi hợp lý, hoặc một phản ví dụ gây sốc. Nhưng giải được có nghĩa là bài toán đã được khép lại. Điều đó cần bằng chứng, không phải tuyên bố. Với hơn một thập kỷ theo dõi cả ngành tài chính và công nghệ, tôi học được một thói quen: không bao giờ tin một kết quả khoa học khi tác giả chưa giải thích được quy trình. Trong lĩnh vực blockchain, khi một dự án huy động vốn chỉ dựa trên whitepaper, tôi từ chối ngay. Khi dự án mở kho mã nguồn, tôi mới bắt đầu đọc. Tin AI giải toán cũng cần được xử lý như một dự án crypto nghiêm túc: không phải tin lời, mà là kiểm chứng code. Điều kỳ lạ là tiêu đề của bài báo gốc tạo ra một sự mơ hồ nguy hiểm. Open Problems benchmark có thể là một benchmark hoàn toàn mới, có thể là một tập con của FrontierMath, và cũng có thể chỉ là một danh sách các bài toán được một nhóm nhỏ gán nhãn là mở. Nếu nhà báo đã viết tắt một phát biểu thận trọng như AI đạt được những tiến bộ đáng chú ý thành AI giải được ba bài toán mở, thì toàn bộ mức độ phấn khích hiện tại đang dựa trên một phép chuyển ngữ không kiểm chứng. Tôi đã nhiều lần thấy hiện tượng này trong các bản tin về thị trường tiền số. Một dự án vừa chạy testnet được gọi là bước ngoặt. Một bản vá lỗi được gọi là nâng cấp mang tính cách mạng. Truyền thông cộng hưởng thị trường tạo ra một vòng lặp, trong đó sự phóng đại trở thành sự thật chỉ vì ai đó nói nó đủ lớn. Nếu sự kiện này là thật, kịch bản khả dĩ nhất không phải một cỗ máy duy nhất tự viết ra lời giải hoàn chỉnh. Nó có thể là một hệ thống lai: LLM tìm hướng, công cụ đại số ký hiệu rút gọn, mô hình chuyên biệt đưa ra phỏng đoán, và con người cùng Lean hoặc một trợ lý chứng minh chính thức kiểm tra từng bước. Ngay cả khi như vậy, câu hỏi sống còn là: giải pháp có được trình bày dưới dạng chứng minh tự nhiên có thể đọc được, hay dưới dạng mã Lean có thể xác minh bằng máy? Điều này quyết định hoàn toàn giá trị của kết quả. Còn nếu bài báo chỉ đơn giản thiếu kỹ thuật, thì câu chuyện không còn nói về AI nữa. Nó nói về một nền văn hóa đầu tư đang ngày càng chấp nhận các tín hiệu mơ hồ. Trong một chu kỳ thanh khoản toàn cầu nới lỏng, nhà đầu tư tìm kiếm tăng trưởng. Họ không muốn nghe phân tích rủi ro. Họ muốn nghe một tương lai gấp mười lần. AI giải được bài toán mở chính là một tương lai đủ lớn để bán. Nhưng nếu bạn nhìn vào dữ liệu kỹ thuật, bạn sẽ thấy một khoảng trống lớn giữa câu chuyện và bằng chứng. Điểm mù của giới đầu tư là gộp toán học mở với mật mã bị phá vỡ. Ngay cả khi AI thực sự tạo ra bước đột phá trong vài bài toán cụ thể, điều đó không có nghĩa RSA hay elliptic curve sẽ sụp đổ trong một sớm một chiều. Mật mã ứng dụng dựa trên những cấu trúc toán học với độ khó tính toán đã được thử thách suốt nhiều thập kỷ. Một bài toán mở trong giải tích số có thể không liên quan gì đến hệ mật mã bạn đang dùng. Nhưng có một hệ quả thật sự đáng chú ý: nếu AI tiến gần đến khả năng tự động hóa chứng minh, thì những công cụ như Lean, Coq, Isabelle sẽ trở thành lớp hạ tầng quan trọng của ngành blockchain. Audit smart contract có thể chuyển sang mô hình chứng minh hình thức, thay vì chỉ dựa vào con người đọc code. Điều đó mới là cuộc cách mạng. Nếu tất cả năm mươi bài toán được công bố trong một benchmark, và AI giải được ba, tôi muốn biết bốn mươi bảy bài còn lại thất bại ở mức độ nào. Một mô hình giải được ba bài khó nhưng trượt toàn bộ những bài còn lại vẫn có thể là một cú sốc về mặt nghiên cứu. Nhưng câu chuyện truyền thông thường chỉ kể phần thắng. Tôi cũng muốn biết ba bài toán đó đến từ đâu, ai là người đặt ra, và họ có thuộc diện các bài toán mở nổi tiếng trong giới toán học hay không. Trong blockchain, chúng ta thường nói về sự minh bạch của giao dịch. Nhưng sự minh bạch của một tuyên bố khoa học mới là điều còn thiếu. Cộng đồng là thước đo cuối cùng. Tôi viết điều này không phải như một khẩu hiệu, mà như một nguyên tắc kiểm định. Một tin tức blockchain chỉ có giá trị khi cộng đồng có thể mở nó ra, kiểm tra nó, chất vấn tác giả. Khi một tuyên bố khoa học không có gì để mở, không có gì để kiểm tra, thì điều duy nhất còn lại là lòng tin. Trong một hệ thống tài chính phi tập trung, lòng tin là tồn đọng của cảm xúc, không phải là tài sản lâu dài. Câu hỏi còn bỏ ngỏ: ba bài toán đó là gì? Ai đã kiểm chứng? Bằng chứng ở định dạng nào? Trong một thị trường tăng giá, những câu hỏi này thường bị gạt sang bên. Nhưng người làm nghề cần nhìn xuyên qua sự phấn khích. Giá trị của blockchain không đến từ việc tin vào một tuyên bố lớn, mà đến từ việc tạo ra một bộ máy để bất kỳ ai cũng có thể kiểm chứng tuyên bố đó. Nếu AI thật sự giải được ba bài toán mở, hãy xuất bản lời giải. Nếu chưa, hãy nói rõ là đang tiến triển. Cộng đồng xứng đáng nhận được sự trung thực. Cộng đồng là thước đo cuối cùng.