OpenAI tuyên bố đạt ba đột phá khoa học, các nhà nghiên cứu độc lập bắt đầu thẩm định

Ba tuyên bố khiến hàng thập kỷ nghiên cứu bị đặt dưới sự xem xét

Ngày 26 tháng 10 năm 2026, OpenAI thông báo các mô hình AI của họ đã đưa ra những chứng minh giải quyết ba bài toán tồn tại lâu năm trong toán học, khoa học máy tính và vật lý, trong đó có một thách thức đối với giả thuyết về tính toán được sử dụng trong hàng trăm bài nghiên cứu. Công ty đã công bố tài liệu về toán học và khoa học máy tính, trong khi một nhóm do nhà vật lý đoạt giải Nobel David Gross dẫn đầu sẽ thẩm định công trình vật lý trước khi công bố phần giải thích riêng.

Tuyên bố về khoa học máy tính liên quan đến Giả thuyết Thời gian Mũ (ETH), được đề xuất năm 1999. OpenAI cho biết mô hình của họ đã tìm ra một thuật toán bác bỏ giả thuyết này bằng cách giải một họ bài toán logic cụ thể nhanh hơn mức giả thuyết cho phép. Hai nhà nghiên cứu góp phần đề xuất ETH, Russell Impagliazzo và Ramamohan Paturi, sẽ cùng giáo sư Ryan Williams của MIT dẫn dắt quá trình thẩm định độc lập.

Trong toán học, công ty tuyên bố đã chứng minh được giả thuyết làm trơn cục bộ của Christopher Sogge, được đề xuất năm 1991, cho phương trình sóng Euclid trong mọi số chiều không gian từ hai trở lên. OpenAI cho biết lập luận này cũng đưa ra các kết quả về giả thuyết Kakeya và giả thuyết hạn chế của Stein, kết nối sự lan truyền của sóng với những câu hỏi khó về hình học và tần số.

Tuyên bố về vật lý liên quan đến sự tồn tại về mặt toán học của một số lý thuyết trường lượng tử tương tác trong bốn chiều, bao gồm sắc động lực học lượng tử (QCD), mô tả tương tác giữa quark và gluon. OpenAI cũng cho biết công trình bao quát lý thuyết Yang-Mills thuần túy và một phiên bản hoàn chỉnh thống nhất cụ thể của Mô hình Chuẩn trong vật lý hạt.

Thẩm định độc lập là bước tiếp theo trong cả ba dự án. Các nhà nghiên cứu sẽ xem xét lập luận, giả định và những phát biểu toán học chính xác mà các công trình giải quyết. Thông báo không nêu thời hạn hoàn tất các đợt thẩm định hoặc công bố tài liệu vật lý đang được giữ kín.

Chứng minh về sóng nhằm lý giải điều gì

Giả thuyết làm trơn cục bộ của Sogge bàn về mức độ tập trung của sóng khi lan truyền. Sóng có thể hội tụ mạnh tại một thời điểm cụ thể. Giả thuyết mô tả các giới hạn toán học đối với mức độ tập trung đó khi quan sát diễn biến của sóng trong một khoảng thời gian.

Hãy hình dung theo dõi một con sóng qua một chuỗi ảnh thay vì đánh giá nó qua khoảnh khắc ấn tượng nhất. Một bức ảnh riêng lẻ có thể cho thấy đỉnh sóng rất cao, còn cả chuỗi ảnh cho thấy đỉnh ấy chỉ tồn tại trong chốc lát. Các nhà toán học biểu diễn mối quan hệ này bằng những ước lượng cho nghiệm của phương trình sóng, tức phương trình dùng để mô tả cách sóng lan truyền.

OpenAI cho biết lập luận của họ đưa vào một phương trình vi phân riêng phụ trợ mới. Phương trình như vậy mô tả sự thay đổi của các đại lượng theo không gian và thời gian; phương trình phụ trợ là công cụ bổ sung để nghiên cứu bài toán ban đầu. Công ty cho biết cách tiếp cận này thiết lập các ước lượng cần thiết trong mọi số chiều không gian từ hai trở lên.

