WORLD NEWS
AI phá vỡ dự đoán Erdös 80 tuổi, được con người xác minh chỉ sau một câu hỏi
Sau khi được hỏi một câu hỏi duy nhất, mô hình AI đã phá hủy gần 80 năm phỏng đoán liên quan đến bài toán khoảng cách vòng tròn đơn vị của Erdös bằng một phản ví dụ.
Điều này không có nghĩa là mọi bài toán khó đều được giải một cách tự động. Các kết quả đã được các nhà nghiên cứu của công ty và các nhà toán học độc lập xem xét, đồng thời chi tiết về các mô hình và tài liệu học tập được sử dụng không được tiết lộ.
Vấn đề là gì?
Đây là một bài toán hình học tổ hợp hỏi về cách tô màu và cấu trúc bị giới hạn trong biểu đồ khoảng cách vòng tròn đơn vị nối các điểm trên một mặt phẳng ở một khoảng cách không đổi. Nhà toán học Paul Erdös đã suy đoán từ những năm 1940 rằng một dạng nhất định sẽ luôn đúng, và trong nhiều thập kỷ không có bằng chứng tổng quát hay phản ví dụ nào.
AI đã làm gì?
Sau khi các nhà nghiên cứu OpenAI trình bày vấn đề bằng ngôn ngữ tự nhiên, mô hình lý luận nội bộ đã phát triển cách xây dựng phản ví dụ theo hướng chưa từng có trước đây. Điều quan trọng là tìm ra các điểm hữu hạn và các cấu trúc kết nối thỏa mãn các điều kiện và phá vỡ kết luận phỏng đoán. Các kết quả được tổ chức thành các đối số mà con người có thể đọc được.
Bạn đã kiểm tra câu trả lời đúng bằng cách nào?
Các nhà toán học bên ngoài công ty đã xem xét một cách độc lập cách xây dựng và logic để xác nhận rằng phản ví dụ đáp ứng các điều kiện. Toán học có ưu điểm là các phần có thể được kiểm tra lại bằng tính toán hoặc xác minh hình thức. Tuy nhiên, nó không được giải quyết chỉ thông qua đầu ra của mô hình và mọi người đã tham gia vào việc xác định vấn đề, chứng minh định lý và xác minh công khai.
Những gì chưa được tiết lộ
Công ty đã tiết lộ bằng chứng và giải thích, nhưng không tiết lộ mô hình nội bộ nào họ sử dụng hoặc tất cả tài liệu học tập. Do đó, rất khó để đánh giá đầy đủ từ bên ngoài tác động của tài liệu hiện có và khả năng tái tạo của các mô hình khác nhau. Cộng đồng toán học chỉ ra rằng các quy tắc ghi công, thỏa thuận và xác minh phải theo kịp tốc độ của công nghệ.
Tại sao nó quan trọng
Đây là một ví dụ cho thấy AI có thể vượt xa việc tóm tắt các giải pháp đã biết và góp phần tìm kiếm các phản ví dụ mới. Đồng thời, việc có thể đưa ra câu trả lời hay một lần khác với việc có kỹ năng nghiên cứu nhất quán. Các công cụ có sẵn công khai, các thử nghiệm có thể tái tạo và đánh giá ngang hàng nghiêm ngặt là những tiêu chí tiếp theo.