Terence Tao kêu gọi tiếp cận toàn diện khi ứng dụng AI trong toán học

Nhà toán học đạt giải Fields Terence Tao cho rằng "Math 2.0"—tương lai của toán học kết hợp với AI—phải chú trọng vào sự tiến bộ toàn diện và hiểu biết về mặt bản chất khái niệm hơn là chạy theo việc tự động tạo ra các phép chứng minh để đạt điểm chuẩn (benchmark). Ông cảnh báo về việc đơn thuần chuyển giao các lời giải chưa qua kiểm chứng cho cộng đồng toán học mà không mang lại những góc nhìn lý thuyết sâu sắc hơn. Khi các hệ thống AI ngày càng cố gắng giải quyết các bài toán phức tạp, việc ưu tiên điểm số benchmark hơn là chiều sâu giải thích có nguy cơ làm các nhà nghiên cứu bị quá tải bởi các kết quả khó kiểm chứng. Việc chuyển sang một mô hình toàn diện sẽ đảm bảo các công cụ AI nâng cao trực giác của con người, thúc đẩy các hướng tiếp cận thay thế và phát triển tri thức khoa học một cách có ý nghĩa. Tao lưu ý rằng chỉ riêng việc biết một lời giải tồn tại có thể làm nản lòng các nhà nghiên cứu trong việc tìm kiếm các hướng đi thay thế mang lại hiểu biết rộng hơn về mặt cấu trúc. Tích hợp hiệu quả đòi hỏi AI phải hỗ trợ kiểm chứng, tinh chỉnh và mở rộng các khái niệm toán học thay vì chỉ đóng vai trò như một công cụ giải toán dựa trên sức mạnh tính toán thuần túy.