🚨OpenAI cho biết AI của họ đã BÁC BỎ ETH.
ETH là viết tắt của Giả thuyết Thời gian Lũy thừa, một giả định lâu đời về độ khó của việc giải một số bài toán tính toán khi quy mô của chúng tăng lên.
OpenAI cho biết AI của họ đã phát minh ra một thuật toán nhanh hơn mức mà giả thuyết này cho phép, qua đó bác bỏ một giả định được sử dụng trong hàng trăm bài nghiên cứu.
Theo công ty, kết quả bác bỏ được phát hiện vào ngày 16 tháng 10, được kiểm chứng vào ngày hôm sau bằng hệ thống kiểm tra chứng minh Lean và được công bố trên GitHub cùng với phần kiểm chứng hình thức.
Ryan Williams từ MIT sẽ xem xét kết quả cùng với những người đầu tiên đề xuất ETH là Russell Impagliazzo và Ramamohan Paturi. OpenAI cho biết sẽ cần thêm nhiều nghiên cứu đáng kể để biến kết quả này thành các thuật toán nhanh hơn trong thực tế.
Công ty cũng tuyên bố đạt được hai đột phá khác:
• Toán học: Chứng minh giả thuyết Kakeya trong mọi số chiều, tiếp nối chứng minh năm ngoái cho trường hợp 3 chiều.
• Vật lý: Đưa ra một chứng minh giải quyết một phần của bài toán Giải thưởng Thiên niên kỷ trị giá 1 TRIỆU đô la. Công trình này vẫn chưa được công bố và một nhóm do người đoạt giải Nobel David Gross dẫn đầu sẽ nghiên cứu.
ETH là viết tắt của Giả thuyết Thời gian Lũy thừa, một giả định lâu đời về độ khó của việc giải một số bài toán tính toán khi quy mô của chúng tăng lên.
OpenAI cho biết AI của họ đã phát minh ra một thuật toán nhanh hơn mức mà giả thuyết này cho phép, qua đó bác bỏ một giả định được sử dụng trong hàng trăm bài nghiên cứu.
Theo công ty, kết quả bác bỏ được phát hiện vào ngày 16 tháng 10, được kiểm chứng vào ngày hôm sau bằng hệ thống kiểm tra chứng minh Lean và được công bố trên GitHub cùng với phần kiểm chứng hình thức.
Ryan Williams từ MIT sẽ xem xét kết quả cùng với những người đầu tiên đề xuất ETH là Russell Impagliazzo và Ramamohan Paturi. OpenAI cho biết sẽ cần thêm nhiều nghiên cứu đáng kể để biến kết quả này thành các thuật toán nhanh hơn trong thực tế.
Công ty cũng tuyên bố đạt được hai đột phá khác:
• Toán học: Chứng minh giả thuyết Kakeya trong mọi số chiều, tiếp nối chứng minh năm ngoái cho trường hợp 3 chiều.
• Vật lý: Đưa ra một chứng minh giải quyết một phần của bài toán Giải thưởng Thiên niên kỷ trị giá 1 TRIỆU đô la. Công trình này vẫn chưa được công bố và một nhóm do người đoạt giải Nobel David Gross dẫn đầu sẽ nghiên cứu.
