Toán học trong kỷ nguyên AI: Góc nhìn của Terence Tao

Terence Tao – người thường được ví như “Mozart của toán học” – không chỉ nổi bật bởi những đóng góp sâu sắc, mà còn bởi cách ông nhìn nhận tương lai của chính ngành toán trong bối cảnh trí tuệ nhân tạo (AI) đang phát triển nhanh chóng. Trong các chia sẻ gần đây, ông đã phác họa một sự chuyển đổi mang tính nền tảng trong cách con người làm toán.

Toán học: một ngành gần như không thay đổi

“Mathematics has remained structurally unchanged for centuries.”

Theo Tao, trong hàng trăm năm, phương pháp nghiên cứu toán học hầu như không thay đổi. Các nhà toán học làm việc cá nhân hoặc trong nhóm nhỏ, dựa vào trực giác để hình thành ý tưởng, sau đó phát triển chúng thành những chứng minh chặt chẽ tuyệt đối. Công cụ sử dụng rất đơn giản, nhưng tiêu chuẩn logic thì cực kỳ khắt khe.

Chính vì vậy, toán học được xem là một trong những lĩnh vực bảo thủ nhất về phương pháp luận.

AI không thay thế, mà mở rộng khả năng

“AI is not replacing mathematicians, but expanding what is possible.”

Tao nhấn mạnh rằng AI không phải là đối thủ của nhà toán học. Ngược lại, nó mở rộng đáng kể không gian khám phá. Các hệ thống AI có thể xử lý và khảo sát một lượng lớn cấu trúc toán học mà con người không thể thực hiện thủ công.

Điều này dẫn đến sự phân vai rõ ràng hơn:

• AI đảm nhiệm việc khám phá diện rộng
• Con người tập trung vào ý nghĩa và chiều sâu

Giả thuyết được hỗ trợ bởi máy

“AI systems can explore millions of structured problems at scale.”

Một trong những thay đổi quan trọng là khả năng đề xuất giả thuyết từ máy. AI có thể phát hiện các mẫu và cấu trúc ẩn trong dữ liệu toán học, từ đó gợi ý những hướng nghiên cứu mới.

Nhà toán học không còn bắt đầu từ con số không, mà làm việc trong một không gian đã được “gợi ý”. Tuy nhiên, việc hiểu và chứng minh các giả thuyết này vẫn là nhiệm vụ cốt lõi của con người.

Kiểm chứng hình thức và sự thay đổi về niềm tin

“Formal verification removes trust barriers.”

Một bước tiến quan trọng khác là sự phát triển của các hệ thống kiểm chứng hình thức. Thay vì dựa vào sự kiểm tra thủ công của cộng đồng, các chứng minh có thể được xác minh bởi máy với độ chính xác tuyệt đối.

Điều này làm thay đổi bản chất của niềm tin trong toán học:

• Từ niềm tin dựa trên con người
• Chuyển sang xác minh bằng hệ thống máy móc

Một giai đoạn bất định nhưng giàu tiềm năng

“We are entering a period of productive uncertainty.”

Theo Tao, chúng ta đang ở trong một giai đoạn chuyển tiếp:

• Các phương pháp cũ bị thách thức
• Các phương pháp mới chưa hoàn thiện
• Vai trò của con người và AI vẫn đang được định nghĩa lại

Tuy nhiên, chính sự bất định này lại tạo ra động lực cho sáng tạo và đổi mới.

Tác động vượt ra ngoài toán học

Toán học là nền tảng của nhiều ngành khoa học khác. Vì vậy, sự thay đổi trong cách làm toán sẽ lan sang vật lý, khoa học máy tính, kỹ thuật và nhiều lĩnh vực khác.

Khi khả năng khám phá và kiểm chứng được mở rộng, toàn bộ hệ sinh thái khoa học cũng sẽ thay đổi theo.

Kết luận

Trong cách nhìn của Terence Tao, AI không làm mất đi bản chất của toán học, mà mở rộng biên giới của những gì con người có thể khám phá và hiểu.

Tương lai của toán học sẽ không chỉ dựa vào trực giác con người, mà còn là sự kết hợp giữa tư duy sâu sắc và sức mạnh tính toán của máy móc.