OpenAI giải mã bài toán Navier-Stokes: Bước ngoặt lịch sử tiến gần đến AGI

Hôm nay là một ngày khó khăn để ra mắt bất cứ thứ gì; thông thường chúng tôi hứa sẽ đưa tin về bất kỳ đợt gọi vốn decacorn mới nào, nên vòng gọi vốn 48 tỷ USD của Cognition và 24 tỷ USD của Mistral lẽ ra đã được xuất hiện; chúng tôi rất yêu thích mảng tạo ảnh nên GPT Image 2.5 lẽ ra đã có tiêu đề riêng; chúng tôi đã theo sát câu chuyện về Dreamer nên việc họ tái khởi động dưới dạng tác nhân Muse của Meta lẽ ra cũng đã được đưa tin; nhưng... bạn biết đấy... tiêu chuẩn hiện nay đã cao hơn nhiều rồi.

OpenAI@OpenAI

Chúng tôi đang chia sẻ một giải pháp cho Bài toán Thiên niên kỷ Navier-Stokes, một trong những vấn đề sâu sắc nhất ở biên giới của toán học. Chứng minh này được tạo ra bởi một nhóm các tác nhân, sử dụng mô hình thế hệ tiếp theo của OpenAI với khả năng vượt trội đáng kể so với GPT-6 Astra. Bài toán…

5:20 CH · 8 thg 9, 2026 · 145K Lượt xem

239 Phản hồi · 603 Lượt đăng lại · 2.72K Lượt thích

Các bản tóm tắt dưới đây nắm bắt những sự thật cốt lõi; chúng tôi khuyên bạn không nên đào quá sâu vào những tranh cãi về quyền tác giả vì OpenAI và các tác giả đã trình bày đủ chi tiết để kết luận rằng thành tựu của OpenAI là có thật, mặc dù quy trình thực hiện vẫn còn gây tranh cãi.

Tin tức AI từ 7/9/2026 đến 8/9/2026. Chúng tôi đã kiểm tra 12 subreddit, 544 tài khoản Twitter và không có thêm thông tin nào từ Discord. Trang web của AINews cho phép bạn tìm kiếm tất cả các số báo cũ. Xin nhắc lại, AINews hiện là một chuyên mục của Latent Space. Bạn có thể chọn nhận hoặc hủy nhận email theo tần suất tùy ý!

Các tài khoản liên kết với OpenAI cho biết một nỗ lực có sự hỗ trợ của AI đã tạo ra kết quả về Navier–Stokes, và phản ứng ngay lập tức bị chia rẽ giữa sự quan tâm về kỹ thuật, thái độ hoài nghi và những tranh cãi bên lề.

Tuyên bố công khai cụ thể nhất trong loạt tweet đến từ Ethan Knight, người cho biết “Giải pháp Navier–Stokes là kết quả của sự hợp tác giữa khoảng 10.000 tác nhân làm việc cùng nhau,” đồng thời nói thêm rằng OpenAI đã dành “năm vừa qua” để huấn luyện các mô hình cộng tác thông qua “multiagent RL” (học tăng cường đa tác nhân), và rằng các bài toán khó có thể được giải quyết bằng “lượng lớn tính toán song song không cấu trúc tại thời điểm kiểm thử” với các mô hình tự quyết định cách tổ chức công việc @eknight.

Nhiều người quan sát đã hiểu đây là việc OpenAI tuyên bố có một chứng minh do AI tạo ra liên quan đến Bài toán Thiên niên kỷ Navier–Stokes, cụ thể là về tính kỳ dị trong thời gian hữu hạn / sự bùng nổ (blow-up); một bài viết châm biếm đã diễn đạt lại rằng OpenAI cho biết một chất lưu trơn có thể “bùng nổ thành một điểm kỳ dị,” tuyên bố rằng “10.000 tác nhân” và “88 giờ” đã được sử dụng, trong khi nhấn mạnh rõ ràng rằng việc được cộng đồng toán học chấp nhận vẫn chỉ là một “thủ tục nhỏ” @LearnOpenCV.

Các bình luận rộng hơn coi sự kiện này như một bài kiểm tra áp lực đối với niềm tin rằng AI tiên phong không thể thực hiện nghiên cứu nghiêm túc hoặc công việc kỹ thuật ở cấp độ lập trình; Theo Jensen gọi đây là khoảnh khắc “AI không THỰC SỰ lập trình được” của giới khoa học @theo.

Hrishikesh / hrishioa đã định hình thông báo này như bằng chứng của một “chế độ tính toán cao,” lập luận rằng những người quan sát nên “điều chỉnh kế hoạch của mình cho phù hợp” @hrishioa.

Thông báo này cũng làm dấy lên những suy đoán vận hành ngẫu nhiên: một người đăng bài đã nói đùa về việc nhìn thấy các cảnh báo độ trễ của ChatGPT là do OpenAI có khả năng đang chuyển hướng tính toán quy mô lớn sang cho quá trình chạy Navier–Stokes, mặc dù đây chỉ là suy đoán thuần túy và không có bằng chứng @teortaxesTex.

Những gì là sự thật từ các tweet

Một tuyên bố liên kết với OpenAI đã lan truyền rằng một “giải pháp” cho Navier–Stokes liên quan đến khoảng 10.000 tác nhân làm việc cộng tác @eknight.

