OpenAI đã công bố một bài báo dài 67 trang tuyên bố rằng AI của công ty đã bác bỏ Giả thuyết Thời gian Mũ (ETH). Giả thuyết này có từ năm 1999 và không có liên quan gì đến ethereum, giá ethereum hay đồng sáng lập Vitalik Buterin. Lời tuyên bố này đã gây ra cuộc thảo luận giữa các nhà toán học và người dùng tiền điện tử trên X. Người dùng X là Takumi đùa: "Chết tiệt, các nhà giao dịch thuật toán đã hạ gục $ETH". Andrew Jiang viết: "Vitalik đã rất im lặng kể từ khi điều này được công bố."
Các nhà khoa học máy tính Russell Impagliazzo, Ramamohan Paturi và Francis Zane đã đề xuất ETH. Giả thuyết này cho rằng việc giải bài toán logic 3-SAT không thể nhanh hơn nhiều so với việc kiểm tra mọi tổ hợp. Bài toán 3-SAT yêu cầu tìm các gán giá trị đúng-sai để thỏa mãn các quy tắc liên quan đến ba lựa chọn cùng một lúc. OpenAI cho biết hàng trăm bài báo dựa vào ETH để xác định giới hạn tính toán trong lý thuyết đồ thị, sinh học tính toán, cơ sở dữ liệu và hình học. OpenAI lập luận rằng việc bác bỏ ETH sẽ làm dấy lên lại những câu hỏi về khả năng cải thiện tốc độ và có thể định hướng nghiên cứu hướng tới các thuật toán tốt hơn.
Bài báo có ngày tháng 17 tháng 10 và ngày sửa đổi 25 tháng 10. Bài báo trình bày một thuật toán xác định, không sử dụng yếu tố ngẫu nhiên, để đếm tất cả các gán thỏa mãn trong thời gian subexponential. Thời gian subexponential có nghĩa là lượng công việc cần thiết tăng chậm hơn bất kỳ hàm mũ nào của số biến. Việc đếm các gán thỏa mãn khó hơn việc xác định xem có tồn tại bất kỳ gán thỏa mãn nào hay không, do đó thuật toán đếm cũng giải quyết bài toán quyết định. OpenAI cho biết AI đã phát hiện ra phản ví dụ được tuyên bố vào ngày 16 tháng 10. OpenAI cho biết kết quả đã được hình thức hóa vào ngày 17 tháng 10 bằng Lean, phần mềm kiểm tra từng bước logic một cách cơ học. Bài báo và phần hình thức hóa đều có sẵn trên GitHub. OpenAI cũng đã công bố 722 bản thảo toán học thông qua GitHub vào đầu tháng này, nhưng chỉ có 162 bản thảo bao gồm kết quả chính được máy tính kiểm tra.
Impagliazzo, Paturi và Ryan Williams từ MIT đang dẫn đầu một cuộc kiểm tra độc lập đối với tuyên bố này. Ba nhà nghiên cứu đã cảnh báo trong một bức thư mở rằng sự tham gia không nên được hiểu là sự xác nhận. Các nhà nghiên cứu cho rằng một phát hiện quan trọng như vậy cần được xem xét độc lập kỹ lưỡng và có lời giải thích mà các nhà nghiên cứu khác có thể tái tạo, thách thức và phát triển. OpenAI cho biết những người tham gia không được trả phí và không ký bất kỳ thỏa thuận bảo mật nào. OpenAI đã đồng ý công bố tất cả dữ liệu thô và tài trợ một hội nghị về kết quả này.
OpenAI cảnh báo rằng việc xác định các thuật toán hữu ích và chuyển đổi tiến bộ lý thuyết thành lợi ích thực tế sẽ đòi hỏi thêm nhiều nghiên cứu đáng kể. Bài báo không khẳng định rằng tất cả các bài toán NP đều có giải pháp thời gian subexponential. P bao gồm các bài toán mà máy tính có thể giải quyết hiệu quả, trong khi NP bao gồm các bài toán mà các giải pháp đề xuất có thể được kiểm tra hiệu quả. Vấn đề P versus NP, đặt câu hỏi liệu việc xác minh hiệu quả có luôn hàm ý giải pháp hiệu quả hay không, vẫn chưa được giải quyết.
Anthropic sau đó đã công bố một bài báo được gán cho Claude, có tựa đề "Một Thuật toán Thời gian 2^o(n) cho 3-SAT" và ngày tháng 26 tháng Mười. Kho lưu trữ đi kèm cho biết một phiên bản nghiên cứu nội bộ của Claude đã phát hiện ra thuật toán này, đồng thời cũng giải quyết ETH. Kho lưu trữ cảnh báo rằng kết quả này liên quan đến hành vi tiệm cận và không đưa ra bất kỳ tuyên bố nào về việc giải công thức thực tế. Claude đã chính thức hóa Định lý Lớn của Fermat bằng Lean vào tháng Chín. Nhà toán học Terence Tao đã cảnh báo vào tháng Chín rằng ngay cả những tin đồn về nghiên cứu một bài toán cũng có thể thúc đẩy những nỗ lực được hỗ trợ bởi AI rộng rãi trước khi dự án ban đầu hoàn thiện đầy đủ.
OpenAI gần đây đã đóng góp 5 triệu USD cho Quỹ Simons. Số đóng góp này sẽ hỗ trợ các hội thảo, hội nghị và các chương trình đặc biệt nhằm giúp các nhà nghiên cứu xem xét và mở rộng các kết quả do AI tạo ra.