Terence Tao cảnh báo toán học đang đối mặt với khủng hoảng giá trị, chứng minh do AI tạo ra sẽ dư thừa

Nhà toán học gốc Hoa Terence Tao đã phát biểu tại Đại hội Toán học Quốc tế (ICM) rằng toán học đang bước vào một cuộc khủng hoảng cơ bản về giá trị và phương pháp nghiên cứu. Ông chỉ ra rằng AI sẽ sớm có khả năng hoàn thành một lượng lớn các nhiệm vụ toán học nghiên cứu với chi phí hợp lý. Trong các bài kiểm tra gần đây, bốn hệ thống AI đã đối mặt với 10 vấn đề nghiên cứu hoàn toàn mới, và ít nhất một hệ thống đã giải quyết được 7 trong số đó với chất lượng có thể công bố, với chi phí tính toán cho mỗi bài từ 10 đến 1000 USD. Terence Tao cho rằng toán học sẽ chuyển từ "thiếu chứng minh" sang "dư thừa chứng minh", với các chứng minh do AI tạo ra sẽ tích lũy chờ được xác minh, và kết quả sau khi xác minh vẫn cần con người thực hiện việc giải thích, biên tập và tổ chức rõ ràng. Khả năng thực sự hiếm có sẽ là khả năng đánh giá tầm quan trọng của kết quả và chuyển đổi chứng minh thành kiến thức mà con người có thể hiểu chung. Ông nhấn mạnh rằng nếu tác giả không thể giải thích rõ ràng và chính xác những thành quả của mình, thì ngay cả khi chứng minh được tạo ra bởi AI và đã qua xác minh, cũng không nên công bố.

Nội dung này chỉ được đưa ra nhằm mục đích cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, ưu đãi trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto. Tài sản crypto có độ biến động cao và có thể dẫn đến thua lỗ.Tính khả dụng của các dịch vụ, sản phẩm và sự kiện liên quan của WEEX có thể khác nhau tùy theo khu vực. Bạn có trách nhiệm bảo đảm việc tham gia của mình tuân thủ các luật và quy định hiện hành tại địa phương.