OpenAI Và Anthropic Công Bố Lời Giải Cho Giả Thuyết Thời Gian Hàm Mũ

OpenAI công bố lời giải cho ba bài toán toán học lớn vốn làm các nhà nghiên cứu đau đầu từ lâu. Một trong số đó là việc bác bỏ giả thuyết thời gian hàm mũ, một giả định bền bỉ trong khoa học máy tính gắn với việc hiểu điều gì là khó tính toán.

Các cộng đồng khoa học phản ứng vừa phấn khích vừa lo ngại. Levent Alpöge, nhà toán học của Anthropic, cho rằng OpenAI đang dựa trên công trình có sẵn; vài giờ sau đó, Anthropic cũng công bố lời bác bỏ ETH của riêng mình.

Lần này, OpenAI chia cách công bố khác nhau cho ba lĩnh vực. Các nhà toán học nhận tài liệu trên GitHub; các nhà khoa học máy tính lập một nhóm làm việc, yêu cầu công bố các chứng minh công khai và đề nghị OpenAI tài trợ một hội nghị để thảo luận; nhóm vật lý lập một nhóm làm việc sẽ quyết định cách công bố kết quả của họ.

Ryan Williams của MIT đang điều phối phản ứng của ngành trước kết quả mới. Ông từng chỉ trích cách làm của OpenAI trước đây, nhưng đồng ý hợp tác để giúp dẫn dắt những ý tưởng quan trọng với lĩnh vực này. OpenAI cũng nhờ ông cùng Russell Impagliazzo và Ramamohan Paturi của UC San Diego giải thích lời giải.

Nhóm này đã ra một thư ngỏ kêu gọi phản hồi từ các nhà khoa học quan tâm tới những bài toán này và thảo luận về các chuẩn mực quanh đóng góp của AI vào công việc của họ. Williams nói có hai hoặc ba phần trông lạ, và chính những phần đó khiến ông nghĩ cộng đồng cần cùng nhau làm việc.

ETH thuộc một lớp vấn đề rộng hơn mang tên P versus NP, vốn thu hút khoa học máy tính và nhiều lĩnh vực khác trong nhiều thập kỷ. Câu hỏi đặt ra là liệu mọi bài toán có thể kiểm tra lời giải nhanh hay không cũng có thể được giải nhanh hay không. Williams nói nếu P = NP, thì không chỉ kiểm tra được lời giải của Sudoku khi đã có sẵn, mà còn có thể tạo ra chúng.