
Bạn có thể đã thấy nghiên cứu “OpenAI chứng minh ETH là sai”. Hãy thở ra. Dù nghe có vẻ hài hước, nhưng ETH ở đây không phải là Ethereum, và không liên quan gì đến Ethereum. ETH ở đây là Giả thuyết Thời gian Mũ, một giả định năm 2001 về độ khó của những bài toán khó nhất trong khoa học máy tính. Nói một cách đơn giản: Có một bài toán kinh điển khó gọi là SAT: một công thức logic dài, tìm giá trị để làm nó đúng. Mọi người đều cho rằng cách duy nhất là thử tất cả 2^n tổ hợp, cộng hoặc trừ một chút. Hàng trăm kết quả “nhiệm vụ này khó như SAT” đều dựa trên giả định đó. Một mô hình của OpenAI đã viết một bài báo 67 trang với một thuật toán thực hiện nhanh hơn đáng kể so với 2^n. Nếu kết quả này được xác nhận, giả định này sẽ bị bác bỏ và nhiều lý thuyết sẽ được viết lại. Bản chính thức hóa đã được công bố, ba nhà lý thuyết độ phức tạp hàng đầu hiện đang kiểm tra nó.
