Terence Tao tại Lễ trao Huy chương Fields: Toán học đối mặt với khủng hoảng thế kỷ

Tại Đại hội các nhà toán học quốc tế (ICM) năm 2026, ngay sau khi công bố những người đoạt Huy chương Fields năm 2026 là Vương Hồng và Đặng Vũ, Terence Tao, người cũng nhận giải thưởng này vào năm 2006, đã có bài phát biểu với tựa đề "Toán học trong kỷ nguyên AI". Thay vì thảo luận liệu AI có thể xử lý toán học hay không, Tao đưa ra một giả thuyết làm việc: giả sử rằng AI sẽ sớm có khả năng giải quyết một phần đáng kể các vấn đề nghiên cứu với chi phí hợp lý. Trích dẫn chuẩn đánh giá độc lập First Proof, nơi các hệ thống AI đã giải được 7 trong số 10 bài toán ở mức có thể công bố, ông nhấn mạnh rằng điều này cho phép chuyển cuộc thảo luận sang lĩnh vực giá trị. Tao viện dẫn quy luật Goodhart: khi một chỉ số trở thành mục tiêu, nó không còn là một chỉ số tốt nữa. Ông chỉ ra cách sự phát triển của các mục tiêu trong nghiên cứu toán học (giải quyết vấn đề, kiểm chứng, trình bày rõ ràng, chấp nhận của cộng đồng, phong thánh) sẽ dẫn đến "chứng khó tiêu chứng minh"—một sự chuyển đổi từ kỷ nguyên khan hiếm chứng minh sang kỷ nguyên dư thừa chứng minh. Tao kêu gọi giảm trọng số của "lời giải đầu tiên" và tăng tầm quan trọng của các giai đoạn "tiêu hóa": trình bày, xuất bản và phong thánh. Ông tán thành Tuyên bố Leiden về AI và Toán học, yêu cầu tiết lộ việc sử dụng AI, với tác giả chịu hoàn toàn trách nhiệm về tính chính xác. Nguyên tắc nghiêm ngặt của Tao: nếu một tác giả không thể trình bày rõ ràng và thành thạo tác phẩm bằng miệng, thì không nên xuất bản. Bản thân Tao thừa nhận đã sử dụng AI để chuẩn bị slide và kêu gọi đối thoại cởi mở trong cộng đồng.