Phạm vi được tuyên bố mở rộng một cột mốc lớn trước đó. Năm 2019, Larry Guth, Hong Wang và Ruixiang Zhang đã chứng minh kết quả làm trơn cục bộ trong hai chiều không gian. Thông báo của OpenAI nói về một lập luận tổng quát áp dụng cả cho các số chiều cao hơn, thay vì một kết quả khác chỉ giới hạn ở một số chiều duy nhất.

Vai trò của hình học và tần số trong tuyên bố

Bài toán Kakeya đặt câu hỏi: tập hợp nhỏ đến mức nào vẫn chứa một đoạn thẳng có độ dài đơn vị theo mọi hướng? Bài toán khó vì thể tích thông thường và số chiều toán học không giống nhau. Một tập hợp có thể chiếm thể tích rất nhỏ nhưng vẫn giữ cấu trúc phức tạp mà các nhà toán học đo bằng số chiều.

Năm 2025, Hong Wang và Joshua Zahl đạt được một kết quả quan trọng về giả thuyết Kakeya trong ba chiều. OpenAI cho biết lập luận mới về sóng đưa ra cả giả thuyết cực đại Kakeya lẫn giả thuyết số chiều Kakeya trong mọi số chiều, mở rộng phạm vi vượt xa cột mốc trước đó nếu chứng minh vượt qua thẩm định.

Giả thuyết hạn chế của Stein thuộc cùng mạng lưới bài toán này. Giả thuyết đề cập đến cách thông tin tần số biến đổi khi bị giới hạn trên các mặt cong. Phần mô tả chi tiết của OpenAI tuyên bố có được các ước lượng hạn chế trên mặt cầu trong toàn bộ miền bên trong của khoảng được dự đoán. Cách diễn đạt này xác định phạm vi các ước lượng mà giới nghiên cứu cần xem xét khi đánh giá tuyên bố rộng hơn về giả thuyết của Stein.

Vì sao kết quả về tính toán đáng chú ý

Giả thuyết Thời gian Mũ liên quan đến bài toán thỏa mãn Boolean, được xây dựng từ các biến có thể nhận giá trị đúng hoặc sai. Một công thức đặt ra quy tắc kết hợp các biến đó; nhiệm vụ là tìm xem có cách gán giá trị nào khiến mọi quy tắc đều đúng hay không.

Trong 3-SAT, mỗi mệnh đề chứa tối đa ba hạng tử. Một mệnh đề có thể yêu cầu ít nhất một trong ba phát biểu là đúng, trong khi toàn bộ công thức yêu cầu mọi mệnh đề đều được thỏa mãn. Khi số biến tăng, số cách gán giá trị tăng gấp đôi sau mỗi biến bổ sung: 10 biến có 1.024 cách gán, còn 20 biến có 1.048.576 cách.

ETH cho rằng trong trường hợp xấu nhất, việc giải 3-SAT cần thời gian tăng theo hàm mũ của số biến. Impagliazzo, Paturi và Francis Zane đã góp phần xây dựng giả thuyết này vào năm 1999. Từ đó, các nhà nghiên cứu dùng nó làm giả định để lý giải vì sao nhiều bài toán trong lý thuyết đồ thị, sinh học tính toán, cơ sở dữ liệu và hình học tính toán khó có thể giải nhanh hơn.

Tuyên bố của OpenAI cụ thể hơn một lời hứa chung chung về tính toán nhanh hơn. Công ty cho biết mô hình đã tạo ra một thuật toán tất định đếm chính xác số phép gán thỏa mãn đối với các công thức ở dạng chuẩn hội với độ rộng mệnh đề cố định. Dạng chuẩn hội là cách sắp xếp các mệnh đề sao cho tất cả đều phải đúng; độ rộng cố định đặt ra giới hạn không đổi về số hạng tử trong mỗi mệnh đề.

