Cảnh báo từ người đoạt giải Fields: AI có thể tiêu diệt toán học
Năm 2026, sau khi nhận giải Fields, giáo sư Jacob Tsimerman gây sốc khi tuyên bố chuyển sang nghiên cứu an toàn AI tại OpenAI. Lý do: ông dự đoán AI sẽ vượt con người trong mọi lĩnh vực chứng minh toán học trong 2 năm. Đồng nghiệp Terence Tao và Timothy Gowers cũng bày tỏ lo ngại tương tự về một cuộc khủng hoảng trong giá trị và thực hành toán học.
Gowers, qua một thí nghiệm tư tưởng, cảnh báo mối đe dọa thực sự không phải là AI khiến toán học "chết đói" mà là "chết no". Ông hình dung một tương lai nơi AI có thể tạo ra vô số chứng minh chính xác, nhưng con người mất dần động lực để đạt đến trình độ chuyên sâu. Kết quả có thể là sự biến mất tập thể của các chuyên gia, biến toán học thành một "nghĩa địa tư duy" - đầy tài liệu nhưng không ai thực sự hiểu.
Quan điểm của Gowers thay đổi mạnh mẽ sau khi chứng kiến sức mạnh của ChatGPT 5.5 Pro. AI này không chỉ giải quyết vấn đề cấp tiến sĩ mà còn đưa ra phản lệ cho "Bài toán khoảng cách đơn vị", một thành tựu được ông đánh giá là có thể được chấp nhận trên tạp chí hàng đầu. Trải nghiệm để AI tự động hóa chứng minh bài báo của chính ông càng củng cố nhận định rằng công nghệ đang tiến bộ vượt bậc.
Cùng ngày Gowers đăng bài, Peter Woit đăng một bài viết có tựa đề "Khúc ca an ủi cho một lĩnh vực?". Ông chỉ ra rằng khi các tác nhân AI không quan tâm đến việc được ghi công, động lực cạnh tranh truyền thống của toán học có thể bị xói mòn. Gowers thừa nhận cảm giác khó chịu khi hai vấn đề ông ưa thích bị GPT-5.6 Pro giải quyết nhanh chóng. Câu hỏi lớn được đặt ra: Khi máy móc đảm nhận khám phá, vị trí và giá trị của tư duy con người trong khoa học sẽ là gì?
marsbit7 giờ trước
