OpenAI tuyên bố giải bài toán Navier-Stokes sau 90 năm chỉ trong 88 giờ: Bước ngoặt lịch sử hay còn phải chờ kiểm chứng?

OpenAI vừa công bố một tuyên bố có thể trở thành một trong những cột mốc đáng chú ý nhất trong lịch sử trí tuệ nhân tạo và toán học hiện đại: một hệ thống gồm tới 10.000 tác nhân AI được cho là đã tìm ra lời giải cho bài toán Navier-Stokes, một trong những bài toán toán học nổi tiếng và khó nhất thế giới.

Theo OpenAI, quá trình này chỉ mất khoảng 88 giờ kể từ khi các tác nhân đầu tiên được triển khai. Nếu được giới toán học kiểm chứng và chấp nhận, đây sẽ là một bước tiến đặc biệt quan trọng, bởi bài toán Navier-Stokes đã thách thức các nhà toán học trong nhiều thập kỷ.

Tuy nhiên, cần nhấn mạnh rằng “OpenAI tuyên bố đã giải được” không đồng nghĩa với việc bài toán đã chính thức được công nhận là đã giải. Clay Mathematics Institute, tổ chức đưa Navier-Stokes vào nhóm Bài toán Giải thưởng Thiên niên kỷ, vẫn là cơ quan có vai trò quan trọng trong quá trình đánh giá giải pháp theo các quy định của giải thưởng.

OpenAI đã giải bài toán Navier-Stokes như thế nào?

Theo thông tin OpenAI công bố, công ty đã sử dụng một mô hình AI nội bộ mới cùng hệ thống gồm hàng nghìn tác nhân phối hợp để nghiên cứu bài toán.

Các tác nhân AI không hoạt động hoàn toàn độc lập. Chúng được tổ chức thành nhiều nhóm, có khả năng trao đổi thông tin trong nhóm và sử dụng các công cụ hỗ trợ như đọc dữ liệu từ phiên bản Internet được lưu trong bộ nhớ đệm và chạy mã máy tính.

Đáng chú ý nhất là quy mô của hệ thống.

OpenAI cho biết nhóm xử lý bài toán Navier-Stokes có thời điểm lên tới khoảng 10.000 tác nhân hoạt động đồng thời. Những tác nhân này cùng tìm kiếm hướng giải, kiểm tra giả thuyết, thực hiện tính toán và trao đổi kết quả.

Theo công ty, các tác nhân bắt đầu được triển khai vào ngày 1/9 và đưa ra quyết định liên quan đến lời giải vào ngày 5/9, tức khoảng 88 giờ sau khi quá trình bắt đầu.

Thông tin được các nguồn quốc tế dẫn lại cho thấy hệ thống đã thực hiện hàng triệu lượt trao đổi giữa các tác nhân và sử dụng lượng tài nguyên tính toán rất lớn. OpenAI cho biết quá trình này tiêu tốn hàng triệu USD chi phí điện toán.

Điều đáng chú ý không chỉ nằm ở con số 10.000 tác nhân, mà còn ở cách AI được sử dụng như một hệ thống nghiên cứu toán học quy mô lớn, thay vì đơn thuần là một chatbot trả lời câu hỏi.

Bài toán Navier-Stokes thực sự khó đến mức nào?

Navier-Stokes là một hệ phương trình vi phân riêng phần được sử dụng để mô tả chuyển động của chất lỏng và chất khí.

Những phương trình này có ý nghĩa rất lớn trong khoa học và kỹ thuật. Chúng liên quan đến nhiều hiện tượng quen thuộc như dòng nước, chuyển động của không khí, khí động học, thời tiết và dòng chảy của chất lỏng trong cơ thể.

Nhưng điều khiến Navier-Stokes trở thành một trong những bài toán khó nhất không nằm ở việc chúng ta không biết sử dụng phương trình.

Vấn đề nằm ở câu hỏi toán học sâu hơn:

Nếu bắt đầu với một trạng thái chất lỏng đủ trơn và hợp lệ, liệu nghiệm của phương trình Navier-Stokes trong không gian ba chiều có luôn tồn tại và vẫn trơn tru trong mọi thời điểm tương lai hay không?

Hay nói đơn giản hơn: liệu một dòng chảy ban đầu hoàn toàn “mượt mà” có thể phát triển đến một thời điểm mà nghiệm toán học bị “vỡ” hoặc xuất hiện điểm kỳ dị hay không?

Đây chính là phần cốt lõi của bài toán Navier-Stokes Existence and Smoothness.

Clay Mathematics Institute mô tả đây là câu hỏi về sự tồn tại và tính trơn của nghiệm Navier-Stokes trong ba chiều. Đây là một trong bảy Bài toán Giải thưởng Thiên niên kỷ, mỗi bài toán có giải thưởng trị giá 1 triệu USD cho lời giải đáp ứng các tiêu chí của viện.

Vì sao lời tuyên bố của OpenAI gây chấn động?

Nếu lời giải được kiểm chứng hoàn toàn, ý nghĩa của nó vượt xa một thành tích của riêng OpenAI.

Trong nhiều năm, AI chủ yếu được xem là công cụ hỗ trợ con người thực hiện những nhiệm vụ đã có phương pháp tương đối rõ ràng. Nhưng việc một hệ thống AI tự tìm ra hướng giải cho một bài toán toán học cấp độ Millennium Prize sẽ cho thấy AI có khả năng tham gia sâu hơn vào quá trình khám phá tri thức.

Đặc biệt, OpenAI cho biết hệ thống không chỉ tạo ra một câu trả lời cuối cùng mà còn xây dựng một lập luận toán học dài và sử dụng các công cụ để kiểm tra tính đúng đắn của lập luận.

Theo Wall Street Journal, OpenAI công bố một chứng minh dài khoảng 165 trang, đồng thời cho biết phần lập luận đã được kiểm tra bằng hình thức formalization từng bước.

Nếu các nhà toán học độc lập xác nhận toàn bộ lập luận, đây có thể trở thành một minh chứng mạnh mẽ rằng các mô hình AI thế hệ mới đang chuyển từ vai trò “trợ lý nghiên cứu” sang một dạng cộng sự nghiên cứu toán học.

Nhưng Navier-Stokes đã chính thức được giải chưa?

Chưa thể kết luận như vậy.

Đây là điểm rất quan trọng khi đưa tin về tuyên bố của OpenAI.

Một lời giải cho bài toán Millennium Prize không chỉ cần được một công ty AI công bố. Nó cần trải qua quá trình kiểm chứng nghiêm ngặt của cộng đồng toán học.

Clay Mathematics Institute hiện vẫn liệt kê Navier-Stokes trong nhóm bài toán chưa được giải quyết. Trang chính thức của viện mô tả Navier-Stokes là bài toán về dòng chảy của chất lỏng và cho biết các câu hỏi cơ bản về sự tồn tại và tính duy nhất của nghiệm vẫn là vấn đề trọng tâm.

Vì vậy, cách diễn đạt chính xác ở thời điểm hiện tại nên là:

OpenAI tuyên bố đã tìm ra lời giải cho bài toán Navier-Stokes, nhưng lời giải vẫn cần được giới toán học kiểm chứng và công nhận.

Đây cũng là lý do các bài viết về sự kiện này cần tránh khẳng định tuyệt đối rằng “bài toán Navier-Stokes đã chính thức được giải”.

Nhà toán học Tristan Buckmaster phản bác

Ngay sau tuyên bố của OpenAI, câu chuyện trở nên phức tạp hơn khi xuất hiện tranh luận liên quan đến nhà toán học Tristan Buckmaster, giáo sư toán học tại New York University.

Buckmaster cho biết ông đang hợp tác với Levent Alpöge, một nhà nghiên cứu làm việc tại Anthropic, trong một số vấn đề toán học liên quan đến động lực học chất lỏng và Navier-Stokes.

Theo Buckmaster, ông nhận được thông tin rằng hướng nghiên cứu của nhóm mình có thể đã được chuyển đến OpenAI.

Điều khiến ông đặt câu hỏi là hướng tiếp cận trong kết quả của OpenAI có những điểm tương đồng với công việc mà ông và Alpöge đang nghiên cứu.

Buckmaster đặc biệt đặt vấn đề liệu các mô hình OpenAI có được huấn luyện trên dữ liệu hoặc có quyền truy cập vào các phiên làm việc của nhóm nghiên cứu trong Codex hay không.

Tuy nhiên, chính Buckmaster cũng nhấn mạnh rằng ông chưa có bằng chứng chứng minh OpenAI đã sử dụng công trình chưa công bố của họ.

Đây là một điểm quan trọng: tranh luận hiện tại không nên được hiểu là đã có bằng chứng OpenAI lấy cắp công trình nghiên cứu của các nhà toán học.

