Nhà toán học Zhiming Tao cảnh báo rằng toán học đang đối mặt với cuộc khủng hoảng “thừa chứng minh” khi AI có thể giải quyết được 7 trong số 10 vấn đề nghiên cứu

Theo nhà toán học Zhiming Tao tại Đại hội Toán học Quốc tế (ICM), toán học đang bước vào một cuộc khủng hoảng nền tảng liên quan đến phương pháp nghiên cứu và các giá trị, vì các hệ thống AI hiện có thể giải các bài toán toán học ở cấp độ nghiên cứu với chi phí từ 10 đến 1.000 USD cho mỗi bài. Trong thử nghiệm First Proof, các hệ thống AI đã giải được 7 trong 10 bài toán nghiên cứu mới, đạt chất lượng đủ để công bố, chuyển toán học từ “hiếm bằng chứng” sang “dư thừa bằng chứng”. Tao nhấn mạnh rằng kỹ năng then chốt sẽ không còn là giải quyết vấn đề trước, mà là đánh giá mức độ quan trọng của kết quả, diễn giải rõ các chứng minh và chuyển chúng thành sự hiểu biết chung của con người.
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ các nguồn bên thứ ba và chỉ mang tính chất tham khảo. Thông tin này không phản ánh quan điểm hoặc ý kiến của Gate và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Giao dịch tài sản ảo tiềm ẩn rủi ro cao. Vui lòng không chỉ dựa vào thông tin trên trang này khi đưa ra quyết định. Để biết thêm chi tiết, vui lòng xem Tuyên bố miễn trừ trách nhiệm.
Bình luận
0/400
Không có bình luận