Toán học phi bản ngã trong kỷ nguyên AI

Toán học phi bản ngã trong kỷ nguyên AI | Tin tức mới Tin tức mới: Cập nhật về các công trình nghiên cứu và bài viết diễn giải, thảo luận về các bài toán mở cùng các chủ đề liên quan đến toán học. Tác giả: Terence Tao Trang chủ Giới thiệu Tư vấn nghề nghiệp Về kỹ năng viết Sách Mastodon+ Applets Đăng ký nhận tin Toán học phi bản ngã trong kỷ nguyên AI Ngày 2/11/2026 trong mục blog khách mời, ý kiến | Thẻ: AI, Amit Sahai, Jie Xue, Karthik C. S. | bởi Terence Tao [Đây là bài viết của các tác giả khách mời Karthik C. S., Amit Sahai và Jie Xue. Bài viết này ban đầu được soạn thảo ở một định dạng tệp khác và được chuyển đổi bằng AI. — T.] Hiện là thời điểm thích hợp để các nhà toán học suy ngẫm sâu sắc về mục đích công việc của mình. Sự phát triển của trí tuệ nhân tạo đang đặt ra câu hỏi này với một sức ép chưa từng có. Phần lớn các cuộc thảo luận hiện nay tập trung vào việc máy móc sẽ đảm nhiệm những nhiệm vụ nào và năng lực nào sẽ vẫn thuộc về con người. Tuy nhiên, câu trả lời còn phụ thuộc vào một vấn đề cốt lõi đặt ra trước đó: bản chất của nghiên cứu toán học là gì, và điều gì tạo nên giá trị của lĩnh vực này? Nếu câu trả lời gắn chặt với việc tạo ra kết quả và thể hiện năng lực cá nhân, sự bất định hiện nay có thể phản ánh một vướng mắc trong chính nhận thức về bản chất của công việc. Về đại thể, có hai góc nhìn đối với toán học. Quan điểm thứ nhất cho rằng con người phát minh ra toán học thông qua quá trình kiến tạo: đưa ra các khái niệm, lựa chọn hệ tiên đề và phát triển các lý thuyết. Quan điểm thứ hai cho rằng toán học tồn tại độc lập với các hoạt động này, và nhiệm vụ của con người là khám phá ra nó. Hai góc nhìn này không nhất thiết phải mâu thuẫn trên mọi khía cạnh của thực hành toán học. Con người rõ ràng đã phát triển hệ thống hình thức và các lập luận. Câu hỏi sâu xa hơn là liệu những chân lý được thấu hiểu có tồn tại nhờ các hành động này hay không, hay các cấu trúc con người tạo ra chỉ giúp nhận biết một thực thể vốn không phụ thuộc vào con người. Việc khám phá chân lý toán học thoạt nghe có vẻ thụ động, nhưng tương tự như một nhà cổ sinh vật học tìm kiếm hóa thạch, người nghiên cứu phải quyết định địa điểm khai quật, phát triển kỹ thuật và nhận diện ý nghĩa của những di tích không còn nguyên vẹn. Các hóa thạch đã tồn tại từ rất lâu trước khi cuộc khảo sát diễn ra, song việc tìm thấy chúng có thể đòi hỏi trí tưởng tượng phi thường. Sự tồn tại từ trước của chúng định hướng cho hoạt động nghiên cứu. Tương tự, một phát kiến toán học có thể đòi hỏi việc phát minh ra cả một hệ ngôn ngữ và khuôn khổ để làm sáng tỏ một mối liên hệ chưa từng được chú ý trước đó. Khám phá này có thể đòi hỏi tính sáng tạo cao, nhưng điều đó không biến chân lý được phát hiện thành sản phẩm do cá nhân sáng tạo ra. Sự phân biệt này xuất hiện mỗi khi các cấu trúc đem lại bất ngờ. Một định nghĩa được đưa ra cho một mục đích lại hé lộ mối liên hệ bất ngờ ở một lĩnh vực khác. Một giả thuyết tưởng chừng hệ thống hóa được các ví dụ lại xuất hiện phản ví dụ. Hai lý thuyết được phát triển từ các câu hỏi khác nhau lại phản ánh một cấu trúc chung. Trong mỗi trường hợp, tư duy con người chạm tới một thực thể mà nó không thể tùy ý định đoạt. Con người có thể sửa đổi các định nghĩa hoặc từ bỏ giả thuyết, nhưng không thể làm cho lập luận ban đầu trở nên hợp lệ chỉ bằng ý muốn chủ quan. Quan điểm của chủ nghĩa Platon lý giải một cách tự nhiên về tính độc lập này. Theo đó, tập hợp các số nguyên tố vô hạn đã tồn tại từ trước khi con người chứng minh được điều này. Chân lý toán học không chờ đợi sự thừa nhận của con người, cũng không nhận tính chính danh từ sự thừa nhận đó. Con người có thể lựa chọn cách mô tả một cấu trúc, nhưng không thể quyết định các thuộc tính của cấu trúc đó theo cách tương tự. Quan điểm này đồng thời làm thay đổi vị thế của nhà toán học. Trí tuệ con người trở thành phương tiện để nhận thức một trật tự tồn tại độc lập với chính chúng ta. Ý nghĩa của công trình nghiên cứu nằm ở mối liên hệ giữa công trình đó với trật tự nói trên. Sự phân biệt giữa một phép suy diễn đúng đắn và việc thấu hiểu ý nghĩa của phép suy diễn đó cũng có tầm quan trọng tương đương. Một hệ tiên đề cho phép thực hiện vô số phép suy luận, song khả năng tạo ra các phép suy luận đó tự thân không định hình nên một hướng nghiên cứu giá trị. Các mệnh đề toán học có thể đúng về mặt hình thức nhưng lại không mang tính khai sáng. Con người có thể đưa ra vô số định nghĩa và chứng minh vô số mệnh đề xoay quanh các định nghĩa đó. Điều gì khiến một định nghĩa có giá trị soi sáng? Vì sao một định lý lại mở ra những điều cốt lõi, trong khi một định lý khác chỉ đơn thuần bổ sung thêm tư liệu sẵn có? Những câu hỏi này liên quan đến mối liên hệ giữa một nghiên cứu cụ thể với các nguyên lý mà nghiên cứu đó làm sáng tỏ. Thị hiếu toán học giữ một vai trò nhất định ở khía cạnh này, với điều kiện khái niệm này được hiểu không chỉ dừng lại ở sở thích cá nhân. Một lý thuyết được đánh giá cao khi lý thuyết đó hé lộ tính thống nhất giữa những sự vật vốn được hiểu riêng rẽ trước đây, hoặc giúp nhận biết nguyên nhân xuất hiện của một hiện tượng. Dù các chân lý toán học có thể tồn tại độc lập với con người, việc phát hiện ra chúng vẫn có thể làm thay đổi nhận thức và làm phong phú thêm trải nghiệm của con người về thế giới. Khả năng thực hiện các chuỗi lập luận dài hơn tự nó không giải thích được sự thấu hiểu đó. Lập luận phục vụ sự thấu hiểu bằng cách diễn đạt rõ ràng các mối quan hệ và minh định cơ sở xác đáng của các mối quan hệ này. Tuy nhiên, sự thành công của lập luận không đồng nghĩa với việc toàn bộ tri thức có thể bị quy giản về lập luận. Khả năng lập luận sâu rộng hơn của con người cũng không quyết định điều gì đáng để tìm hiểu, hay lý do vì sao con người tìm kiếm tri thức. Toán học chỉ là một lĩnh vực tri thức. Không phải mọi sự vật, hiện tượng đều có thể được thấu suốt dưới góc độ toán học, và thành tựu toán học cũng không phải là mục đích tối hậu của đời sống trí tuệ. Tuy nhiên, đời sống trí tuệ ngày càng bị đo lường nhiều hơn thông qua các công bố khoa học, lượt trích dẫn, giải thưởng và các chỉ số hiệu suất khác. Dù hữu ích, các thước đo này sẽ trở nên bất cập khi chúng được dùng để định đoạt giá trị của chính công trình nghiên cứu. Chúng ta bắt đầu nhìn nhận các nhà toán học như tập hợp của những năng lực sản xuất, và xem toán học chỉ đơn thuần là sản phẩm đầu ra của họ. Dưới góc nhìn này, tâm lý lo ngại bị AI thay thế là điều tất yếu: một cỗ máy thực hiện các nhiệm vụ này tốt hơn dường như sẽ đe dọa giá trị của con người. Song vấn đề này đã nảy sinh từ trước khi AI xuất hiện. Con người vốn đã tự nhìn nhận bản thân theo các tiêu chuẩn phù hợp với máy móc. AI chỉ làm bộc lộ rõ hơn những hệ quả của quan điểm này. Lời giải đáp không thể đơn giản là tìm nơi trú ẩn trong những năng lực đặc thù của con người như tính sáng tạo, trực giác hay thị hiếu. Nếu chúng ta...