7/10 bài toán toán học mới bị AI giải quyết: Terence Tao cảnh báo 'bội thực chứng minh'

Những điểm chính:

AI gây bội thực chứng minh trong ngành Toán, dẫn đến quá dồi dào lời giải chưa được kiểm chứng.
Nhà toán học Terence Tao nhận định cộng đồng Toán đang bước vào giai đoạn biến động tương tự hồi 1900-1930.
Tao cảnh báo việc tối ưu hóa quá mức một chỉ số (ví dụ như số bài toán được giải) sẽ làm lệch hướng các mục tiêu truyền thống của ngành.

Diễn biến và phân tích

AI đang tạo ra cuộc khủng hoảng nền tảng, khi khiến ngành Toán chuyển từ khan hiếm các chứng minh thành quá dồi dào, theo Terence Tao - chủ nhân Fields 2006.

Tao trình bày bài diễn thuyết 'Toán học trong kỷ nguyên AI' tại Đại hội Toán học Quốc tế (ICM) ở Philadelphia, Mỹ. Ông cho biết từ thí nghiệm First Proof hồi tháng 5, các hệ thống AI hàng đầu đã giải thành công 7/10 bài toán nghiên cứu mới.

Tao nhận định rằng cộng đồng Toán đang bước vào một giai đoạn biến động tương tự - một cuộc khủng hoảng về giá trị và thực hành toán học nền tảng. Theo ông, quy trình đưa kết quả chứng minh tới cộng đồng gồm 5 bước: tạo lời giải, kiểm chứng, trình bày, được chấp nhận và cuối cùng là đưa vào lý thuyết, giáo trình.

Sự gia tăng tốc độ của AI đang gây ra sự 'lệch pha' hoặc 'bội thực chứng minh' nghiêm trọng. Theo đó, AI tạo ra nhiều lời giải nhanh chóng, dẫn đến tồn đọng số lượng chưa được kiểm chứng. Các công cụ tự động hóa có thể đưa ra các lời giải đã được xác minh nhưng không đủ để con người hiểu.

7/10 bài toán toán học mới bị AI giải quyết: Terence Tao cảnh báo 'bội thực chứng minh'

Tao kiến nghị nhà toán học công khai những công cụ và tài nguyên tính toán được dùng trong bài báo của họ. Ông cảnh báo rằng việc tối ưu hóa quá mức một chỉ số (ví dụ như số bài toán được giải) sẽ làm lệch hướng các mục tiêu truyền thống của ngành.

Terence Tao, nhà toán học người Australia gốc Hoa, được mệnh danh là 'Mozart Toán học' bởi tài năng phi thường. Năm 13 tuổi, ông đã giành huy chương vàng trẻ nhất trong lịch sử Olympic Toán quốc tế và trở thành giáo sư tại Đại học California, Los Angeles (Mỹ) ở tuổi 24.

Nguồn: VnExpress

#ai #toanhoc #terencetao #boithucchungminh

Bảo Ngân

62 posts