Trong 80 năm, một trong những vấn đề khó giải nhất trong hình học tổ hợp đã nằm trên kệ, thỉnh thoảng được các nhà toán học đầy tham vọng mang ra xem xét, nhưng chưa bao giờ được giải quyết. Giờ đây, một AI đã làm được điều đó.
Một mô hình suy luận tổng quát nội bộ của OpenAI đã đưa ra một chứng minh giải quyết bài toán khoảng cách đơn vị trên mặt phẳng, một giả thuyết lần đầu tiên được nhà toán học Hungary lừng danh Paul Erdős đặt ra vào năm 1946. Chứng minh này, kéo dài khoảng 125 trang, đã xác định một họ vô hạn các cấu hình mặt phẳng có nhiều cặp khoảng cách đơn vị hơn so với các bố trí được cho là tối ưu truyền thống. Nói một cách đơn giản: AI đã tìm ra các mô hình hình học phá vỡ giới hạn mà các nhà toán học tin là tồn tại trong tám thập kỷ.
Điều mà bằng chứng thực sự nói
Vấn đề khoảng cách đơn vị phẳng đặt câu hỏi: với n điểm trên mặt phẳng, số cặp điểm có khoảng cách chính xác bằng một đơn vị lớn nhất có thể là bao nhiêu? Erdős đã đưa ra một giới hạn trên cho con số này, và trong nhiều thập kỷ, các cấu hình nổi bật nhất là các cấu trúc giống lưới, dường như xác nhận trực giác của ông.
Mô hình của OpenAI đã đi theo một hướng hoàn toàn khác. Thay vì lặp lại các bố trí lưới đã biết, nó tiếp cận vấn đề thông qua lý thuyết số đại số, kết nối nó với các cấu trúc toán học nâng cao được gọi là tháp trường lớp vô hạn. Kết quả là một họ vô hạn các cấu hình vượt trội hơn các cấu hình tối ưu được chấp nhận truyền thống, bác bỏ trực tiếp giả thuyết về giới hạn trên của Erdős. Sự cải tiến này đã được định lượng với một số mũ khoảng 0,014.
Ai đã xác minh nó, và tại sao điều đó quan trọng
Tim Gowers, người đoạt Huy chương Fields, đã đánh giá công trình này. Will Sawin, một nhà toán học tại Princeton, cũng vậy. Cả hai đều xác nhận tính chính xác của chứng minh. Sawin cụ thể đã định lượng mức cải tiến ở con số số mũ khoảng 0,014.
Thông báo được đưa ra vào khoảng ngày 20 tháng 5 năm 2026 và ngay lập tức thay đổi cuộc thảo luận về những gì các hệ thống suy luận AI có thể làm trong các bối cảnh nghiên cứu thuần túy.
Điều này có nghĩa gì ngoài toán học
Các kỹ thuật liên quan, đặc biệt là lý thuyết số đại số và việc xây dựng các đối tượng toán học mới, có mối liên hệ trực tiếp với hệ thống xác minh hình thức và bằng chứng không tri thức.
Xác minh hình thức là quá trình chứng minh toán học rằng mã nguồn hoạt động đúng như mong đợi. Nếu các mô hình suy luận AI có thể tạo và xác thực các chứng minh ở mức độ được minh họa ở đây, chi phí và thời gian để xác minh hình thức các giao thức phức tạp có thể giảm đáng kể.
Bằng chứng không tri thức, kỹ thuật mật mã nền tảng cho các blockchain tập trung vào quyền riêng tư và các giải pháp mở rộng như zk-rollups, được xây dựng trên những nền tảng đại số sâu sắc. Loại lý thuyết số đại số mà mô hình của OpenAI sử dụng để giải quyết vấn đề này nằm trong cùng một vùng toán học.
Không có token tiền điện tử cụ thể nào được liên kết với kết quả này, và bất kỳ ai tuyên bố ngược lại đều đang đi trước sự thật.