Bài phát biểu mới nhất của Terence Tao: AI không đến để cướp miếng bánh của các nhà toán học, mà là để làm cho miếng bánh lớn hơn

Chuyên mục: WaytoAGI · AIHOT.VN · Tác giả / Nguồn: · Cập nhật:

Tóm tắt cốt lõi: Bài phát biểu mới nhất của Terence Tao, người đoạt giải Fields, tiết lộ: lĩnh vực toán học bảo thủ đang bị lung lay bởi sự kết hợp giữa xác minh hình thức (formal verification) và AI. Xác minh hình thức phá vỡ rào cản lòng tin, giúp cho việc hợp tác ẩn danh quy mô lớn trở nên khả thi, dự án do ông dẫn dắt với 50 người trong ba tháng đã giải quyết được 22 triệu bài toán đại số, vượt xa quy mô nghiên cứu trước đây. Mặc dù AI có thể giải các bài toán Olympic nhưng thường mắc các lỗi cơ bản, giá trị cốt lõi của nó không phải là thay thế các nhà toán học, mà là đảm nhận một lượng lớn các vấn đề có độ khó trung bình, làm cho "chiếc bánh" nghiên cứu khoa học lớn hơn, để con người có thể tập trung vào các đột phá cốt lõi, đây có lẽ là hướng đi tương lai của sự hợp tác giữa AI và khoa học.