Các câu hỏi chủ yếu xoay quanh nguồn dữ liệu huấn luyện, quyền truy cập dữ liệu và cách thức AI có thể tiếp thu kiến thức từ các phiên làm việc của người dùng.

OpenAI nói gì về cáo buộc liên quan đến dữ liệu?

OpenAI phủ nhận việc các nhà nghiên cứu hoặc hệ thống của mình đã truy cập trực tiếp vào công trình chưa công bố của Buckmaster và Alpöge trước khi nó được công khai.

Công ty cho biết các nhà nghiên cứu và tác nhân AI của họ không được tiếp cận công trình đó trước khi nhóm nghiên cứu công bố.

Tuy nhiên, OpenAI cũng đưa ra một tuyên bố thận trọng: công ty không thể hoàn toàn loại trừ khả năng dữ liệu đã được ẩn danh từ quá trình người dùng sử dụng sản phẩm của OpenAI từng góp phần cải thiện các mô hình.

Chính điểm này đã khiến tranh luận trở nên nhạy cảm hơn.

Nếu AI có thể sử dụng dữ liệu từ các hoạt động nghiên cứu của người dùng để cải thiện mô hình, câu hỏi về quyền sở hữu trí tuệ, quyền riêng tư, công nhận đóng góp và quyền tác giả sẽ trở thành vấn đề ngày càng quan trọng trong nghiên cứu khoa học sử dụng AI.

Bài toán Navier-Stokes nằm trong Bài toán Giải thưởng Thiên niên kỷ

Năm 2000, Clay Mathematics Institute công bố bảy Bài toán Giải thưởng Thiên niên kỷ.

Mỗi bài toán được đặt ra như một trong những thách thức lớn của toán học hiện đại và đi kèm giải thưởng 1 triệu USD.

Danh sách gồm:

• Giả thuyết Birch và Swinnerton-Dyer
• Giả thuyết Hodge
• Bài toán Navier-Stokes
• Bài toán P và NP
• Giả thuyết Poincaré
• Giả thuyết Riemann
• Yang-Mills và khoảng trống khối lượng

Trong số bảy bài toán, Giả thuyết Poincaré là bài toán duy nhất đã được giải quyết và được Clay Mathematics Institute công nhận sau công trình của nhà toán học Grigori Perelman.

Điều này giúp giải thích tại sao tuyên bố của OpenAI lại gây chú ý lớn đến như vậy.

Nếu lời giải Navier-Stokes được xác nhận, nó có thể trở thành lần thứ hai một trong bảy Bài toán Thiên niên kỷ được giải.

OpenAI có nhận giải thưởng 1 triệu USD không?

Theo thông tin OpenAI công bố, công ty không có ý định yêu cầu nhận giải thưởng 1 triệu USD.

Mục tiêu mà OpenAI nhấn mạnh là chứng minh khả năng ngày càng tiến bộ của các mô hình AI trong lĩnh vực toán học và nghiên cứu khoa học.

Điều này cũng cho thấy giá trị lớn nhất của sự kiện có thể không nằm ở tiền thưởng.

Nếu lời giải đứng vững trước sự kiểm chứng của các chuyên gia, thành tựu đáng chú ý hơn sẽ là khả năng AI có thể xử lý những bài toán mà cộng đồng toán học đã nghiên cứu trong nhiều thập kỷ.

AI có thực sự “thông minh hơn con người” sau sự kiện này?

Không thể kết luận đơn giản như vậy.

Việc giải một bài toán khó không có nghĩa AI hiểu toán học theo đúng cách con người hiểu.

Một hệ thống gồm 10.000 tác nhân có thể tận dụng khả năng tìm kiếm song song, thử nhiều giả thuyết và kiểm tra hàng nghìn hướng tiếp cận trong thời gian ngắn.

Trong khi đó, một nhà toán học có thể mất nhiều năm để phát triển trực giác và xây dựng một lý thuyết mới.

Điều đặc biệt ở sự kiện này là quy mô tính toán và khả năng phối hợp của AI.

Thay vì một mô hình duy nhất suy nghĩ tuần tự, hàng nghìn tác nhân có thể cùng tìm kiếm trong một không gian giải pháp khổng lồ.

Nếu phương pháp này tiếp tục phát triển, AI có thể trở thành một công cụ mới để con người khám phá những lĩnh vực khoa học vốn quá phức tạp để khảo sát bằng phương pháp truyền thống.

88 giờ có thực sự là toàn bộ thời gian để giải bài toán 90 năm?

