AI giải ba bài toán chưa giải: Lời mời gọi khám phá, hay bài học audit cho thị trường tăng?

Khi tôi còn là kỹ sư audit hợp đồng thông minh, tôi học được một điều: những tuyên bố lớn nhất thường đi kèm với những bằng chứng nhỏ nhất. Hôm nay, giữa một thị trường crypto đang bốc cháy, tôi đọc được một bản tin: AI vừa giải được ba bài toán chưa giải trong lịch sử toán học. Không có tên mô hình. Không có đường dẫn paper. Không có một dòng mã xác minh. Chỉ có một câu chuyện đẹp, được gắn nhãn 'FrontierMath'. Bản tin gốc đến từ Crypto Briefing, một kênh truyền thông chuyên về Web3, vốn nổi tiếng với lối viết hướng đến lưu lượng truy cập hơn là độ chính xác khoa học. Nó không nêu tên một nhóm nghiên cứu cụ thể, không trích dẫn bất kỳ bài toán nào trong ba bài toán được cho là đã giải, không có liên kết tới bài báo, kho lưu trữ mã hoặc tài liệu kỹ thuật. Người đọc chỉ nhận được một thông điệp gây sốc: AI đã vượt qua ranh giới mà nhiều nhà toán học tin là bất khả xâm phạm. FrontierMath, benchmark do Epoch AI xây dựng, được thiết kế để đo khả năng giải quyết các vấn đề toán học ở cấp độ nghiên cứu. Các báo cáo công khai ban đầu cho thấy tỷ lệ giải đúng của những mô hình tốt nhất chỉ ở mức một con số phần trăm. Đó là thử thách dành cho những cỗ máy suy luận mạnh mẽ nhất. Để một mô hình bất ngờ giải được ba bài toán mở — tức là những vấn đề chưa từng có lời giải chính thức — là một bước nhảy vọt về năng lực. Cũng chính vì vậy, nó cần được kiểm tra với sự hoài nghi của một auditor. Hãy tưởng tượng bạn đang audit một hợp đồng thông minh. Ai đó gửi cho bạn một báo cáo nói rằng hợp đồng đó an toàn, sinh lời 40% APY, và có một lượng lớn người dùng đã tin tưởng. Nhưng báo cáo không mô tả cấu trúc dữ liệu, không có địa chỉ ví, không có mã nguồn. Bạn có ký vào báo cáo kiểm toán không? Tôi sẽ không. Và cũng chính tôi — người từng tham gia ICO Filecoin năm 2017, từng chứng kiến những lời hứa lưu trữ phi tập trung thay đổi thế giới — biết rằng một câu chuyện có thể đẹp đến mức nào. Nhưng trong thị trường tăng, vẻ đẹp đó thường che giấu những khoảng trống kỹ thuật chết người. Mỗi lỗi trong code là một lời mời gọi khám phá. Lỗi của bản tin này không nằm ở một dòng code, mà nằm ở sự thiếu vắng toàn bộ phần xác minh. Ba bài toán chưa giải là gì? Chúng có thuộc tập con dễ hơn của FrontierMath, ví dụ như các bài toán mở được chọn lọc có mức độ phức tạp thấp hơn so với những "bài toán thiên niên kỷ"? Nếu đúng như vậy, cụm từ 'bài toán chưa giải' trở nên mơ hồ. Một bài toán có thể chưa được giải trong tài liệu, nhưng lại có thể được giải bằng một kỹ thuật mới hoặc một cách tiếp cận tính toán đơn giản. Sự khác biệt giữa 'giải được' và 'đưa ra một giả thuyết có triển vọng' là rất lớn. Một hệ thống AI có thể tạo ra một cấu trúc toán học mới, một phản ví dụ cho một phỏng đoán, hoặc một bằng chứng có lỗ hổng tinh vi mà người đọc không nhận ra. Theo kinh nghiệm audit các giao thức DeFi từ năm 2020, tôi biết rằng một lỗ hổng bảo mật thường nằm ở trạng thái biên mà không ai kiểm tra. Ở đây, trạng thái biên là 47 bài toán còn lại. Một mô hình giải được 3 bài toán trong tổng số 50 bài toán mở — tỷ lệ 6% — vẫn có thể là một kết quả rất ấn tượng, nhưng nó cho thấy mô hình thất bại ở 94% trường hợp. Sự lựa chọn tập trung vào 3 thành công trong khi không nói gì đến 47 thất bại tạo ra một câu chuyện sai lệch. Trong thị trường tăng, nơi mà tin tức tốt thổi bùng FOMO, sự thiếu sót này có thể là công cụ thao túng tâm lý mạnh hơn bất kỳ chiến dịch marketing nào. Hãy đặt câu hỏi kỹ thuật nghiêm túc: Nếu sự kiện này có thật, phương pháp AI có thể đã sử dụng là gì? Từ những gì tôi biết về lĩnh vực này, một mô hình ngôn ngữ duy nhất viết ra một chứng minh toán học dài 50 trang là điều gần như không tưởng. Ngay cả những nhà toán học hàng đầu cũng phải kiểm tra lại từng bước suy luận. Khả năng cao hơn là một hệ thống lai: một mô hình học sâu tạo ra các phỏng đoán và hướng chứng minh, sau đó một công cụ chứng minh định lý như Lean, Coq hoặc Isabelle xác minh từng bước logic. Nếu lời giải được viết bằng ngôn ngữ tự nhiên thuần túy, thì rủi ro sai sót là rất lớn. Các bằng chứng toán học có thể đúng về mặt trực giác nhưng sai về mặt logic ở một bước trung gian. Đó là lý do vì sao các cộng đồng toán học yêu cầu kiểm tra chéo bởi các chuyên gia độc lập và nếu có thể, là bằng chứng hình thức hóa. Trong thế giới blockchain, chúng ta đã quen với việc xác minh bằng mã. Verifier contract không tin vào lời giải thích; nó chỉ tin vào kết quả tính toán. Điều tương tự cũng nên áp dụng cho AI. Một tuyên bố 'AI giải được bài toán' cần phải đi kèm với một bản ghi chép hoàn chỉnh về quá trình suy luận, một cơ chế tái lập kết quả, và một quy trình xác minh độc lập. Nếu thiếu những thứ đó, nó chỉ là một token bốc hơi. Tuy nhiên — và đây là điểm đối lập — ngay cả khi bản tin này là một sự cường điệu hóa, nó vẫn gợi ra một xu hướng rất thật: AI đang tiến vào lãnh thổ toán học và chứng minh hình thức, và điều đó có ý nghĩa to lớn đối với blockchain. Hợp đồng thông minh hiện nay được audit bởi con người, chậm và đôi khi sai sót. Nếu AI có thể hỗ trợ kiểm tra tính đúng đắn của các giao thức, thậm chí tự động phát hiện lỗ hổng, thì chi phí bảo mật sẽ giảm mạnh và độ tin cậy của DeFi sẽ tăng lên. Điều này không đến từ một cú nhảy vọt thần kỳ, mà đến từ sự kết hợp khiêm tốn giữa các công cụ chứng minh định lý và learning-based reasoning. Cộng đồng là hợp đồng thông minh mạnh nhất. Nhưng cộng đồng cũng cần phải học cách kiểm tra bằng chứng thay vì chấp nhận lời tuyên bố. Trong thị trường tăng, FOMO biến những tuyên bố thiếu căn cứ thành cơ hội đầu tư. Tôi đã chứng kiến điều này trong ICO boom, nơi một whitepaper đẹp có thể gọi vốn hàng triệu đô la mà không có một dòng code. Tôi cũng đã thấy nó trong DeFi Summer, nơi các pool thanh khoản hứa hẹn lợi nhuận cao ngất ngưởng nhưng ẩn chứa impermanent loss và lỗ hổng nghiêm trọng. Giờ đây, cơn sốt AI lại đến, và những dự án gắn mác 'AI giải toán' có thể trở thành mảnh đất màu mỡ cho đầu cơ. Đừng hiểu lầm — tôi tin vào sức mạnh của AI và tầm nhìn phi tập trung. Nhưng một bài báo không có mã, không có dữ liệu, không có quy trình xác minh chỉ là một lời hứa suông. Nó giống như một hợp đồng thông minh với những chú thích lạc quan và không có assert. Cách tiếp cận đúng đắn, theo tôi, là biến sự hoài nghi thành một phương pháp. Khi đọc bất kỳ tuyên bố lớn nào, hãy hỏi: Bằng chứng ở đâu? Có thể tái lập được không? Có sự đánh giá độc lập không? Nếu không có gì trong số đó, hãy coi đó là một giả thuyết — thú vị nhưng chưa được chứng minh. Có thể trong tương lai, AI sẽ giải được những bài toán thực sự khó. Có thể một nhóm nghiên cứu sẽ công bố chi tiết kỹ thuật mà chúng ta chưa từng thấy. Lúc đó, câu chuyện sẽ khác đi. Cho đến lúc đó, những gì chúng ta có chỉ là một bản tin mơ hồ, một cái bóng trong khu rừng FrontierMath. Tôi không viết bài này để bác bỏ khả năng AI giải toán. Tôi viết để mời gọi cộng đồng — những người đang hứng khởi với thị trường tăng — cùng nhìn sâu vào chi tiết. Nếu bạn thực sự quan tâm đến sự tiến bộ của AI và blockchain, hãy đòi hỏi sự minh bạch. Hãy yêu cầu bằng chứng. Hãy kiểm tra mã nguồn, kiểm tra dữ liệu, kiểm tra logic. Đó là cách duy nhất để chúng ta xây dựng một nền kinh tế phi tập trung không dựa trên niềm tin mù quáng, mà dựa trên sự xác minh liên tục. Mỗi lỗi trong code là một lời mời gọi khám phá. Lỗi trong bài báo kia có thể là sự cẩu thả của một nhà báo, hoặc có thể là sự cường điệu có chủ đích. Nhưng nó nhắc chúng ta rằng, ở kỷ nguyên AI và crypto, giá trị thực sự nằm ở khả năng phân biệt giữa tín hiệu và tiếng ồn. Cộng đồng là hợp đồng thông minh mạnh nhất — nhưng chỉ khi cộng đồng đó biết cách kiểm tra, biết cách phản biện, và dám đứng lên đòi hỏi sự thật. Hãy tiếp tục khám phá, nhưng đừng quên mang theo chiếc kính lúp của một auditor.