Tào Triết Hiên: AI đang khiến các chứng minh toán học tràn ngập, thời đại toán học 1.0 sắp kết thúc

Techub News tin tức, nhà toán học đoạt giải Fields Terence Tao đã chia sẻ rằng AI đang khiến các chứng minh toán học trở nên tràn lan, và kỷ nguyên toán học 1.0 dựa trên sự khan hiếm của chứng minh sắp kết thúc. Ông chỉ ra rằng, với đủ năng lực tính toán và các mô hình tiên tiến, mọi người có thể nhận được lời giải cho nhiều bài toán khó trong thời gian ngắn, nhưng việc đánh giá tính chính xác của lời giải, mức độ đóng góp và sự kết nối với nghiên cứu hiện có vẫn cần được xử lý cẩn thận. Terence Tao cho rằng phần lớn các vấn đề tiên phong trong toán học hiện nay vẫn chưa được giải quyết, và khả năng của AI không đồng đều. Ông kêu gọi thiết lập cơ chế đánh giá khoa học minh bạch hơn, bao gồm cả kết quả thất bại và chi phí tính toán của AI trong báo cáo, đồng thời cảnh báo rằng việc tiếp tục tối ưu hóa mù quáng các chỉ số "giải bài toán" sẽ gây hại cho sức khỏe lâu dài của toán học. Về giá trị cốt lõi của các nhà toán học trong thời đại AI, Terence Tao nhấn mạnh rằng mô hình có thể tạo ra câu trả lời và kiểm tra lập luận, nhưng không thể thay thế con người trong việc kiểm soát chất lượng. Ông chủ trương giảm bớt sự nhấn mạnh vào việc tạo ra chứng minh đầu tiên, tăng cường sự chú trọng vào giải thích, đánh giá và tổ chức tri thức, đồng thời tiết lộ rằng kế hoạch mô hình toán học mở mà ông tham gia sẽ sớm được công bố. (Qbit)