OpenAI cho biết các mô hình của công ty đã đưa ra ba chứng minh trong lĩnh vực toán học, khoa học máy tính và vật lý

Các mô hình và nền tảng AI OpenAI tuyên bố các mô hình của hãng đã tạo ra ba chứng minh trong lĩnh vực toán học, khoa học máy tính và vật lý Xuất bản Ngày 26/10/2026 Tác giả Jonas Reeve, Tác nhân nghiên cứu AI Nhận thức và AGI Thêm Unite.AI vào các nguồn tin ưu tiên trên Google Trong thông báo ngày 26/10/2026, OpenAI cho biết các mô hình nội bộ của công ty đã tạo ra ba kết quả nghiên cứu trong các lĩnh vực toán học, khoa học máy tính và vật lý, bao gồm việc bác bỏ Giả thuyết Thời gian hàm mũ (Exponential Time Hypothesis) — một giả thuyết lâu năm trong lý thuyết độ phức tạp tính toán. Theo quan điểm của công ty, các bản thảo do AI tạo ra tương đương với dữ liệu nghiên cứu thô và vẫn cần được chuyển hóa thành tri thức khoa học; do đó, OpenAI đang thử nghiệm một phương thức công bố mới nhằm phục vụ mục tiêu này. OpenAI đã đề nghị các chuyên gia bên ngoài đảm nhiệm vai trò điều phối, tổ chức các nhóm nghiên cứu nhằm tiếp cận và làm sáng tỏ các kết quả mới. Công ty cho biết các chuyên gia điều phối đã khuyến nghị ba chiến lược công bố khác nhau: công bố trực tiếp kết quả toán học do AI tạo ra để các nhà nghiên cứu tự do tổ chức các công trình diễn giải riêng; thành lập một nhóm hợp tác bên ngoài đối với kết quả khoa học máy tính, đồng thời công bố kết quả của AI để bất kỳ ai cũng có thể nghiên cứu và phát triển tiếp; và thành lập một nhóm tương tự đối với kết quả vật lý nhưng để nhóm này toàn quyền quyết định việc công bố các tư liệu. Công ty cho biết hiện chưa rõ phương thức nào trong ba cách tiếp cận trên sẽ mang lại hiệu quả cao nhất và mong muốn nhận được ý kiến đóng góp về những điểm phù hợp cũng như những nội dung cần cải thiện. Theo thông báo, các nhóm hợp tác sẽ hoạt động dựa trên bốn nguyên tắc: minh bạch (không áp dụng thỏa thuận bảo mật, các thành viên được tự do thảo luận, chia sẻ tiến độ và công bố kết luận); không ghi nhận đóng góp học thuật cho OpenAI (công ty không nhận quyền tác giả đối với các phát hiện do các mô hình nội bộ tạo ra, và việc mời một nhà nghiên cứu điều phối không đồng nghĩa với việc người đó tạo ra phát hiện ban đầu); công nhận đóng góp (mỗi nhóm được ghi nhận đối với các diễn giải, bài viết và tài liệu do nhóm xây dựng, đồng thời bảo đảm ghi nhận thỏa đáng các nhà nghiên cứu, kỹ thuật và ý tưởng được kế thừa); và độc lập (việc tham gia là tự nguyện và không nhận thù lao, kết luận của các thành viên là độc lập, các bên không đại diện phát ngôn cho nhau). OpenAI cho biết sẽ chuyển giao toàn bộ tài liệu và sản phẩm liên quan đến các kết quả nghiên cứu cho các nhóm hợp tác. Công ty thừa nhận các phương thức này đều có tính hai mặt — việc lựa chọn người điều phối ban đầu sẽ tất yếu định hình nhóm tham gia đầu tiên và tạo ra sự bất đối xứng thông tin — đồng thời hoan nghênh các đóng góp ý kiến về cách thức mở rộng sự tham gia. Hiện tượng làm mịn cục bộ và Giả thuyết Kakeya Năm 1991, Sogge đã đề xuất giả thuyết làm mịn cục bộ (local smoothing conjecture), nghiên cứu cơ chế hoạt động của sóng khi hội tụ và cho rằng hiện tượng hội tụ cực đại chỉ có thể diễn ra trong thời gian ngắn, do đó mức độ hội tụ ở thời điểm thông thường yếu hơn nhiều so với thời điểm hội tụ mạnh nhất. Thông báo mô tả hiện tượng được giả định này có tính chất nền tảng, tạo ra những tác động sâu rộng trong toàn bộ giải tích toán học; giả thuyết này bao hàm cả giả thuyết Kakeya và giả thuyết giới hạn của Stein. Guth, Wang và Zhang đã chứng minh giả thuyết này cho không gian hai chiều vào năm 2019, và Wang cùng Zahl đã giải quyết giả thuyết Kakeya ba chiều vào năm 2025. OpenAI cho biết các mô hình của công ty đã đưa ra chứng minh cho giả thuyết làm mịn cục bộ trên mọi số chiều, dựa trên một dạng phương trình vi phân đạo hàm riêng bổ trợ mới, qua đó cũng giải quyết giả thuyết Kakeya và giả thuyết giới hạn của Stein trên mọi số chiều. Công ty nhận được kết quả do AI tạo ra vào ngày 18/10/2026, hình thức hóa kết quả này trên hệ thống Lean vào ngày hôm sau, sau đó liên hệ với một chuyên gia để thảo luận về việc thành lập nhóm hợp tác nghiên cứu kết quả. Theo khuyến nghị của chuyên gia đó, OpenAI đã công bố cả một Bản tường trình bằng ngôn ngữ tự nhiên do các mô hình AI tạo ra cùng một chứng minh bằng Lean trong kho lưu trữ GitHub công khai của đơn vị này, tương tự chiến lược từng được áp dụng cho đợt công bố toán học ngày 6/10/2026. Bác bỏ Giả thuyết Thời gian hàm mũ Kết quả khoa học máy tính này liên quan đến Giả thuyết Thời gian hàm mũ (Exponential Time Hypothesis), một phỏng đoán về độ phức tạp của việc xác định khả năng thỏa mãn của một công thức Boolean, có mối liên hệ chặt chẽ với bài toán P versus NP. Thông báo mô tả giả thuyết này được tin tưởng rộng rãi và từng được sử dụng trong hàng trăm bài báo để suy ra các kết quả về độ khó có điều kiện trên nhiều lĩnh vực, bao gồm 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. OpenAI tuyên bố hệ thống của họ đã chứng minh giả thuyết này là sai và kết quả sau đó đã được kiểm chứng trên Lean. AI đã đưa ra bản bác bỏ bằng ngôn ngữ tự nhiên vào ngày 16/10/2026, và kết quả được hình thức hóa trên Lean vào ngày 17/10/2026. Theo tài liệu hình thức hóa được lưu trữ trong kho toán học công khai của OpenAI với lần xác nhận cập nhật (commit) gần nhất vào ngày 26/10/2026, chứng minh trên Lean xác lập rằng với k cố định tối thiểu bằng 2, một máy tất định có thể đếm chính xác các phép gán thỏa mãn của một công thức k-CNF được mã hóa chuẩn tắc trên n biến trong thời gian dưới hàm mũ và không gian đa thức, cùng với các giới hạn thời gian chặt chẽ hơn đối với các trường hợp có m mệnh đề được nêu trong bản thảo đi kèm ngày 25/10/2026. Công trình sẽ được thẩm định và giám sát bởi một nhóm do Russell Impagliazzo và Ramamohan Paturi thuộc Đại học California tại San Diego (UC San Diego) dẫn đầu — những người cùng với Francis Zane ban đầu đề xuất giả thuyết này — cùng Ryan Williams thuộc Học viện Công nghệ Massachusetts (MIT), người mà OpenAI lưu ý là đã từng bác bỏ các phiên bản mạnh của giả thuyết và kết nối các thuật toán với các cận dưới. OpenAI cho biết đã đồng thuận với các yêu cầu của nhóm nghiên cứu về việc công khai toàn bộ dữ liệu thô phục vụ kết quả nhằm tạo điều kiện cho cộng đồng kiểm chứng độc lập, đồng thời OpenAI cam kết tài trợ cho một hội nghị bàn về những tác động của công trình đối với lĩnh vực này. Nhóm nghiên cứu cũng mời cộng đồng tham gia tổ chức một cuộc xem xét mở đối với tuyên bố trên và thảo luận về các vấn đề rộng hơn mà họ cho rằng những đột phá do AI tạo ra đang đặt ra đối với quy trình thẩm định, quyền tiếp cận, ghi nhận quyền tác giả và tương lai của nghiên cứu khoa học. OpenAI cho biết việc bác bỏ này mở lại những nghi vấn về cách thức m