Các mô hình OpenAI bác bỏ Giả thuyết Thời gian Hàm mũ, công bố ba phát hiện

TREE NEWS thông tin: OpenAI công bố vào ngày 27 tháng 10 rằng các mô hình nội bộ của công ty đã đưa ra ba phát hiện mới trong toán học, khoa học máy tính và vật lý. Một mô hình đã chứng minh Giả thuyết Thời gian Hàm mũ — vốn được dùng làm giả định về độ khó tính toán trong hàng trăm bài báo — là sai, với kết quả được hình thức hóa bằng Lean. Một nhóm do Russell Impagliazzo và Ramamohan Paturi, những người đề xuất ETH, dẫn đầu, cùng với giáo sư MIT Ryan Williams, sẽ kiểm chứng phát hiện này.