Bài toán chưa giải, câu chuyện đã được kể: AI, FrontierMath và cái bẫy mang tên tiêu đề
Tối thứ Năm, một link từ Crypto Briefing nằm chỏng chơ trong group đầu tư. Ai đó nhắn: "AI giải được toán rồi, sắp tới chúng ta hết việc làm." Tôi mở ra, lướt nhanh, rồi dừng lại ở một câu duy nhất: mô hình AI vừa giải được ba bài toán chưa giải trong bộ benchmark FrontierMath. Không có tên mô hình, không có đường dẫn bài báo, không có bình luận từ Epoch AI. Chỉ có một tiêu đề lớn, và phần thân như một cái túi rỗng. Tôi ngồi lại, tự hỏi: câu chuyện này thực sự nói về điều gì?
Tôi biết FrontierMath từ đầu năm ngoái, khi một đồng nghiệp gửi cho tôi báo cáo đánh giá. Đây là bộ bài toán do Epoch AI xây dựng, với mức độ khó cao hơn nhiều so với các chuẩn mực thông thường. Trong những thử nghiệm công khai ban đầu, ngay cả các mô hình ngôn ngữ lớn nhất cũng chỉ giải đúng một phần nhỏ, có thời điểm dưới năm phần trăm. Nó được thiết kế để không thể "học vẹt" từ dữ liệu trên mạng, bởi vì mỗi bài toán đều mới và yêu cầu suy luận nhiều bước. Vì vậy, khi một bài báo tuyên bố AI giải được ba bài toán mở, tôi phải đọc kỹ. Nhưng càng đọc, tôi càng thấy sự mơ hồ đáng ngờ.
Chính cụm từ "open problems benchmark" khiến tôi dừng lại. Nó có thể là tên riêng của một tập hợp bài toán do FrontierMath thêm vào, nhưng cũng có thể là một bộ câu hỏi riêng, được tạo ra cho mục đích truyền thông. Trong toán học, một bài toán mở có thể là một câu hỏi trải qua nhiều thập kỷ chưa có lời giải, nhưng cũng có thể là một bài tập mới, khó với máy nhưng dễ với người. Sự khác biệt giữa hai nghĩa này quyết định toàn bộ câu chuyện.
Điều tôi quan tâm nhất là từ "giải". Khi con người giải một bài toán, chúng ta cần một chứng minh. Một chuỗi lập luận chặt chẽ, có thể đọc lại, kiểm tra từng bước, và cuối cùng được cộng đồng toán học chấp nhận. Nhưng một mô hình ngôn ngữ thì khác. Nó có thể đưa ra một con số, một dự đoán, hoặc một phác thảo, và nếu số đó khớp với đáp án kỳ vọng, người ta vội gọi là "giải". Điều đó không phải là giải. Nó giống như việc một người nói ra đáp số của một ván cờ mà không thể chơi lại ván cờ đó.
Tôi cũng chú ý đến con số 47. Ba bài toán được giải, nhưng 47 bài còn lại thì sao? Không một dòng nào nói đến chúng. Nếu một mô hình chỉ đạt ba trên năm mươi, tỉ lệ thành công là sáu phần trăm. Điều đó vẫn thấp hơn nhiều so với một sinh viên toán trung bình. Tôi không nói rằng đó không phải là tiến bộ, nhưng nó không phải là bước nhảy vọt. Trong thị trường đầu tư, chúng ta thường bị ám ảnh bởi những con số tròn trĩnh: ba bài toán được giải, nghe như một kỳ tích. Nhưng nếu nhìn vào mẫu đầy đủ, bức tranh trở nên ảm đạm hơn nhiều.
Giả sử toàn bộ tin này là thật, một AI thực sự đã tạo ra một chứng minh hợp lệ cho ba vấn đề chưa được giải quyết. Tôi cần nghĩ về tác động hạ nguồn. Các công cụ chứng minh hình thức như Lean, Coq, Isabelle từ lâu đã là lĩnh vực chuyên môn hẹp. Nếu AI có thể tự động hóa việc viết và kiểm tra chứng minh, ngành phần mềm sẽ thay đổi sâu sắc. Điều này đặc biệt liên quan trực tiếp đến blockchain, bởi vì smart contract, về bản chất, là những chương trình đòi hỏi độ tin cậy tuyệt đối. Tôi từng chứng kiến nhiều vụ hack vì một lỗi logic nhỏ trong một hợp đồng. Nếu một mô hình AI có thể chứng minh tính chính xác của hợp đồng trước khi triển khai, cuộc chơi audit sẽ hoàn toàn khác. Nhưng đó là một câu chuyện dài hạn, không phải là chất xúc tác giá ngay lập tức.
Ngược lại, nếu đây chỉ là một mẩu tin được dàn dựng, tôi biết nó được dàn dựng cho ai. Đó là những người đang nắm giữ token AI, những người cần một lý do để tin rằng cuộc tháo chạy lần này chỉ là tạm thời. Trong bối cảnh thanh khoản rút khỏi các giao thức DeFi, câu chuyện "AI giải toán" là một mũi tiêm doping tinh thần. Nó khiến người ta quên mất rằng câu chuyện và dòng tiền không giống nhau. Tôi nhớ mùa hè DeFi năm 2020, khi mọi người nhắc đến từ "năng suất" như một phép màu, và rồi phép màu bốc hơi khi lượng token farm bắt đầu pha loãng. Câu chuyện là chất dẫn, nhưng không bao giờ là nhiên liệu.
Điều phản trực giác trong toàn bộ vấn đề này: ngay cả khi AI thực sự giải được ba bài toán mở, nó cũng không cứu được một giao thức đang chảy máu. Bởi vì giá token vận hành theo logic của sự chú ý, không phải logic của chân lý. Một kết quả nghiên cứu đúng khoa học có thể không tạo ra một cú bơm nào, trong khi một tin đồn sai hoàn toàn có thể tạo ra sóng tăng. Nếu bạn giao dịch dựa trên tin tức, bạn cần hỏi ai đang trả tiền để câu chuyện này xuất hiện vào đúng thời điểm này. Sự im lặng của Epoch AI đã nói lên nhiều điều. Nếu một sự kiện khoa học lớn thật sự xảy ra, tổ chức tạo ra benchmark sẽ là người đầu tiên công bố số liệu, cùng với chi tiết xác minh. Sự im lặng hoàn toàn là một dấu hiệu đỏ.
Tôi nhìn lại quyết định đầu tư của mình trong tuần qua. Có một giao thức mà tôi từng đặt niềm tin lớn, và nó đã mất gần một nửa thanh khoản chỉ sau bảy ngày. Không một mẩu tin tức về AI nào thay đổi được dòng tiền đang chảy ra khỏi đó. Tôi đóng tab, ghi chú lại một dòng: "Chờ dữ liệu xác minh trước khi tin vào câu chuyện." Đây không phải là sự hoài nghi cứng nhắc, mà là thói quen của một người từng mất tiền vì tin vào những lời hứa đẹp đẽ.
Thị trường crypto luôn cần những câu chuyện. Chúng là lý do khiến người ta thức đêm, mua ở đỉnh, và bán ở đáy. Nhưng câu chuyện đáng giá nhất không phải là câu chuyện khiến bạn phấn khích, mà là câu chuyện có thể trả lời cho câu hỏi: "Làm sao để kiểm tra điều này?" Nếu không có câu trả lời, bạn đang không đầu tư, bạn đang nghe kể chuyện trên một con tàu không có la bàn. Và vào lúc thị trường giảm, thứ bạn cần nhất không phải là một tiêu đề gây sốc, mà là một danh sách các con số có thể kiểm chứng.
Tôi không biết AI có thực sự giải được ba bài toán kia hay không. Tôi chỉ biết rằng câu chuyện được kể ra đúng lúc thị trường cần một phép màu, và phép màu đó đến dưới dạng một bài báo không có một dòng chứng minh nào. Có thể một ngày nào đó tôi sẽ đọc lại bài viết này và thấy mình đã quá thận trọng. Nhưng trong mười tám năm quan sát thị trường, những điểm dữ liệu thiếu xác minh nhất thường là những thứ đáng ngờ nhất. Câu hỏi không phải là "AI có thể giải toán không?" Mà là: "Ai đang kể câu chuyện này, và họ muốn tôi mua gì?" Khi tôi trả lời được câu hỏi đó, tôi sẽ biết mình nên giữ tiền, hay tham gia.
