Tin tức 
Thông tin Coin 
Về chúng tôi 
OpenAI cho biết một mô hình AI nội bộ đã đưa ra kết quả bác bỏ Giả thuyết Thời gian mũ (ETH) trong lĩnh vực độ phức tạp tính toán và chứng minh đã được kiểm chứng hình thức bằng Lean. Kết quả hiện đang chờ giới nghiên cứu bên ngoài thẩm định.
Trong thông báo chính thức, OpenAI cho biết mô hình tạo ra chứng minh bác bỏ ETH vào ngày 16 tháng 10 và hình thức hóa chứng minh bằng Lean vào ngày 17 tháng 10. ETH đề cập đến độ khó của các bài toán tính toán, trong đó có bài toán thỏa mãn công thức Boolean, và được dùng làm giả định về độ khó tính toán trong các công trình nghiên cứu thuộc nhiều lĩnh vực.
OpenAI cho biết nhóm nghiên cứu do Russell Impagliazzo, Ramamohan Paturi và Ryan Williams dẫn dắt sẽ kiểm chứng và giải thích kết quả. Công ty cũng công bố ba phát hiện mới trong các lĩnh vực toán học, khoa học máy tính và vật lý, đồng thời công khai dữ liệu gốc cùng chứng minh liên quan đến ETH.
Bình luận 0