Cùng nguồn tin này cho biết các hệ thống này đã được huấn luyện trong khoảng một năm bằng cách sử dụng học tăng cường đa tác nhân @eknight.

Phương pháp cấp cao được nêu nhấn mạnh vào tính toán song song tại thời điểm kiểm thử và khả năng tự tổ chức của mô hình thay vì một nỗ lực chứng minh theo chuỗi dài đơn lẻ @eknight.

Độc giả công chúng hiểu tuyên bố này liên quan đến bài toán tồn tại/tính kỳ dị của Navier–Stokes, một trong những Bài toán Thiên niên kỷ, mặc dù định lý chính xác và phạm vi chứng minh không được cung cấp trong loạt tweet @LearnOpenCV.

Việc chấp nhận từ cộng đồng toán học rõ ràng là chưa được giải quyết tại thời điểm thảo luận; ngay cả bài đăng đùa cợt cũng nhấn mạnh rằng tính đúng đắn vẫn chưa được giới chuyên môn xác minh @LearnOpenCV.

Những gì chưa được xác lập bởi các tweet

Không có định lý, bản in trước (preprint), bản phác thảo chứng minh, tài liệu xác minh hình thức, báo cáo điểm chuẩn (benchmark) hay bình luận từ trọng tài độc lập nào xuất hiện trong các tweet được cung cấp.

Chi tiết “88 giờ” được lặp lại nhiều lần chỉ xuất hiện trong một bài đăng châm biếm trong tập hợp này, không phải trong tuyên bố trực tiếp hơn từ phía OpenAI, vì vậy nó không nên được coi là đã được xác nhận chỉ từ bằng chứng này @LearnOpenCV.

Vai trò chính xác của con người so với mô hình vẫn chưa được xác định: “sự hợp tác của ~10.000 tác nhân” không cho chúng ta biết liệu con người có phân tách quá trình tìm kiếm, tuyển chọn các bổ đề, xác minh các bước, hay chỉ đơn thuần là khởi chạy cơ sở hạ tầng @eknight.

“Giải pháp” là một từ mơ hồ. Trong toán học, nó có thể có nghĩa là một chứng minh hoàn chỉnh, một chiến lược chứng minh, một phản ví dụ ứng viên, một dẫn xuất được hình thức hóa, hoặc một hướng nghiên cứu. Các tweet không làm rõ điều này.

Không có thông tin nào được tiết lộ ở đây về việc liệu kết quả có giải quyết bài toán chính quy toàn cục Navier–Stokes 3D không nén được trên (\mathbb{R}^3) hoặc hình xuyến, hay một biến thể/phát biểu phụ trợ nào đó.

Tại sao sự mơ hồ này lại quan trọng

Bài toán Thiên niên kỷ Navier–Stokes có một khung chuẩn rất cụ thể. Những tuyên bố rằng một điểm kỳ dị trong thời gian hữu hạn “có thể xảy ra” sẽ gây chấn động vì chúng ngụ ý một câu trả lời phủ định cho tính chính quy toàn cục trong công thức liên quan; những tuyên bố như vậy đòi hỏi sự chính xác và giám sát đặc biệt.

Trong diễn ngôn về các mô hình tiên phong, “AI đã giải được X” thường nén nhiều lớp: tạo giả thuyết, tìm kiếm, soạn thảo chứng minh, kiểm tra chứng minh và xác nhận từ cộng đồng. Các tweet chỉ đưa ra mô tả ở cấp độ hệ thống, không phải trạng thái nhận thức luận của toán học.

Bức tranh kỹ thuật được tiết lộ ít liên quan đến cơ học chất lưu hơn là về kiến trúc hệ thống nghiên cứu.

Quy mô: khoảng 10.000 tác nhân hoạt động cùng nhau @eknight.

Cách tiếp cận huấn luyện: học tăng cường đa tác nhân trong khoảng ~1 năm @eknight.

Triết lý suy luận: lượng lớn tính toán song song không cấu trúc tại thời điểm kiểm thử, với các tác nhân tự chủ quyết định cách phân chia công việc và cộng tác @eknight.

Luận điểm nghiên cứu ngụ ý: đối với các tác vụ suy luận khó, việc mở rộng quy mô phối hợp + tìm kiếm tại thời điểm suy luận có thể quan trọng ngang bằng, hoặc quan trọng hơn, so với việc chỉ mở rộng quy mô một mô hình nguyên khối.

Ý nghĩa xã hội-kỹ thuật: đây là một sự diễn đạt cụ thể về một xu hướng mà nhiều phòng thí nghiệm đã gợi ý—chuyển dịch từ các câu chuyện về “mô hình đơn lẻ lớn hơn” sang các tập hợp tác nhân, tìm kiếm song song và mở rộng quy mô tính toán tại thời điểm kiểm thử.

Ý nghĩa vận hành: nếu đúng, kết quả này là bằng chứng cho thấy các phòng thí nghiệm sẵn sàng chi tiêu đáng kể tài nguyên tính toán suy luận cho các mục tiêu khoa học một lần, không chỉ cho các sản phẩm hoặc điểm chuẩn.

Những gì điều này gợi ý về mặt kỹ thuật

Một thiết lập 10.000 tác nhân ngụ ý cơ sở hạ tầng đáng kể cho: