OpenAI Nhờ Chuyên Gia Ngoài Xem Xét Ba Kết Quả Khoa Học

OpenAI nói các kết quả này liên quan đến những bài toán chưa giải được trong toán học, khoa học máy tính và vật lý. Công ty cho biết một số kết quả nối tiếp công việc trước đó, còn một số mở ra hướng mới.

Với toán học, OpenAI phát hành trực tiếp đầu ra do AI tạo ra để người nghiên cứu tự giải thích kết quả. Với khoa học máy tính, công ty sẽ lập một nhóm ngoài để giải thích kết quả.

Phần vật lý chưa được công bố đầy đủ. OpenAI nói David Gross sẽ dẫn một nhóm gồm Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov để xử lý phần này.

OpenAI cũng nói đã dịch các chứng minh trong toán học và khoa học máy tính sang Lean. Lean là ngôn ngữ lập trình cho phép máy tính kiểm tra từng bước của một chứng minh, nhưng việc đó không bảo đảm kết quả không có lỗi.

Trong khoa học máy tính, kết quả xoay quanh Giả thuyết Thời gian Mũ và liên quan đến bài toán thỏa mãn logic SAT. OpenAI nói hệ thống của họ đã chứng minh ETH là sai; nếu chứng minh này đứng vững, hàng trăm công trình dựa trên giả thuyết đó sẽ mất nền tảng.

Một nhóm cố vấn toán học AGMAI mà OpenAI lập ra hôm qua khuyến nghị các công ty AI không nên để một số người nhận đầu ra trước. Nhóm này nêu lo ngại về tiếp cận không đều, danh tiếng vay mượn và chọn lọc thiên lệch.