Toán học trong Kỷ nguyên AI: Bài giảng đại chúng của Terence Tao tại ICM 2026

Terence Tao đã có bài giảng đại chúng mang tên "Toán học trong kỷ nguyên AI" vào ngày 24 tháng 7 năm 2026 tại Đại hội các nhà toán học quốc tế. Ông so sánh với cuộc khủng hoảng nền tảng đầu thế kỷ 20 do nghịch lý Russell và các định lý bất toàn của Gödel gây ra, và cho rằng AI hiện đang đặt ra một thách thức tương tự. Tao đưa ra "Giả thuyết về năng lực AI" với dạng yếu và mạnh, nhưng chọn tập trung vào câu hỏi trực giao về mục tiêu và giá trị. Ông chấp nhận giả thuyết làm việc rằng một phiên bản đủ mạnh của giả thuyết năng lực AI là đúng: các công cụ AI sẽ sớm có thể thực hiện một phần hợp lý các nhiệm vụ toán học ở cấp độ nghiên cứu với mức độ thành công, chất lượng, kiểm soát và chi phí hợp lý. Dưới giả định này, ông lập luận rằng cộng đồng phải xem xét các mục tiêu thực sự của mình—giải quyết vấn đề, xây dựng lý thuyết, giáo dục, tạo ra các tác phẩm thẩm mỹ—và cảnh báo rằng việc tối ưu hóa cho các giải pháp do AI tạo ra có nguy cơ làm phân kỳ các mục tiêu này. Ông trích dẫn kết quả từ thử thách First Proof (firstproof.org), nơi bảy trong số mười bài toán cấp độ nghiên cứu đã được các nhóm AI giải quyết với chi phí từ 10 đến 1000 đô la Mỹ mỗi bài vào ngày 28 tháng 5 năm 2026. Tao lưu ý rằng các chứng minh do AI tạo ra trên các trang web như Erdős Problems đặt ra những lo ngại về việc xác minh, vì các chuyên gia con người thường thiếu thời gian hoặc trình độ để thẩm định chúng.