Trở thành nhà toán học nghĩa là gì khi AI làm toán?

Bài viết phản ánh về bản chất đang thay đổi của công việc toán học trong thời đại AI. Tác giả, một cựu nghiên cứu sinh tiến sĩ toán ứng dụng, nhớ lại những khó khăn của chính mình và giờ đây hiểu được giá trị của hành trình dài hướng tới sự hiểu biết, một cảm giác mà các nhà toán học thuần túy trân trọng. Những thành tựu AI gần đây, chẳng hạn như Aletheia của Google DeepMind tạo ra nghiên cứu có thể công bố và hệ thống của OpenAI bác bỏ một phỏng đoán trong hình học tổ hợp, cho thấy AI có thể xử lý các nhiệm vụ trước đây được coi là đặc trưng của con người. Các trợ lý chứng minh như Isabelle, Lean và Rocq, kết hợp với các mô hình ngôn ngữ lớn, đang tự động hóa việc hình thức hóa. Tại Diễn đàn Giải thưởng Heidelberg, các cuộc thảo luận tập trung vào tiềm năng thay thế các nhà toán học của AI, với một số người như Yang-Hui He hình dung con người như 'các linh mục của nhà tiên tri', trong khi những người khác, bao gồm cả người đoạt Huy chương Fields Akshay Venkatesh và Maia Fraser, nhấn mạnh giá trị lấy con người làm trung tâm của sự hiểu biết và vẻ đẹp của trí tuệ tập thể. Terence Tao ủng hộ các phương pháp hợp tác nơi con người và AI làm việc cùng nhau.