Một định nghĩa mới về ranh giới giữa con người và máy
AI giải toán Thiên niên kỷ là việc một mô hình trí tuệ nhân tạo không công bố rộng rãi tìm ra lời giải kèm chứng minh đầy đủ cho một trong bảy bài toán cực khó do Viện Toán học Clay lựa chọn, vốn suốt nhiều thập kỷ chưa ai biết con đường tiếp cận hiệu quả và được xem là chuẩn mực của khả năng tư duy trừu tượng của con người. Ngày 8-9, OpenAI bài toán toán học bước lên một nấc thang mới khi tuyên bố mô hình AI nội bộ đã giải bài toán tồn tại và tính trơn của phương trình Navier–Stokes, một trong các Bài toán Thiên niên kỷ. Nếu được giới toán học xác nhận, đây sẽ là cột mốc đáng chú ý trong quá trình AI tiến vào những lĩnh vực từng được xem là đỉnh cao của năng lực tư duy con người. Nhưng ngay từ khoảnh khắc công bố, câu hỏi không phải “AI thông minh đến đâu”, mà là “con người còn giữ vai trò gì trong những phát hiện kiểu này?”.
Bên trong kỳ tích Navier–Stokes: sức mạnh tính toán và chứng minh dài 165 trang
Điểm gây choáng trong tuyên bố của OpenAI không nằm ở tên bài toán Navier–Stokes, mà ở cách AI tiếp cận và tạo ra chứng minh toán học AI. Mô hình nội bộ đã xây dựng một cấu trúc xoáy ngày càng co lại và quay nhanh hơn, làm vận tốc trong mô hình tăng không giới hạn trong khi tổng năng lượng vẫn hữu hạn – lời giải mà hãng cho rằng chứng minh được khả năng xuất hiện điểm kỳ dị trong dòng chảy ban đầu trơn tru. Đi cùng là bản chứng minh 165 trang, kèm theo kiểm chứng bằng công cụ hình thức Lean. Theo OpenAI, dự án được triển khai với khoảng 10.000 tác tử AI hoạt động độc lập, tạo ra 2,7 triệu thông điệp và khoảng 130 tỷ token đầu ra, trước khi tìm được lời giải sau 88 giờ. Đây là kiểu tìm kiếm mà một nhóm nghiên cứu thông thường gần như không thể tái tạo, và chính sự chênh lệch quy mô này buộc chúng ta phải nghĩ lại về ý nghĩa của “tư duy toán học” khi sức mạnh tính toán thuần túy có thể quét qua không gian ý tưởng rộng đến vậy.
Quotable: "Theo OpenAI, các tác nhân AI đã đưa ra lời giải vào ngày 5/9, khoảng 88 giờ sau khi dự án bắt đầu."
Cuộc đua, quy trình kiểm chứng và ranh giới giữa hỗ trợ và cạnh tranh
Thành tựu công nghệ không xuất hiện trong chân không. Cuộc thử nghiệm của OpenAI bắt đầu ngày 1-9, sau khi công ty nghe tin đồn rằng các nhà nghiên cứu khác đã đạt tiến triển với một số Bài toán Thiên niên kỷ. Vài ngày sau, khi xuất hiện tin đồn trên mạng rằng một đối thủ đã giải được các Bài toán Thiên niên kỷ, OpenAI cho mô hình thử sức với cả 6 bài toán còn lại và quyết định dồn sức cho Navier–Stokes khi thấy dấu hiệu khả quan. Song song với đó là tranh cãi với hai nhà toán học Tristan Buckmaster và Levent Alpöge, những người công bố công trình có sự hỗ trợ của AI liên quan đến 3 phương trình tương tự chỉ vài giờ trước thông báo của OpenAI. Việc các nhà toán học dùng công cụ AI của OpenAI, trong khi dữ liệu phát sinh có thể góp phần cải thiện chính mô hình được dùng để nghiên cứu cùng lĩnh vực, đặt ra bài toán đạo đức mới: khi nào AI là trợ lý, khi nào là đối thủ? Trên bình diện chính thức, con đường phía trước vẫn còn dài. Quy định giải thưởng Bài toán Thiên niên kỷ yêu cầu lời giải phải được công bố trên tạp chí khoa học có phản biện, được cộng đồng toán học chấp nhận trong ít nhất 2 năm trước khi Viện Toán học Clay lập hội đồng xem xét. Chủ tịch Viện khẳng định quá trình đánh giá sẽ thận trọng và "hoàn toàn nghiêm ngặt" – một thông điệp rõ ràng rằng toán học không sẵn sàng cắt ngắn bước kiểm chứng chỉ vì người trình bày là máy.
Terence Tao và câu hỏi về trực giác: toán học sẽ mất đi điều gì?
Bên dưới lớp hào quang "AI giải toán Thiên niên kỷ", mối lo sâu hơn nằm ở vai trò của trực giác toán học. Nhà toán học Terence Tao từng lưu ý rằng quá trình vật lộn với một bài toán thường giúp hình thành trực giác và cách hiểu mới; nếu AI nhanh chóng chỉ ra một con đường đúng, khoa học có thể đến đích sớm hơn nhưng những hướng khác cũng ít được khám phá. Nói cách khác, tốc độ và sức mạnh tính toán thuần túy có thể làm mỏng đi trải nghiệm sáng tạo của nhà toán học. Sự kiện OpenAI bài toán toán học cho thấy chúng ta đang đứng trước lựa chọn: chấp nhận một tương lai nơi chứng minh toán học AI là chuẩn mực và con người chủ yếu đóng vai trò kiểm định, hay khăng khăng giữ trực giác, ý nghĩa và vẻ đẹp của quá trình tìm kiếm làm trung tâm. Điều đó mở ra khả năng tăng tốc nghiên cứu trong nhiều lĩnh vực, nhưng cũng đặt ra câu hỏi về mức độ con người thực sự hiểu những gì máy tìm thấy. Nếu các bản chứng minh ngày càng dài và được tạo ra bởi hàng nghìn tác tử, ai – hoặc cái gì – mới là chủ thể của hiểu biết toán học?
Bước ngoặt hay ngõ cụt: chúng ta muốn loại toán học nào?
Nếu lời giải Navier–Stokes được giới toán học xác nhận, khó có thể phủ nhận đây là một bước ngoặt trong khả năng AI xâm nhập các lĩnh vực tư duy cao cấp. Nhưng bước ngoặt này không bảo đảm toán học sẽ trở nên "tốt đẹp" hơn; nó chỉ bảo đảm rằng không gian câu hỏi mà máy có thể tham gia đang mở rộng rất nhanh. Thái độ tỉnh táo lúc này là coi AI như một công cụ mạnh để thử, loại bỏ và kết hợp nhiều hướng khác nhau ở quy mô mà một nhóm nghiên cứu thông thường khó tái tạo. Con người vẫn cần quyết định hướng đáng theo đuổi và kiểm tra kết quả cuối cùng, đồng thời tự giác gìn giữ trực giác, sự kiên nhẫn và khả năng kể câu chuyện ý nghĩa xung quanh một chứng minh. Nếu toán học trở thành chuỗi bản chứng minh dài hàng trăm trang được sinh ra trong vài chục giờ bằng chi phí điện toán lớn, rủi ro lớn nhất không phải là AI thay thế nhà toán học, mà là chúng ta chấp nhận một phiên bản toán học ít được hiểu, ít được yêu, và vì thế ít gắn với con người. Câu hỏi "bước ngoặt hay ngõ cụt" vì thế không nằm ở máy, mà nằm ở cách cộng đồng lựa chọn đồng hành với nó.
