AI trong Toán học: AI làm việc cho con người và tác động lên chính họ
OpenAI
Epoch AI
Các mô hình AI đã bắt đầu giải quyết các giả thuyết toán học tồn tại lâu nay, gây ra nhiều phản ứng khác nhau từ cộng đồng toán học, từ sự chấp nhận thực dụng đến khủng hoảng hiện sinh. Một số nhà toán học coi AI là công cụ tăng năng suất, trong khi những người khác lo ngại về sự mai một của văn hóa toán học và vai trò của con người trong khám phá.
Vào tháng 5 năm 2026, OpenAI đã công bố một phản ví dụ cho "Giả thuyết Khoảng cách Đơn vị", bác bỏ một giả thuyết từ lý thuyết đồ thị hình học vốn vẫn mở từ năm 1946. Điều này tiếp nối các giải pháp hỗ trợ bởi AI khác cho các vấn đề tồn tại lâu dài, đánh dấu một bước ngoặt. Các nhà toán học như Abhishek Saha giờ đây sử dụng các mô hình AI để xử lý công việc thường ngày, mô tả vai trò của họ như một nhạc trưởng thay vì cả dàn nhạc. Một số người, như Trefor Bazett, thấy tiềm năng cho một thời kỳ hoàng kim mới, đề cập đến một bài báo của Đại học Carnegie Mellon đã giải quyết một vấn đề lý thuyết Ramsey bằng cách sử dụng bộ giải SAT, mã do LLM tạo ra và xác minh chứng minh hình thức. Timothy Gowers, người đã dự đoán thời đại này vào năm 2000, có cảm xúc lẫn lộn, khi đã trải nghiệm AI giải quyết các vấn đề nghiên cứu của chính mình. Ông lo sợ sự phá hủy văn hóa toán học nếu con người ngừng xây dựng chuyên môn. Tuyên bố Leiden về AI và Toán học, được hơn 3000 nhà toán học ký, nhằm thiết lập các nguyên tắc chỉ đạo. Epoch AI báo cáo tiến bộ nhưng lưu ý rằng các hạng mục chuẩn mực khó nhất vẫn chưa được giải quyết. Terence Tao so sánh tình hình với cuộc khủng hoảng nền tảng đầu thế kỷ 20, coi đó là cơ hội để củng cố toán học, trong khi bài luận "Đêm tối của Toán học" của Kirwin Hampshire đưa ra quan điểm bi quan hơn, gợi ý rằng những sự an ủi là tự lừa dối.
Nguồn: The Decoder (DE) —
bản gốc