Thuật toán được tuyên bố có thời gian chạy dưới hàm mũ và sử dụng bộ nhớ đa thức. Tốc độ tăng dưới hàm mũ chậm hơn mức tăng theo hàm mũ mà ETH dự đoán cho 3-SAT. Bộ nhớ đa thức nghĩa là nhu cầu bộ nhớ bị giới hạn bởi một lũy thừa cố định của kích thước đầu vào. Việc đếm số phép gán thỏa mãn cũng trả lời câu hỏi đơn giản hơn về sự tồn tại: số đếm lớn hơn 0 nghĩa là công thức có thể được thỏa mãn.

Các nhà nghiên cứu cần làm rõ điều gì về thuật toán

Hàng trăm bài báo sử dụng ETH để suy ra các giới hạn có điều kiện đối với thuật toán. Kết luận thường có dạng: nếu ETH đúng, một bài toán cụ thể không thể được giải trong giới hạn thời gian nhất định. Nếu việc bác bỏ giả thuyết được chấp nhận, các nhà nghiên cứu sẽ phải xem xét lại những giả định làm cơ sở cho các giới hạn đó.

Tính toán thực tiễn là một thách thức khác. Các nhà nghiên cứu cần hiểu các hằng số của thuật toán, yêu cầu triển khai và cách thuật toán vận hành với đầu vào có kích thước hữu ích. Tốc độ tăng trưởng tốt hơn về mặt toán học vẫn có thể đòi hỏi thời gian tính toán đáng kể, nhất là với kích thước bài toán gặp trong ứng dụng thực tế.

P so với NP đặt ra một câu hỏi khác: liệu mọi bài toán có thể kiểm tra lời giải được đề xuất một cách hiệu quả cũng có thể được giải một cách hiệu quả hay không. Trong bối cảnh này, “hiệu quả” thường có nghĩa là thời gian đa thức. Thuật toán có thời gian dưới hàm mũ thuộc một phạm trù rộng hơn, vì vậy quá trình thẩm định sẽ tập trung vào tốc độ chính xác được tuyên bố và hệ quả của nó đối với ETH.

Impagliazzo và Paturi, hiện công tác tại Đại học California, San Diego, cùng Williams sẽ tổ chức đợt thẩm định độc lập. Trong thư ngỏ gửi cộng đồng nghiên cứu, ba nhà khoa học máy tính nêu rõ sự thận trọng cần thiết:

Việc chúng tôi tham gia không nên được xem là chứng nhận cho tuyên bố này. Một kết quả có tầm quan trọng như vậy cần được xem xét độc lập và cẩn trọng,

Vật lý nghiên cứu nền tảng của các lý thuyết hạt

Lý thuyết trường lượng tử mô tả các hạt và tương tác của chúng thông qua những trường lan khắp không gian và thời gian. Tuyên bố vật lý của OpenAI liên quan đến các lý thuyết tương tác gồm trường chuẩn và fermion trong bốn chiều, thường được hiểu là ba chiều không gian và một chiều thời gian.

QCD mô tả tương tác mạnh giữa quark và gluon. Quark là thành phần cấu tạo nên proton và neutron, còn gluon truyền tải lực mạnh. Các nhà vật lý đã dùng QCD để lý giải những hiện tượng quan sát được. Thách thức toán học ở đây là xây dựng lý thuyết một cách chặt chẽ và chứng minh các đối tượng cấu thành lý thuyết tồn tại trong những điều kiện xác định chính xác.

OpenAI cho biết công trình dựa trên một phương pháp do Tadeusz Balaban phát triển trong lĩnh vực lý thuyết trường lượng tử xây dựng. Lĩnh vực này tìm cách xây dựng các lý thuyết lượng tử với độ kiểm soát toán học chặt chẽ, qua đó tạo nền tảng cho các đại lượng mà nhà vật lý tính toán.

