Toán học không chỉ là đáp án: cú sốc mang tên AI
AI và toán học trong bối cảnh hiện nay là mối quan hệ căng thẳng giữa năng lực giải bài toán của máy và nhu cầu hiểu biết toán học sâu sắc của con người, nơi việc có đáp án không còn đồng nghĩa với tiến bộ trí tuệ hay giá trị lao động của nhà toán học. Khi OpenAI công bố AI giải được hàng trăm bài toán cùng nhiều chứng minh hình thức bằng Lean, giáo sư Hugo Duminil-Copin, chủ nhân Fields Medal, mô tả đó là “cú sốc kinh hoàng” vì toán học, theo ông, cần quá trình hiểu chứ không chỉ cần lời giải. Đây không phải là phản xạ bảo thủ trước công nghệ, mà là lời cảnh báo rằng nếu AI chỉ được dùng để săn lùng đáp án, toán học sẽ bị tước mất linh hồn: con đường khám phá, những ý tưởng chung, và khả năng tái sử dụng chúng cho các vấn đề mới.
Khi Fields Medal lên tiếng: từ tuyên bố tập thể đến nước mắt cá nhân
Điều khiến câu chuyện AI và toán học trở nên nghiêm trọng là việc không chỉ một cá nhân đơn lẻ lên tiếng. Hugo Duminil-Copin cùng 27 nhà toán học đạt Fields Medal như Peter Scholze, Terence Tao, Ngô Bảo Châu… đã ký tuyên bố “Sự lệch hướng nghiêm trọng của AI trong toán học”, công bố ngày 11/9, để cảnh báo rằng cuộc chạy đua cho AI giải toán nhằm quảng bá mô hình đang quay lưng lại với mục tiêu của toán học và đe dọa trực tiếp tương lai của lao động trí tuệ. Đây là một câu nói đáng trích dẫn: “Khi OpenAI công bố giải hàng trăm bài toán, đó là một cú sốc kinh hoàng”. Ở cấp độ cá nhân, Duminil-Copin kể rằng ông đã khóc khi nghĩ đến các đồng nghiệp trẻ, những người dấn thân vào ngành với trí tuệ và tình yêu, nhưng giờ phải nghĩ ra một cách hoàn toàn mới để làm toán.
Đáp án không phải là hiểu biết: ranh giới mà AI đang xóa mờ
Cốt lõi của tranh luận không phải là AI có giải đúng hay không, mà là sự khác biệt giữa “có đáp án” và “có hiểu biết toán học”. Duminil-Copin nhấn mạnh rằng toán học trước hết là để tạo ra sự hiểu biết, và quá trình khám phá còn quan trọng hơn là đáp án. Việc OpenAI công bố hàng trăm kết quả cùng chứng minh hình thức bằng Lean cho thấy máy có thể đi hết một chuỗi suy luận logic, nhưng điều đó không đảm bảo con người hiểu được ý tưởng chung đằng sau, cũng như cách tái sử dụng chúng. Ông chỉ ra rằng sự chặt chẽ logic là chưa đủ; cần bóc tách các ý tưởng, nhận diện cấu trúc, và biến chúng thành tri thức có thể giảng dạy và mở rộng. Khi AI giải được hàng trăm bài toán, câu hỏi không còn là “bài này đúng chưa?” mà là “chúng ta còn đóng vai trò gì trong việc hiểu và phát triển toán học?”.
Tương lai ngành toán: sự nghiệp có thể không còn tồn tại?
Nếu AI tiếp tục được dùng như một “máy ủi” giải toán, tương lai ngành toán trở thành một câu hỏi đáng sợ. Tuyên bố tập thể của các nhà Fields cảnh báo rõ: cuộc chạy đua này đe dọa trực tiếp tương lai của lao động trí tuệ. Tsimerman, chủ nhân Fields Medal 2026, thậm chí đã ngừng nhận thêm nghiên cứu sinh vì lo rằng nếu sinh viên bắt đầu một đề tài nghiên cứu truyền thống lúc này, họ có thể đang chuẩn bị cho một sự nghiệp toán học không tồn tại. Đây là câu nói thứ hai đáng trích dẫn: “Nếu sinh viên bắt đầu một đề tài nghiên cứu truyền thống tại thời điểm này, họ có thể đang chuẩn bị cho một sự nghiệp toán học không tồn tại”. Khi AI có thể giải những bài toán mà cộng đồng đã nghiên cứu hàng thế kỷ, giá trị của hàng nghìn trang chứng minh mà con người viết ra bị đặt lại câu hỏi. Duminil-Copin ước tính mình đã viết 3.000–4.000 trang chứng minh trong sự nghiệp, nhưng chỉ trong 30 trên hơn 700 bài báo, ông đã thấy khoảng 4.000 trang liên quan trực tiếp đến nghiên cứu của mình, và chừng ấy nữa cho những câu hỏi ông dự định khám phá. Nếu máy có thể nuốt trọn khối công sức đó trong vài giờ, thì tương lai ngành toán sẽ đi về đâu?
Giữ linh hồn toán học trong kỷ nguyên AI
Dù lo lắng, các nhà toán học không kêu gọi quay lưng với AI, mà kêu gọi một cách sử dụng có định hướng. Những tiến bộ hiện tại vừa mê hoặc vừa gây đau đầu: nhân loại sẵn sàng ủy quyền năng lực nhận thức của mình đến mức nào cho các hệ thống tạo ra kết quả mà chúng ta không hiểu hết? Gần đây, nhiều nhà toán học kêu gọi sử dụng AI một cách chừng mực, với định hướng bởi cộng đồng khoa học – những người sẽ lựa chọn những vấn đề cần được AI hỗ trợ. Tsimerman cho rằng các nhà toán học có nhiệm vụ hiểu hành vi của các hệ tác tử AI và đưa ra chứng minh để đảm bảo chúng không hành động theo những cách không mong muốn. Nói cách khác, tương lai ngành toán chỉ có ý nghĩa nếu con người vẫn giữ vai trò người hiểu, người chọn câu hỏi, và người quyết định đâu là tri thức đáng được gọi là hiểu biết toán học.
