Tin tức BlockBeats, ngày 19 tháng 8, gần đây khoảng 40 nhà toán học hàng đầu thế giới đã họp tại văn phòng OpenAI ở San Francisco để thảo luận về một vấn đề gây tranh cãi: khi trí tuệ nhân tạo vượt qua con người trong lĩnh vực nghiên cứu toán học, các nhà toán học sẽ đóng vai trò gì trong tương lai.
Giáo sư Daniel Litt của Đại học Toronto đã đưa ra giả thuyết cực đoan tại cuộc họp rằng trong tương lai có thể xuất hiện tình trạng "nghiên cứu toán học chất lượng cao biến mất, năng lực chuyên môn toán học của con người dần mất đi". Ông cho biết, mặc dù kết quả này không phải là khả năng xảy ra cao nhất, nhưng giới toán học phải nhanh chóng thích nghi với những thay đổi do AI mang lại.
Toán học được coi là một trong những ngành học đầu tiên chịu tác động từ năng lực nghiên cứu khoa học của AI. Gần đây, OpenAI đã công bố 10 thành quả toán học và khoa học máy tính do AI tạo ra hoặc hỗ trợ hoàn thành, liên quan đến nhiều lĩnh vực nghiên cứu thường cần nhiều năm đào tạo mới có thể nắm vững.
Nhà toán học của OpenAI, người đoạt huy chương Fields Jacob Tsimerman cho biết, AI có thể sớm đạt đến mức "ổn định vượt trội con người" trong lĩnh vực nghiên cứu toán học. Ông gần đây đã tuyên bố sẽ gia nhập OpenAI để tham gia vào các công việc liên quan đến an toàn AI.
Trong những năm gần đây, AI đã bắt đầu tạo ra một số thành quả toán học mang tính đột phá. Vào tháng 5 năm nay, một mô hình chưa được công bố công khai của OpenAI đã đưa ra ví dụ phản bác "giả thuyết khoảng cách đơn vị", thành quả này được một số nhà toán học đánh giá là đạt trình độ có thể công bố. Đồng thời, các nhà nghiên cứu của Anthropic cũng sử dụng Claude để hỗ trợ nghiên cứu các vấn đề toán học đa chiều.
Tuy nhiên, giới toán học vẫn còn chia rẽ về việc AI thay thế các nhà nghiên cứu con người. Một số chuyên gia cho rằng, AI có thể tạo ra chứng minh, nhưng chưa chắc đã thực sự hiểu các khái niệm toán học. Nhà toán học Melanie Matchett Wood của Đại học Harvard chỉ ra rằng, hiện tại các mô hình AI hàng đầu vẫn khó có thể giải thích chính xác những điểm mấu chốt trong chứng minh.
Giáo sư toán học Bryna Kra của Đại học Northwestern cho biết, toán học không chỉ là tìm ra câu trả lời, mà quan trọng hơn là hiểu được kết quả. "Một chứng minh không được hiểu rõ sẽ không thực sự trở thành một phần của tài liệu toán học."
Đồng thời, cũng có nhà nghiên cứu cho rằng AI có thể trở thành công cụ của các nhà toán học, chứ không phải là người thay thế. Nhà khoa học nghiên cứu của OpenAI Sébastien Bubeck cho biết, trong tương lai toán học có thể tương tự như kỹ thuật phần mềm, AI giúp nhiều nhà nghiên cứu cộng tác giải quyết các vấn đề phức tạp; cũng có thể tương tự như vật lý học, thông qua các mô hình AI thúc đẩy khám phá khoa học ở quy mô lớn hơn.
Khi AI tiếp tục đạt được những đột phá trong lĩnh vực nghiên cứu khoa học, các nhà toán học đang phải đối mặt với một đề bài mới của thời đại: nghiên cứu toán học trong tương lai, là sự đồng sáng tạo giữa con người và AI, hay dần dần tiến tới sự thống trị của máy móc.
