Suy nghĩ về việc AI giải toán

Timeroot viết về vật lý, toán học và khoa học máy tính. Xét về mặt kinh tế, rất dễ để nói rằng "Bây giờ chúng ta có thể giải bất kỳ bài toán nào", đồng nghĩa với việc chúng ta thu lại lợi ích kinh tế từ rất nhiều toán học chất lượng mà không cần đến số lượng lớn con người đắt đỏ cả về chi phí đào tạo lẫn duy trì để mày mò giải quyết. Điều này rõ ràng mang lại lợi ích lớn cho khoa học và công nghệ nói chung. Nếu một số người từng tìm thấy nhiều niềm vui trong việc theo đuổi toán học chuyên nghiệp, đó quả thực là điều đáng tiếc, và việc trả tiền cho sở thích của họ có lẽ không còn khả thi về mặt kinh tế nữa. Tuy nhiên, đây cũng là số phận của những họa sĩ vẽ chân dung từng rất yêu nghề nhưng cuối cùng lại bị máy ảnh thay thế. Có thể nói đó là một góc nhìn thực dụng, hay thậm chí có sự hợp lý về mặt kinh tế. Mọi nhà toán học đều biết góc nhìn ấy tồn tại, nhưng tác giả và phần lớn mọi người đều cho rằng nó không đúng. Mục đích của toán học, với tư cách là một ngành nghiên cứu, không chỉ là "chứng minh định lý". Chứ minh định lý tất nhiên vẫn quan trọng, nhưng mục đích cốt lõi giống như việc "phát triển sự hiểu biết của chúng ta về toán học" hơn. Từ "chúng ta" ở đây có thể ám chỉ sự hiểu biết của nhân loại, tức tổng hòa hiểu biết của những con người đang sống, hoặc là tri thức được lưu giữ qua các văn bản, bao gồm cả tài liệu từ con người lẫn AI. Chứng minh định lý đóng vai trò then chốt trong việc bồi đắp sự hiểu biết vì ba lý do. Đầu tiên, đó là cách chúng ta củng cố niềm tin rằng một nhận định là chính xác. Thứ hai, quá trình chứng minh định lý có lẽ dạy cho chúng ta cách các công cụ kết hợp với nhau ra sao, hoặc buộc chúng ta phải phát minh ra những công cụ mới để chứng minh một định lý.