Lý thuyết Yang-Mills thuần túy cũng nằm trong tuyên bố. Bài toán Tồn tại Yang-Mills và Khoảng khối lượng của Viện Toán học Clay đòi hỏi cả một cấu trúc được xây dựng chặt chẽ lẫn khoảng khối lượng dương, nghĩa là tồn tại mức năng lượng dương tối thiểu ngăn cách chân không với trạng thái kích thích nhẹ nhất. Kết quả OpenAI công bố giải quyết vấn đề tồn tại; yêu cầu về khoảng khối lượng vẫn là một phần tiếp theo của bài toán giải thưởng.

Gross, người đoạt giải Nobel Vật lý năm 2004, sẽ dẫn dắt nhóm vật lý. Các thành viên còn lại gồm Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov. Theo đề nghị của nhóm, tài liệu AI đang được giữ kín trong lúc các nhà nghiên cứu chuẩn bị bản trình bày riêng về công trình.

Quá trình từ kết quả của mô hình đến thông báo

OpenAI cho biết các phát hiện được tuyên bố được tạo ra trong tháng 9 và tháng 10 năm 2026. Trình tự này phân biệt thời điểm tạo lập các lập luận bằng văn bản với giai đoạn sau đó khi chúng được hình thức hóa trong Lean, một hệ thống kiểm tra chứng minh được diễn đạt bằng ngôn ngữ toán học chặt chẽ.

• Ngày 9 tháng 9: Mô hình tạo ra chứng minh được tuyên bố về sự tồn tại của lý thuyết Yang-Mills thuần túy.
• Ngày 18 tháng 9: Mô hình tạo ra chứng minh được tuyên bố về QCD.
• Ngày 6 tháng 10: OpenAI công bố 722 bản thảo toán học trong một đợt phát hành nghiên cứu trước đó.
• Ngày 16 tháng 10: Mô hình tạo ra lập luận bác bỏ ETH, đồng thời chứng minh về sự tồn tại của Yang-Mills hoàn tất việc hình thức hóa bằng Lean.
• Ngày 17 tháng 10: Lập luận về ETH hoàn tất việc hình thức hóa bằng Lean.
• Ngày 18 tháng 10: Mô hình tạo ra lập luận về làm trơn cục bộ.
• Ngày 19 tháng 10: Lập luận toán học hoàn tất việc hình thức hóa bằng Lean.
• Ngày 26 tháng 10: OpenAI công bố ba dự án và kế hoạch thẩm định.

Các bài viết và tài liệu chứng minh hình thức hóa về toán học và khoa học máy tính được công khai trên GitHub. Nhóm vật lý chọn trình tự khác: công bố phần giải thích trước khi phát hành tài liệu AI nền tảng.

Kiểm tra hình thức đóng vai trò gì trong thẩm định khoa học

Lean cho phép viết chứng minh thành một chuỗi phát biểu chính xác, được phần mềm kiểm tra dựa trên các định nghĩa và quy tắc logic. Nhờ đó, người đọc có thể xem xét lập luận phức tạp ở mức chi tiết khó duy trì trong văn xuôi thông thường.

Người thẩm định cũng xem xét các định nghĩa hình thức có khớp với câu hỏi nghiên cứu ban đầu hay không, chứng minh dựa vào những giả định nào và kết quả liên hệ ra sao với công trình trước đây. Với tuyên bố về tính toán, việc này bao gồm tìm hiểu thuật toán và thời gian chạy. Với tuyên bố về sóng, việc này bao gồm xem xét các số chiều và phạm vi của những ước lượng được đề cập.

OpenAI mô tả kết quả của mô hình là dữ liệu nghiên cứu thô cần được chuyển hóa thành hiểu biết khoa học. Ba phương thức công bố phân chia công việc đó theo những cách khác nhau: thẩm định công khai đối với toán học, một nhóm được tổ chức cùng với quyền tiếp cận công khai đối với khoa học máy tính, và phần giải thích ban đầu do một nhóm được lựa chọn thực hiện đối với vật lý.

