OpenAI công bố ba đột phá khoa học trong lĩnh vực AI

OpenAI thông báo mô hình AI của công ty đã đạt được ba đột phá lớn trong ba lĩnh vực: toán học, khoa học máy tính và vật lý — lần đầu tiên thể hiện khả năng độc lập phát hiện và chứng minh chặt chẽ các lý thuyết khoa học phức tạp, vượt xa phạm vi ứng dụng thông thường như trả lời câu hỏi hay hỗ trợ nghiên cứu. Trong toán học, mô hình thành công trong việc chứng minh Giả thuyết trơn cục bộ (Local Smoothness Conjecture) áp dụng cho mọi chiều không gian, từ đó làm nền tảng để giải quyết đồng thời hai bài toán nổi tiếng là Giả thuyết Kakeya và Giả thuyết Giới hạn Stein. Trong khoa học máy tính, mô hình bác bỏ Giả thuyết Thời gian Mũ (Exponential Time Hypothesis) — một tiền đề cơ bản vốn được coi là bất khả xâm phạm trong nhiều thập kỷ — mở ra hướng tiếp cận hoàn toàn mới nhằm thiết kế các thuật toán hiệu quả hơn. Trong vật lý, mô hình xây dựng được chứng minh toán học chặt chẽ về sự tồn tại của Lý thuyết Động lực học Màu Lượng tử (Quantum Chromodynamics) và Lý thuyết Yang–Mills — vấn đề này nằm trong danh sách bảy Bài toán Thiên niên kỷ do Viện Toán học Clay công bố. Theo dữ liệu từ Jinshi Data, OpenAI đã sử dụng công cụ kiểm chứng toán học Lean để xác thực chính thức các kết quả trong toán học và khoa học máy tính, đồng thời công khai toàn bộ tài liệu chứng minh.