OpenAI đạt bước đột phá khi giải bài toán 80 năm tuổi

Một giả thuyết toán học tồn tại suốt 80 năm, vốn làm khó nhiều thế hệ toán học vĩ đại nhất thế giới, vừa được giải mã thành công bởi một mô hình trí tuệ nhân tạo (AI) do OpenAI phát triển. Kết quả này khiến giới chuyên gia kinh ngạc và được ca ngợi là một bước ngoặt quan trọng đối với khả năng suy luận của AI.

AI của OpenAI giải bài toán khiến nhân loại “bó tay” gần 80 năm. Ảnh: The New York Post

AI của OpenAI giải bài toán khiến nhân loại “bó tay” gần 80 năm. Ảnh: The New York Post

Theo The New York Post, đây là “bài toán khoảng cách đơn vị trên mặt phẳng” do Paul Erdős - nhà toán học người Hungary - đặt ra vào năm 1946.

Bài toán với nội dung như sau: Nếu chấm một số điểm ngẫu nhiên trên một tờ giấy thì có thể tạo ra tối đa bao nhiêu cặp điểm cách nhau cùng một khoảng cách?

Một câu hỏi tưởng chừng đơn giản nhưng đã thách thức các nhà toán học từ năm 1946 và trở thành một trong những bài toán nổi tiếng nhất trong hình học tổ hợp.

Thời điểm đó, Erdős đề xuất giả thuyết rằng số lượng cặp điểm này sẽ tăng trưởng với tốc độ nhanh hơn một chút so với tổng số điểm được chấm.

Suốt gần 80 năm, các nhà toán học liên tục tìm cách chứng minh hoặc bác bỏ những giả thuyết liên quan đến bài toán này nhưng chưa đạt kết quả rõ ràng. Phương án tối ưu nhất từng được con người nghĩ ra là xếp các điểm thành một mạng lưới vuông.

Tuy nhiên, mô hình AI của OpenAI đã tìm ra một hướng giải quyết hoàn toàn khác bằng cách dựa trên các nhánh khác nhau của toán học để khám phá ra một nhóm các cấu hình vượt qua giới hạn trong giả thuyết ban đầu của Erdős.

Đột phá này không chỉ bác bỏ một giả thuyết toán học lâu đời mà còn đề xuất một phương pháp sắp xếp hoàn toàn mới.

OpenAI cho biết các phép tính được thực hiện bởi một mô hình suy luận đa năng có khả năng tự động chia nhỏ vấn đề phức tạp thành các bước nhỏ hơn, chứ không phải một công cụ được huấn luyện chuyên biệt cho toán học.

Công trình của OpenAI đã được các nhà toán học chính thức công nhận, trong đó có Thomas Bloom - nhà toán học chuyên trách trang web lưu trữ các bài toán Erdős và cũng chính là người từng chỉ trích gay gắt những tuyên bố trước đây của OpenAI về bài toán Erdős.

Lần này, ông nhìn nhận hệ thống AI đã đạt được kết quả xuất sắc nhờ “kiên trì theo đuổi những hướng tiếp cận mà con người dễ dàng bỏ qua vì cho rằng không đáng để dành thời gian khám phá”.

Tuy nhiên, chuyên gia này cũng lưu ý thêm về vai trò của con người: Mặc dù bằng chứng ban đầu do AI đưa ra hoàn toàn hợp lệ, nhưng nó đã được cải thiện đáng kể nhờ các nhà nghiên cứu tại OpenAI và nhiều nhà toán học khác. Con người vẫn đóng vai trò quan trọng trong việc thảo luận, tiếp thu và hoàn thiện bằng chứng này, cũng như khám phá những hệ quả của nó.

MAI DUNG

Nguồn Đà Nẵng: https://baodanang.vn/openai-dat-buoc-dot-pha-khi-giai-bai-toan-80-nam-tuoi-3337673.html