Williams cho biết những người thẩm định kết quả về tính toán không phải ký thỏa thuận bảo mật và sẽ không được trả công. OpenAI chấp thuận đề nghị công bố dữ liệu ETH thô và tài trợ một hội nghị để các nhà nghiên cứu xem xét tuyên bố. Những người tham gia bên ngoài được tự do đưa ra và công bố kết luận độc lập với công ty.

Quyền tiếp cận, kinh phí và ghi nhận trở thành một phần tranh luận

Thông báo của OpenAI được đưa ra sau những chỉ trích về việc công bố trước đó hàng trăm bản thảo toán học và khối lượng công việc cần thiết để đánh giá chúng. Cách sắp xếp mới đưa các học giả được nêu tên vào quá trình, đồng thời làm dấy lên tranh luận về việc ai được tiếp cận trước.

Hội đồng cố vấn toán học AGMAI của công ty khuyến nghị không cấp cho một số nhà nghiên cứu quyền tiếp cận sớm các kết quả AI. Những lo ngại của hội đồng gồm quyền tiếp cận không bình đẳng, thiên lệch trong lựa chọn và nguy cơ danh tiếng của các nhà nghiên cứu nổi tiếng tạo uy tín cho công trình trước khi việc thẩm định hoàn tất.

Hội đồng khuyến nghị công bố kết quả thông qua các kho lưu trữ học thuật, bao gồm các phiên bản hình thức hóa bằng Lean và thông tin về cách lựa chọn bài toán. Hội đồng cũng kêu gọi hỗ trợ các nhà nghiên cứu kiểm tra và giải thích kết quả. Việc tài liệu vật lý bị giữ kín khiến vấn đề quyền tiếp cận trở nên cụ thể trong thông báo này.

OpenAI cho biết công ty không tìm kiếm công trạng học thuật cho các phát hiện và muốn các nhà nghiên cứu được ghi nhận vì những phần giải thích họ thực hiện. Thư của nhóm thẩm định về khoa học máy tính đặt câu hỏi về cách ghi nhận cả việc phát hiện lẫn kiểm tra, sửa chữa, đơn giản hóa, giải thích và mở rộng kết quả. Thư cũng hỏi cách hỗ trợ sinh viên và nhà nghiên cứu khi phương pháp nghiên cứu thay đổi.

Khoản đóng góp 5 triệu USD cho Quỹ Simons được công bố trước đó nhằm hỗ trợ các hội thảo, hội nghị và chương trình nghiên cứu liên quan đến kết quả AI. Tài trợ cho các hoạt động này sẽ giúp phân bổ công việc thẩm định ra ngoài những nhóm nhỏ được nêu trong thông báo.

Những điểm chính

• OpenAI công bố ba đột phá được tuyên bố vào ngày 26 tháng 10 năm 2026. Các kết quả vẫn cần được thẩm định độc lập.
• Tuyên bố toán học bao quát tính chất làm trơn cục bộ trong mọi số chiều không gian từ hai trở lên, cùng các kết quả được tuyên bố về Kakeya và bài toán hạn chế.
• Tuyên bố về tính toán đưa ra một thuật toán mà nếu được xác minh sẽ bác bỏ Giả thuyết Thời gian Mũ.
• Russell Impagliazzo, Ramamohan Paturi và Ryan Williams dẫn dắt quá trình thẩm định ETH độc lập.
• David Gross dẫn dắt đợt thẩm định vật lý, bao gồm các chứng minh được tuyên bố về sự tồn tại của QCD và lý thuyết Yang-Mills thuần túy.
• Tài liệu toán học và khoa học máy tính đã được công khai. Tài liệu vật lý đang được giữ kín trong lúc các nhà nghiên cứu chuẩn bị phần giải thích.
• Chưa có thời hạn hoàn tất các đợt thẩm định hoặc công bố tài liệu vật lý.