Chuyện gì đã thực sự xảy ra
OpenAI cho biết AI của họ đã bác bỏ Giả thuyết Thời gian Mũ (Exponential Time Hypothesis), một giả thuyết khoa học máy tính từ năm 1999 được gọi là ETH. Điều này không liên quan gì đến Ethereum. Các nhà giao dịch crypto đã nhầm lẫn hai khái niệm này trong chốc lát trên mạng xã hội. Sự nhầm lẫn này cho thấy các tuyên bố toán học liên quan đến AI có thể lan nhanh thế nào sang những thị trường không liên quan.
OpenAI công bố một bài báo dài 67 trang vào ngày 17 tháng 10 năm 2025, được sửa đổi vào ngày 25 tháng 10, tuyên bố AI của họ đã tìm ra một thuật toán xác định giải các câu đố 3-SAT trong thời gian dưới mũ, qua đó bác bỏ ETH. Công ty cho biết mô hình của họ đã tìm ra lời bác bỏ vào ngày 16 tháng 10 và hình thức hóa nó bằng Lean, một công cụ xác minh, ngay ngày hôm sau. Cả hai đều được đăng trên GitHub, cùng với 722 bản thảo toán học mà OpenAI đã công bố trước đó trong tháng 10, trong đó chỉ 162 bản có kết quả được kiểm tra bằng máy tính. Các nhà khoa học máy tính Russell Impagliazzo, Ramamohan Paturi và Ryan Williams của MIT, những người dẫn đầu quá trình thẩm định độc lập, viết trong một bức thư ngỏ rằng một kết quả có tầm quan trọng như vậy cần được xem xét kỹ lưỡng và độc lập, theo Decrypt. Anthropic sau đó công bố một bài báo riêng vào ngày 26 tháng 10, ghi nhận mô hình Claude của họ cũng tìm ra một thuật toán 3-SAT tương tự.
Bối cảnh
ETH được đề xuất vào năm 1999 bởi Impagliazzo, Paturi và Francis Zane. Giả thuyết này cho rằng bài toán 3-SAT không thể giải nhanh hơn nhiều so với phương pháp vét cạn, và hàng trăm bài báo trong lý thuyết đồ thị, sinh học tính toán và cơ sở dữ liệu dựa vào giả định đó, theo OpenAI. Tuyên bố này không giải quyết bài toán P so với NP, câu hỏi liệu mọi bài toán dễ kiểm tra có luôn dễ giải hay không. Claude của Anthropic đã hình thức hóa Định lý Lớn Fermat bằng Lean vào tháng 9 năm 2025. Nhà toán học Terence Tao trước đó từng cảnh báo rằng các công cụ AI có thể "san phẳng" các bài toán mở trước khi giới nghiên cứu kịp hoàn thành chúng, như một điềm báo cho sự trùng hợp giữa hai phòng thí nghiệm AI này.
Vì sao điều này quan trọng với bạn
Đối với người nắm giữ Ethereum, không có gì thay đổi. ETH trong câu chuyện này không liên quan đến blockchain, token hay lộ trình phát triển của Ethereum. Đối với các nhà nghiên cứu và nhà phát triển AI, sự việc này là phép thử cho tốc độ lan truyền của những tuyên bố chưa được kiểm chứng, cũng như khả năng các công cụ hình thức hóa như Lean giúp đẩy nhanh việc thẩm định độc lập. OpenAI cho biết họ không ký bất kỳ thỏa thuận bảo mật (NDA) nào, đã công bố dữ liệu thô và đóng góp 5.000.000 USD cho Simons Foundation để tài trợ các hội thảo thẩm định. Mô hình này có thể trở thành khuôn mẫu cho cách các phòng thí nghiệm AI công bố những chứng minh còn gây tranh cãi. Đối với cộng đồng crypto, sự nhầm lẫn này là lời nhắc nhở hãy xác minh thông tin trước khi phản ứng với các tiêu đề có chung ký hiệu viết tắt.
Câu hỏi lớn hơn
Nếu các mô hình AI có thể bác bỏ những giả thuyết tồn tại hàng chục năm trước khi quá trình bình duyệt hoàn tất, cộng đồng nghiên cứu nên định nghĩa lại thế nào là một chứng minh? Những người đề xuất ETH vẫn chưa xác nhận tuyên bố của OpenAI, để ngỏ câu hỏi liệu việc hình thức hóa bằng máy móc qua các công cụ như Lean có thể thay thế quá trình thẩm định chậm rãi của con người mà toán học đã dựa vào suốt nhiều thế kỷ hay không.
Những gì cần theo dõi
Quá trình thẩm định độc lập của Impagliazzo, Paturi và Williams vẫn đang tiếp diễn, chưa có thời hạn cụ thể nào được công bố. Khoản tài trợ 5.000.000 USD của OpenAI cho Simons Foundation sẽ được dùng để tổ chức các hội thảo và một hội nghị chuyên đề về kết quả này. Bài báo của Claude từ Anthropic, công bố ngày 26 tháng 10 năm 2025, vẫn đang chờ được thẩm định riêng. Các nhà giao dịch crypto nên theo dõi xem liệu những tuyên bố toán học liên quan đến AI trong tương lai có tiếp tục gây nhầm lẫn với các mã token hay không.
