AI giải toán học cấp Fields: khoảnh khắc bước ngoặt hay cú sốc tinh thần?
AI giải toán học cấp Fields là việc các mô hình trí tuệ nhân tạo dùng kỹ thuật học sâu để giải, chứng minh và kiểm chứng những bài toán mở trong toán học thuần túy và khoa học máy tính lý thuyết vốn được xem là chỉ con người xuất sắc nhất mới chạm tới, tới mức nhiều kết quả đạt tầm một huy chương Fields theo đánh giá của giới chuyên môn. Astra, mô hình suy luận thế hệ tiếp theo của OpenAI, đã giải thành công 10 bài toán mở trong toán học và khoa học máy tính lý thuyết, những vấn đề tồn tại nhiều năm mà giới nghiên cứu chưa phá vỡ được. Những kết quả này không phải trò chơi phòng thí nghiệm, mà là các chứng minh được hình thức hóa bằng Lean, nghĩa là mỗi bước lập luận đều được máy kiểm tra chặt chẽ. Câu chuyện không còn là “AI hỗ trợ nhà toán học”, mà là AI đứng chung, thậm chí đứng trên bục thành tựu.
Astra: 10 bài toán tầm Fields, chi phí thấp và cú đánh vào huyền thoại thiên tài
OpenAI công bố phiên bản thử nghiệm nội bộ của Astra, mô hình chủ lực thế hệ tiếp theo, như một màn phô diễn sức mạnh của trí tuệ nhân tạo toán học. Astra giải 10 bài toán hóc búa trong các lĩnh vực từ hình học cao chiều, lý thuyết mã hóa, lý thuyết nhóm, đại số toán tử, độ phức tạp lượng tử đến tổ hợp cực trị. Một trong những kết quả được đánh giá cao nhất là việc xây dựng một nhóm không sofic đếm được, phản ví dụ cho giả thuyết rằng mọi nhóm đếm được đều sofic; nhiều nhà toán học xem đây là thành tựu tầm giải Fields. Toàn bộ 10 bài toán được giải với chi phí tính toán được mô tả là thấp so với công sức hàng thập kỷ của con người. Câu hỏi nhức nhối xuất hiện: nếu một mô hình deep learning có thể tạo ra 249 trang chứng minh trong một lần chạy, thì hình tượng “thiên tài cô độc bên bảng đen” có còn là trung tâm của tiến bộ toán học?
Phản ví dụ siêu ngắn cho bài toán 87 năm và sức mạnh tìm kiếm khái niệm mới
Trong khi Astra tung hoành ở các bài toán tầm Fields, một mô hình AI khác lại đánh vào niềm kiêu hãnh của chứng minh dài dòng: Claude Fable 5 giúp nhà toán học Levent Alpöge tìm phản ví dụ cho giả thuyết Jacobian tồn tại từ năm 1939. Phản ví dụ này là một công thức cực ngắn trong không gian 3 chiều với định thức Jacobian cố định bằng −2, đồng thời gom nhiều điểm vào cùng một đầu ra, từ đó bác bỏ khả năng đảo ngược và đập tan giả thuyết ở mọi số chiều lớn hơn 2. Điều đáng nói là “khó” không còn nằm ở việc viết hàng chục trang chứng minh, mà ở việc định hướng trong không gian tìm kiếm khổng lồ của các ánh xạ đa thức. Claude Fable 5 đã cho thấy trí tuệ nhân tạo toán học có thể không chỉ kiểm tra mà còn phát hiện các đối tượng bất ngờ, điều mà Geoffrey Hinton dự đoán: AI có thể tạo ra những khái niệm toán học mà con người không hiểu được.
Khi nhà vô địch Fields đầu quân cho AI: niềm tin, nỗi sợ và vai trò mới của con người
Trong bối cảnh AI giải các bài toán 80 năm, quyết định của Jacob Tsimerman càng làm câu chuyện “Fields Medal AI” thêm căng thẳng. Tuần trước, ông nhận huy chương Fields rồi tuyên bố sẽ bắt đầu làm việc tại OpenAI, rời giảng đường để gia nhập đội ngũ an toàn AI. Trước đây Tsimerman hoài nghi khả năng AI thay thế tư duy sáng tạo, nhưng trải nghiệm ChatGPT từ năm 2022 và sự bùng nổ của các mô hình mới — từ Astra với chuỗi suy nghĩ dài 125 trang đến Fable 5 bác bỏ giả thuyết Jacobian — đã khiến ông thay đổi hoàn toàn góc nhìn. Ông muốn dùng các phương pháp kiểm chứng chặt chẽ của toán học để thiết kế những hệ thống AI an toàn hơn. Khi những nhà toán học hàng đầu không còn đứng ngoài, mà trực tiếp bước vào tim các phòng thí nghiệm AI, ranh giới giữa “người nghiên cứu” và “công cụ nghiên cứu” đang bị xóa mờ.
Tương lai Fields Medal và toán học thuần túy: kết cục tranh chấp hay đồng sáng tạo?
Astra chọn các giả thuyết khó nhưng vẫn “vừa tầm” với năng lực hiện tại; nhóm của Noam Brown thừa nhận họ chưa chạm tới các bài toán Giải thưởng Thiên niên kỷ như giả thuyết Riemann và chưa đụng tới giới hạn tính toán. Điều này hàm ý một triển vọng gây choáng: những bài toán trị giá hàng triệu đô la có thể bị AI “nuốt chửng” trong tương lai. Khi một tiến sĩ tại Caltech nhận xét rằng từng thành tựu của Astra cũng đủ để đoạt Fields, và khi chính các mô hình AI khác đánh giá một trong những kết quả của Astra là “Đột phá” với tầm vóc giải Fields, câu hỏi không thể né: nếu một chứng minh được tạo chủ yếu bởi AI, ai sẽ nhận huy chương? Có lẽ, thay vì bảo vệ độc quyền con người trên đỉnh toán học, chúng ta cần tái định nghĩa vinh quang: từ “tự mình làm tất cả” sang “thiết kế mục tiêu, hiểu sâu ý nghĩa, kiểm chứng và hướng đạo cho trí tuệ nhân tạo toán học”. Toán học thuần túy sẽ không mất linh hồn, nếu con người chấp nhận vai trò mới: người phiên dịch và người bảo vệ ý nghĩa trong kỷ nguyên Fields Medal AI.
