OpenAI công bố các bước đột phá khoa học lớn trong toán học, khoa học máy tính và vật lý
OpenAI thông báo rằng các mô hình trí tuệ nhân tạo của họ đã đạt được ba bước đột phá khoa học lớn, bao gồm việc chứng minh giả thuyết làm mượt cục bộ và giả thuyết Kakeya trên mọi chiều không gian, bác bỏ Giả thuyết Thời gian Mũ, và cung cấp chứng minh toán học nghiêm ngặt liên quan đến bài toán thiên niên kỷ Yang-Mills. Cột mốc này thể hiện năng lực ngày càng tăng của AI trong việc tự độc lập khám phá và chứng minh các lý thuyết khoa học phức tạp thay vì chỉ đơn thuần trả lời câu hỏi hay hỗ trợ nghiên cứu của con người. Sự kiện này đánh dấu một bước ngoặt khi AI chủ động thúc đẩy nghiên cứu nền tảng trong toán học, khoa học máy tính và vật lý lý thuyết. Các chứng minh toán học và khoa học máy tính đã được kiểm chứng hình thức bằng công cụ Lean, trong khi các kết quả vật lý hiện đang trải qua quá trình thẩm định ngang hàng bởi các chuyên gia nổi tiếng, bao gồm cả những người đoạt giải Nobel. Toàn bộ các chứng minh bằng ngôn ngữ tự nhiên và hình thức đã được công khai trên GitHub.
## KIẾN THỨC NỀN
Giả thuyết làm mượt cục bộ và giả thuyết Kakeya là những bài toán sâu sắc trong phân tích điều hòa liên quan đến hành vi sóng và số chiều tập hợp trong không gian Euclid. Giả thuyết Thời gian Mũ (ETH) là một giả định lâu đời trong lý thuyết độ phức tạp tính toán về độ khó của bài toán 3-SAT, trong khi bài toán sự tồn tại và khoảng trống khối lượng Yang-Mills là một trong bảy Bài toán Giải thưởng Thiên niên kỷ của Viện Toán học Clay.