Khi bài toán thiên niên kỷ gục ngã trước AI
Bài toán thiên niên kỷ Navier–Stokes là câu hỏi về sự tồn tại, tính trơn và khả năng xuất hiện điểm kỳ dị của nghiệm phương trình mô tả chuyển động chất lưu trong không gian ba chiều, nay đã được các hệ thống trí tuệ nhân tạo tuyên bố giải quyết bằng một lời giải khổng lồ mà con người khó lòng nắm bắt trọn vẹn.
Theo công bố, các mô hình trí tuệ nhân tạo của Anthropic và OpenAI vừa giải được bài toán thiên niên kỷ liên quan đến hệ phương trình Navier-Stokes, đánh dấu bước ngoặt mới trong cách giải bài toán phức tạp trong tương lai. Ngày 8/9, dưới sự điều hành của các nhà toán học tại OpenAI, một nhóm 10.000 tác tử AI hoạt động trên một mô hình tiên tiến chưa công khai đã tìm ra một điểm kỳ dị trong hệ phương trình Navier-Stokes ba chiều. Song song, nhóm của Tristan Buckmaster tại một đại học Mỹ thông báo đã giải các bài toán liên quan chặt chẽ, dựa trên nhiều mô hình AI khác nhau, trong đó có cả mô hình của OpenAI.
Khoảnh khắc này không chỉ là chiến thắng của Navier-Stokes AI; đó là cú chấn động vào niềm tin lâu nay rằng giải bài toán thiên niên kỷ là đỉnh cao sáng tạo của con người, chứ không phải của máy. Câu hỏi mới không còn là “AI có thể giải không?”, mà là “khi AI giải được, vai trò của nhà toán học sẽ là gì?”.
88 giờ, 10.000 tác tử: sức mạnh vũ phu của Navier-Stokes AI
Việc khoảng 10.000 tác tử AI của OpenAI phối hợp trong 88 giờ để tạo ra một lời giải bài toán Navier–Stokes đã gây chấn động giới toán học. Đây không phải nỗ lực cô đơn của một thiên tài, mà là cuộc tấn công vũ phu, song song, nơi hàng nghìn quy trình tính toán thử hết đường này đến đường khác, loại bỏ những hướng sai để dồn lực cho những nhánh hứa hẹn.
Trong quá trình xử lý Navier–Stokes, các tác nhân AI đã gửi tổng cộng khoảng 2,7 triệu thông điệp và sử dụng khoảng 130 tỷ token đầu ra. Sau 88 giờ tìm lời giải, việc kiểm chứng hình thức bằng Lean tiếp tục thêm khoảng 17 giờ nữa. Một hệ thống có thể huy động hàng nghìn tác nhân song song, thử nghiệm hàng triệu ý tưởng, viết mã, kiểm tra kết quả và tạo ra chứng minh mà con người cần nhiều tuần hoặc nhiều tháng để giải mã. Đây là kiểu sức mạnh mà không một bộ não đơn lẻ nào có thể so sánh.
Điều trớ trêu là dù lời giải được đánh giá có cơ sở kỹ thuật và đã được kiểm chứng hình thức, các nhà toán học thừa nhận họ gần như chưa học được gì từ nó. AI đã giải bài toán phức tạp, nhưng lại không giải được câu hỏi quan trọng hơn: lời giải ấy kể câu chuyện gì về Navier-Stokes, và tại sao nó lại đẹp – hay ít nhất là đáng nhớ – trong ngôn ngữ của con người.
Toán học từng là nghệ thuật, không phải cuộc thi tính nhanh
Từ lâu, nhiều nhà toán học xem công việc của mình gần với nghệ thuật hơn là kỹ thuật. G. H. Hardy từng viết rằng một nhà toán học, giống như họa sĩ hay nhà thơ, là người tạo ra các mẫu hình; họa sĩ dùng hình khối và màu sắc, nhà thơ dùng ngôn từ, còn nhà toán học tạo nên mẫu hình từ ý tưởng. Trong tầm nhìn ấy, toán học không chỉ là tìm đáp án đúng, mà là hành trình phát minh trò chơi mới, quy tắc mới, ngôn ngữ mới để hiểu thế giới.
Nhưng với Navier-Stokes AI, chúng ta đang chứng kiến một cách làm khác hẳn: OpenAI tiếp cận chứng minh bằng phương pháp vũ phu, cắt ngang con đường suy tư truyền thống và đe dọa làm suy yếu khả năng hiểu của con người. Trong lúc Córdoba và Martínez-Zoroa kiên trì phát triển kỹ thuật mới của mình, mảng nghiên cứu toán học và trí tuệ nhân tạo lại bước vào giai đoạn bùng nổ, với các mô hình ngôn ngữ lớn từ những phòng thí nghiệm lớn được dùng để chứng minh kết quả trên nhiều lĩnh vực toán học.
Nghịch lý là ở chỗ: tại thời điểm này, lời giải Navier-Stokes của AI gần như là một dạng toán học “vô dụng” đối với con người – không phải vì nó sai, mà vì nó chưa được chuyển hóa thành trực giác, khái niệm và khuôn mẫu mà tâm trí con người có thể sáng tạo tiếp. Khi quá trình khám phá bị bỏ qua, toán học có nguy cơ từ nghệ thuật của ý tưởng trở thành sản phẩm phụ của máy.
Nỗi lo mất sáng tạo và tương lai của toán học và trí tuệ nhân tạo
Điều khiến nhiều nhà toán học bất an không phải là việc AI giải được Navier-Stokes, mà là cách nó giải. Hệ thống này đi từ câu hỏi đến chứng minh bằng chuỗi thao tác mà chính con người không dễ tái dựng thành một câu chuyện toán học trực quan. Nói cách khác, phương pháp vũ phu của AI có thể thay thế kết quả của sự sáng tạo con người trước khi kịp hiểu mình đang bị thay thế bởi điều gì.
Trong vài tuần tới, nếu các nhà toán học có thể “dịch” lời giải của OpenAI thành một lập luận rõ ràng, trực giác và có thể mở rộng sang bài toán khác, đó mới là phần quan trọng nhất của thành tựu này. Clay Mathematics Institute hiện vẫn thận trọng, cho biết họ đang xem xét công trình Navier-Stokes AI và nhấn mạnh quy trình đánh giá được thiết kế chậm rãi để bảo đảm tính toàn vẹn của giải thưởng.
Nếu không “dịch” được, Navier–Stokes sẽ trở thành biểu tượng của thời đại: máy có thể đi đến nơi con người chưa từng đến, nhưng không biết – hoặc không buồn – chỉ đường cho con người. Tương lai của toán học sẽ phụ thuộc vào việc chúng ta chọn đặt AI ở đâu: như chiếc kính phóng đại làm rõ thêm những mẫu hình mà nhà toán học tạo ra, hay như cỗ máy in hàng loạt chứng minh mà không ai đọc.