Không nên hiểu theo nghĩa OpenAI đã “bắt đầu từ con số 0” vào ngày 1/9 và trong 88 giờ đã giải toàn bộ kiến thức liên quan đến Navier-Stokes.

Bài toán này đã được cộng đồng toán học nghiên cứu trong nhiều thập kỷ.

Các mô hình AI hiện đại cũng được huấn luyện trên lượng kiến thức toán học khổng lồ.

Vì vậy, con số 88 giờ phản ánh thời gian của chiến dịch tính toán và tìm kiếm lời giải mà OpenAI công bố, chứ không có nghĩa AI đã tái xây dựng toàn bộ nền tảng toán học Navier-Stokes từ đầu trong chưa đầy bốn ngày.

Đây là sự khác biệt quan trọng khi đánh giá thành tựu.

Bước ngoặt mới của AI hay một lời giải cần chờ kiểm chứng?

Tuyên bố của OpenAI chắc chắn là một sự kiện đáng chú ý đối với cả ngành AI và toán học.

Một hệ thống sử dụng tới 10.000 tác nhân để nghiên cứu một bài toán cấp độ Millennium Prize trong khoảng 88 giờ cho thấy cách tiếp cận “AI agent” đang tiến tới một cấp độ hoàn toàn mới.

Tuy nhiên, toán học có một nguyên tắc rất rõ ràng: một lời giải chỉ có giá trị khi lập luận đứng vững trước sự kiểm chứng.

Vì vậy, câu chuyện Navier-Stokes chưa kết thúc ở thời điểm OpenAI công bố kết quả. Phần quan trọng tiếp theo sẽ là quá trình các nhà toán học độc lập đọc, kiểm tra và đánh giá từng bước của chứng minh.

Nếu lời giải vượt qua được quá trình đó, thế giới có thể đang chứng kiến một trong những cột mốc quan trọng nhất của AI: lần đầu tiên một hệ thống trí tuệ nhân tạo đóng vai trò trung tâm trong việc giải quyết một trong những bài toán toán học lớn nhất của thế kỷ.

Còn nếu xuất hiện lỗ hổng, sự kiện này vẫn có giá trị bởi nó cho thấy khoảng cách giữa AI hiện đại và những giới hạn toán học lâu đời đang được thu hẹp nhanh đến mức nào.

Cuộc tranh luận vì thế không chỉ là “AI đã giải được Navier-Stokes hay chưa?”, mà còn là một câu hỏi lớn hơn:

AI sẽ thay đổi cách con người khám phá toán học và khoa học trong 10 năm tới như thế nào?

Những câu hỏi thường gặp về OpenAI và Navier-Stokes

1. OpenAI đã thực sự giải được Navier-Stokes chưa?

OpenAI tuyên bố đã tìm ra lời giải, nhưng chưa nên coi đây là một kết luận toán học đã được công nhận chính thức. Lời giải cần được các chuyên gia độc lập kiểm tra và đáp ứng tiêu chuẩn của bài toán Millennium Prize.

2. Bài toán Navier-Stokes tồn tại bao lâu?

Các phương trình Navier-Stokes bắt nguồn từ thế kỷ XIX, trong khi bài toán tồn tại và tính trơn ở dạng hiện đại đã trở thành một thách thức toán học kéo dài nhiều thập kỷ. Vì vậy, việc nói bài toán đã thách thức toán học khoảng 90 năm là cách mô tả phổ biến về câu hỏi toán học hiện đại này.

3. 10.000 tác nhân AI là gì?

Đó là một hệ thống gồm nhiều tác nhân AI được tổ chức thành các nhóm để cùng giải quyết nhiệm vụ. Các tác nhân có thể trao đổi kết quả, chạy mã và thực hiện các hướng tìm kiếm khác nhau.

4. Navier-Stokes có liên quan đến nước và không khí không?

Có. Các phương trình Navier-Stokes được sử dụng để mô tả chuyển động của chất lỏng và chất khí, với ứng dụng rộng trong vật lý, kỹ thuật và nhiều lĩnh vực khoa học.

5. Đây có phải là một trong những Bài toán Thiên niên kỷ không?

Đúng. Navier-Stokes là một trong bảy Bài toán Giải thưởng Thiên niên kỷ do Clay Mathematics Institute công bố vào năm 2000.

6. OpenAI có nhận 1 triệu USD không?

OpenAI cho biết họ không có ý định yêu cầu giải thưởng. Giá trị chính mà công ty muốn nhấn mạnh là năng lực nghiên cứu toán học của hệ thống AI.