Bạn có bao giờ cảm thấy bế tắc trước một bài toán khó, dành hàng giờ đồng hồ để tìm tòi, tính toán nhưng vẫn chưa ra lời giải? Ngay cả những bộ óc vĩ đại nhất trong giới toán học cũng có lúc đối mặt với thử thách tương tự. Mới đây, nhà toán học lừng danh Terence Tao đã chia sẻ một trải nghiệm thú vị về cách anh sử dụng ChatGPT để giải quyết một vấn đề toán học phức tạp, một quá trình mà anh cho rằng đã tiết kiệm được hàng giờ đồng hồ so với cách làm truyền thống. Câu chuyện này không chỉ cho thấy tiềm năng của trí tuệ nhân tạo (AI) trong lĩnh vực khoa học, mà còn mở ra một góc nhìn mới về tương lai của toán học trong kỷ nguyên số.
Khi trí tuệ nhân tạo đồng hành cùng nhà toán học
Terence Tao, một trong những nhà toán học đương đại xuất sắc nhất, đã chia sẻ cách anh sử dụng ChatGPT để giải quyết một bài toán trên diễn đàn MathOverflow. Anh ấy có một phân tích lý thuyết, nhưng lại cần những con số cụ thể để kiểm tra một số bất đẳng thức. Ban đầu, Tao đã yêu cầu AI viết mã Python để thực hiện việc này. Tuy nhiên, anh gặp phải những khó khăn về thời gian chạy và việc lựa chọn tham số. Bằng cách chia nhỏ vấn đề thành một cuộc đối thoại từng bước với ChatGPT, anh dần dần đã hướng dẫn AI gợi ý những tham số phù hợp. Sau đó, Tao đã sử dụng một đoạn mã Python ngắn, cũng do ChatGPT tạo ra, để xác minh kết quả. Điều đáng chú ý là Tao nhận xét: “Tôi không gặp phải bất kỳ vấn đề nào với hiện tượng ảo giác (hallucinations) hay những nội dung vô nghĩa khác do AI tạo ra.”
Việc sử dụng công cụ AI này đã chứng tỏ là một công cụ tiết kiệm thời gian đáng kể. Tao cho biết, nếu tự mình thực hiện, công việc tương tự có thể đã tiêu tốn hàng giờ đồng hồ cho việc viết mã và gỡ lỗi. Anh lưu ý: “AI đã có thể sử dụng ngữ cảnh được cung cấp để phát hiện một số lỗi toán học trong các yêu cầu của tôi và sửa chúng trước khi tạo mã.” Nếu không có AI, Tao nói rằng anh có lẽ đã không dám thử loại tìm kiếm số liệu này và sẽ chọn một cách tiếp cận lý thuyết hơn.
Kỷ nguyên công nghiệp của toán học và vai trò của AI
Terence Tao nhìn chung cởi mở với các mô hình ngôn ngữ lớn (LLMs), nhưng anh hoài nghi về khả năng tạo ra những đổi mới nền tảng của chúng. Tuy nhiên, anh vẫn nhìn thấy tiềm năng của LLMs như những công cụ nghiên cứu quý giá. Tao đã phác thảo một tương lai nơi AI có thể hỗ trợ cho “toán học quy mô công nghiệp”: các nhóm lớn sử dụng công cụ AI để giải quyết những câu hỏi toán học rộng lớn, bổ sung cho việc giải quyết vấn đề chuyên sâu truyền thống.
Anh so sánh sự thay đổi này với tác động của máy tính cờ vua: AI đã không thay thế cờ vua, nhưng nó đã thay đổi cách người chơi tiếp cận trò chơi. Mặc dù các trợ lý AI hiện tại vẫn còn hạn chế, Tao tin rằng cả AI và con người sẽ vẫn đóng vai trò thiết yếu cho sự tiến bộ của toán học. Gần đây, cả Google và OpenAI đều đang phát triển các hệ thống toán học AI tiên tiến hơn, nhưng chúng chưa được phát hành rộng rãi. Cả hai công ty đều báo cáo về những chiến thắng huy chương vàng gần đây tại Olympic Toán học Quốc tế (IMO) và Cuộc thi Lập trình viên Quốc tế (ICPC) bằng cách sử dụng các mô hình suy luận đa năng thay vì các hệ thống được đào tạo chuyên biệt cho các cuộc thi đó.
