OpenAI cho biết các mô hình của họ đã chứng minh giả thuyết làm trơn cục bộ, bác bỏ Giả thuyết Thời gian Hàm mũ và chứng minh sự tồn tại của Yang–Mills

OpenAI công bố ba kết quả trong toán học, khoa học máy tính và vật lý do các mô hình của họ tạo ra. Tất cả thông tin dưới đây đều là tuyên bố của chính OpenAI; hiện chưa có kết quả nào được xác minh độc lập, và OpenAI cho biết các kết quả đã được kiểm tra bằng Lean.

• Toán học (giải tích điều hòa). OpenAI cho biết các mô hình của họ đã chứng minh giả thuyết làm trơn cục bộ trong mọi số chiều; theo OpenAI, kết quả này cũng giải quyết giả thuyết Kakeya và giả thuyết hạn chế Stein trong mọi số chiều, thông qua một phương trình vi phân riêng phần phụ trợ mới. OpenAI đã công bố bản trình bày bằng ngôn ngữ tự nhiên của các mô hình và một chứng minh Lean trong kho GitHub công khai openai/math, tiếp nối cách làm trong đợt công bố ngày 6 tháng 10.
• Khoa học máy tính. OpenAI cho biết hệ thống của họ đã bác bỏ Giả thuyết Thời gian Hàm mũ (ETH), một giả thuyết về độ phức tạp của bài toán thỏa mãn công thức Boolean, và việc bác bỏ này đã được xác minh bằng Lean. Ryan Williams sẽ dẫn dắt một nhóm cùng Russell Impagliazzo và Ramamohan Paturi (những người đã đề xuất ETH cùng Francis Zane) để xác minh và giải thích kết quả. Theo yêu cầu của nhóm, OpenAI đã công khai chứng minh bằng ngôn ngữ tự nhiên và bản hình thức hóa bằng Lean.
• Vật lý. OpenAI cho biết các mô hình của họ đã tạo ra chứng minh tồn tại chặt chẽ về mặt toán học cho một số lý thuyết trường lượng tử tương tác bốn chiều có trường gauge và fermion, bao gồm QCD và một hoàn thiện thống nhất của Mô hình Chuẩn; đồng thời, như một bài toán con, chứng minh sự tồn tại của lý thuyết Yang–Mills thuần túy, một phần của bài toán Giải thưởng Thiên niên kỷ của Clay Mathematics Institute. OpenAI cho biết các chứng minh được xác minh hình thức bằng Lean. Một nhóm do David Gross dẫn dắt, cùng Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov, sẽ giám sát công việc; OpenAI sẽ để nhóm quyết định việc công bố tài liệu.

OpenAI mô tả các bản thảo là “dữ liệu nghiên cứu thô” và cho biết họ đã mời các chuyên gia bên ngoài làm cố vấn, những người đề xuất chiến lược công bố khác nhau cho từng kết quả. OpenAI nêu các mốc thời gian sau: kết quả về làm trơn cục bộ ngày 18 tháng 10 (được hình thức hóa bằng Lean vào ngày hôm sau), kết quả bác bỏ ETH ngày 16 tháng 10 (hình thức hóa ngày 17 tháng 10), và chứng minh tồn tại Yang–Mills ngày 9 tháng 9 (QCD ngày 18 tháng 9; bản hình thức hóa Yang–Mills bằng Lean hoàn tất ngày 16 tháng 10). Nhóm vật lý đề nghị gửi mọi trao đổi đến một địa chỉ email chuyên dụng và quyết định tạm giữ các hiện vật do AI tạo ra trong khi tự viết lại công trình.

OpenAI cho biết các hoạt động hợp tác tuân theo bốn nguyên tắc: minh bạch (không có thỏa thuận bảo mật), OpenAI không tìm kiếm công trạng học thuật, ghi nhận đóng góp của các nhóm và độc lập (tham gia là tự nguyện, không được trả thù lao, và các thành viên chỉ phát biểu với tư cách cá nhân). OpenAI cho biết sẽ tài trợ một hội nghị về kết quả ETH và đề cập khoản đóng góp 5 triệu USD gần đây cho Simons Foundation để tổ chức các hội thảo và chương trình về kết quả do AI tạo ra. Họ cũng thực hiện một số thay đổi nhỏ đối với kho GitHub, được liệt kê trong tệp lịch sử. Đến tối ngày 26 tháng 10, bài đăng thông báo trên X có 405 điểm và 30 bình luận trên X.