Tóm tắt nhanh
- OpenAI công bố ba kết quả do mô hình nội bộ tạo ra trong toán học, khoa học máy tính và vật lý.
- Đáng chú ý nhất là tuyên bố bác bỏ Giả thuyết Thời gian Hàm mũ (ETH), bằng thuật toán đếm nghiệm chạy trong thời gian dưới hàm mũ.
- Các chuyên gia bên ngoài sẽ tổ chức thẩm định; riêng kết quả vật lý chưa công bố bản thảo do nhóm muốn tự viết phần giải thích.
- OpenAI cho biết đã đóng góp 5 triệu USD cho Simons Foundation để hỗ trợ hội thảo và chương trình nghiên cứu.
Ba kết quả do các mô hình AI nội bộ tạo ra vừa được OpenAI công bố, trong đó có một chứng minh được hãng mô tả là bác bỏ Giả thuyết Thời gian Hàm mũ (ETH); các nhóm học giả bên ngoài sẽ dẫn dắt quá trình giải thích và kiểm tra.
Tuyên bố bác bỏ ETH có thể làm lung lay nhiều kết quả dựa trên giả định này
ETH là giả thuyết lâu nay được dùng để lập luận rằng một số bài toán, trong đó có 3-SAT, không thể giải nhanh hơn đáng kể so với thời gian hàm mũ. Hàng trăm công trình đã dựa vào giả định đó để thiết lập các giới hạn độ khó trong nhiều lĩnh vực. Nếu phản chứng của OpenAI đứng vững, các kết quả có điều kiện dựa trên ETH sẽ cần được xem xét lại; điều đó chưa đồng nghĩa những bài toán này lập tức có thuật toán thực tế nhanh.
Theo mô tả của OpenAI, thuật toán xác định mới đếm chính xác số phép gán thỏa mãn của công thức CNF có độ rộng cố định trong thời gian dưới hàm mũ và dùng bộ nhớ đa thức. Trường hợp 3-SAT sẽ bác bỏ ETH. Bản thảo ngôn ngữ tự nhiên được tạo ngày 16/10/2026, sau đó kết quả được hình thức hóa bằng Lean ngày 17/10. Nhóm do Russell Impagliazzo, Ramamohan Paturi và Ryan Williams dẫn dắt sẽ thẩm định và giải thích công trình.
Lean giúp biểu diễn một chứng minh theo hình thức mà phần mềm có thể kiểm tra từng bước, nhưng việc một chứng minh được hình thức hóa không tự trả lời mọi câu hỏi về ý nghĩa, giả định hay hệ quả của nó. Chính nhóm chuyên gia độc lập cần xác nhận nội dung toán học và đặt kết quả vào bối cảnh của ngành. OpenAI cũng nói nhóm sẽ công khai dữ liệu gốc và tổ chức một hội nghị để bàn về tác động của tuyên bố này.
Chứng minh Local Smoothing kéo theo các kết quả khác trong giải tích điều hòa
Ở nhánh toán học, OpenAI nói mô hình đã tạo ra chứng minh cho giả thuyết Local Smoothing ở mọi số chiều không gian, từ đó kéo theo giả thuyết Kakeya và giả thuyết Stein restriction trong phạm vi được nêu. Chứng minh dựa trên một phương trình vi phân đạo hàm riêng phụ trợ mới; bản thảo và hình thức hóa Lean đã được đưa lên kho GitHub công khai của OpenAI.
Local Smoothing liên quan đến cách sóng tập trung: mức tập trung cực đoan có thể xảy ra trong một thời điểm cụ thể, nhưng khi xét ở thời gian điển hình thì cường độ thấp hơn. Đây là một vấn đề nền tảng của giải tích điều hòa, nên kết quả ở đây có thể tác động tới nhiều câu hỏi liên quan. Tuy vậy, tuyên bố “mọi số chiều” cần được đọc đúng theo phát biểu và phạm vi của chứng minh, thay vì hiểu thành lời giải cho mọi bài toán về sóng.
OpenAI cho biết họ tham khảo ý kiến chuyên gia trước khi chọn cách công bố: với kết quả toán học, nhóm khuyến nghị đưa đầu ra AI ra công khai để cộng đồng tự tổ chức tìm hiểu. Cách làm này mở quyền kiểm tra cho nhiều nhà nghiên cứu, nhưng cũng khiến phần giải thích ban đầu có thể chưa thống nhất và phụ thuộc vào ai có thời gian tiếp cận bản thảo.
Kết quả vật lý chưa được công bố để nhóm học giả tự viết phần giải thích
Trong vật lý, OpenAI tuyên bố có chứng minh tồn tại một số lý thuyết trường lượng tử tương tác trong bốn chiều, gồm Sắc động học lượng tử (QCD) và một dạng hoàn chỉnh thống nhất của Mô hình Chuẩn. Công trình dựa trên hướng tiếp cận của lý thuyết trường lượng tử xây dựng, và nhóm do David Gross dẫn dắt sẽ phụ trách diễn giải kết quả.
OpenAI nói kết quả còn bao gồm chứng minh tồn tại của lý thuyết Yang–Mills thuần túy, vốn là một phần của bài toán Thiên niên kỷ về Yang–Mills. Điều này không có nghĩa bài toán giải thưởng đã được giải trọn vẹn: bài toán còn yêu cầu chứng minh khoảng khối lượng (mass gap). Công ty cho biết nhóm vật lý muốn tạm giữ các hiện vật do AI tạo ra và tự viết bài trình bày, thay vì phát hành ngay như ở nhánh toán học và khoa học máy tính.
Sự khác biệt giữa ba nhánh là đáng kể. Với ETH, đầu ra và bản Lean được công khai ngay; với toán học, công chúng cũng có thể xem bản thảo và mã chứng minh; còn vật lý, cộng đồng phải chờ nhóm cộng tác công bố phần giải thích. Quyền quyết định cách công bố giúp các nhà nghiên cứu xử lý tài liệu phức tạp, nhưng tạm thời tạo ra mức độ tiếp cận không đồng đều giữa các kết quả.
OpenAI chuyển phần diễn giải sang cộng đồng và tài trợ 5 triệu USD
OpenAI gọi các nhà nghiên cứu bên ngoài là “shepherds” — người dẫn dắt nhóm tìm hiểu và diễn giải, không phải đồng tác giả của phát hiện ban đầu. Công ty nêu bốn nguyên tắc: minh bạch, không yêu cầu ghi công học thuật cho mô hình, ghi nhận công sức diễn giải của các nhà nghiên cứu tham gia và bảo đảm nhóm hoạt động độc lập. Việc tham gia là tự nguyện, không trả thù lao; thành viên không đại diện cho OpenAI.
Cách phân vai này giải quyết một vấn đề thực tế: công bố đầu ra AI chưa đồng nghĩa cộng đồng đã hiểu hoặc kiểm chứng được nó. Dù vậy, tính độc lập sẽ chỉ có ý nghĩa nếu người ngoài có đủ dữ liệu, thời gian và quyền tự do công bố kết luận, kể cả khi họ không đồng ý với cách OpenAI mô tả kết quả. Việc hãng nói sẽ chuyển giao tài liệu và công khai dữ liệu gốc là điều kiện cần để quá trình ấy có thể diễn ra.
OpenAI cho biết khoản đóng góp 5 triệu USD cho Simons Foundation sẽ được dùng cho hội thảo, hội nghị và các chương trình giúp nhà nghiên cứu hiểu, kiểm tra và phát triển tiếp kết quả do AI tạo ra. Đây là hỗ trợ cho hoạt động nghiên cứu, không phải xác nhận độc lập rằng ba tuyên bố đã được cộng đồng chấp nhận. Bước tiếp theo đáng theo dõi là các nhóm công bố kết luận của họ và những thuật toán, hệ quả lý thuyết nào thực sự xuất hiện sau đó.
