OpenAI và Navier-Stokes: bài toán đằng sau xoáy nước

Bạn khuấy một cốc nước. Gần chiếc thìa, nước chuyển động theo một hướng; ở chỗ khác, nó có thể chạy chậm hơn hoặc cuộn thành xoáy. Để mô tả cả cốc nước, ta cần biết tốc độ và hướng chuyển động tại từng vị trí, vào từng thời điểm.

Các nhà toán học gọi mô tả ấy là trường vận tốc. Bạn có thể hình dung đặt một mũi tên ở mỗi chỗ: hướng mũi tên chỉ hướng chảy, độ dài chỉ tốc độ. Chất lưu là tên gọi chung cho chất lỏng và chất khí. Navier-Stokes là hệ phương trình dùng định luật Newton để liên hệ chuyển động của chất lưu với áp suất, độ nhớt và lực ngoài. Đề bài của Clay

Bài toán mà OpenAI tuyên bố giải được có tên Navier-Stokes existence and smoothness, tức sự tồn tại và tính trơn của nghiệm Navier-Stokes. Trong đề bài của Viện Toán học Clay (Clay Mathematics Institute), người giải cần xác định liệu từ dữ liệu ban đầu trơn, nghiệm có thể giữ tính trơn ở mọi thời điểm về sau hay không.

Ta biết gì và cần tìm gì?

Ở thời điểm bắt đầu, giả sử bạn biết vận tốc của nước tại từng vị trí. Trong ký hiệu toán học, đó là u₀(x), với x chỉ vị trí. Ta cũng biết độ nhớt và lực tác động từ bên ngoài, nếu có.

Ta cần tìm vận tốc u(x,t) và áp suất tại những thời điểm t sau đó, sao cho chúng thỏa phương trình và khớp với trạng thái ban đầu. Một nghiệm ở đây là cả cách dòng chảy diễn biến theo không gian và thời gian, chứ không phải một con số như x=2 trong bài giải phương trình ở trường.

Mình dùng cốc nước để hình dung trường vận tốc. Đề Clay xét toàn không gian ba chiều hoặc một miền tuần hoàn, không xét thành cốc. Bạn có thể hình dung miền tuần hoàn như một hộp lặp lại: đi ra ở một mặt thì đi vào ở mặt đối diện.

Từ dòng chảy đến những việc ta muốn tính

Kỹ sư dùng các mô hình Navier-Stokes để tính gần đúng dòng chảy bằng máy tính. NASA gọi lĩnh vực này là Computational Fluid Dynamics, viết tắt CFD. Người làm CFD chia không gian và thời gian thành các phần để tính, rồi kiểm tra sai số và đối chiếu với thực nghiệm. NASA giải thích Navier-Stokes và CFD

Bạn có thể hình dung những câu hỏi họ cần trả lời:

Giả sử ta tìm được một cách tính nghiệm tổng quát, đủ nhanh và kiểm soát được sai số, kỹ sư có thể thử nhiều hình dạng cánh trước khi chế tạo, chọn cấu hình đường ống ít tổn thất hơn, hoặc dành khả năng tính toán cho nhiều kịch bản thời tiết. Đây là những lợi ích có thể kỳ vọng ở một phương pháp tính mới, không phải kết quả mà OpenAI đã chứng minh.

Giải bài toán tồn tại và tính trơn chỉ trả lời một tính chất của nghiệm. Nó không tự cung cấp thuật toán tính nghiệm nhanh hơn. Các ứng dụng trên còn có thành vật thể, trao đổi nhiệt hoặc tính nén được, khác với mô hình lý tưởng trong đề Clay.

Dự báo thời tiết cũng phụ thuộc vào việc ta đo trạng thái ban đầu chính xác tới đâu và mô hình có bỏ sót quá trình vật lý nào không. Met Office chạy nhiều dự báo với đầu vào và mô hình thay đổi để ước lượng bất định. Vì thế, kể cả một bộ giải phương trình tốt hơn cũng không đồng nghĩa với dự báo thời tiết chính xác mãi mãi. Met Office về các nguồn sai số

Đề bài về sự tồn tại và tính trơn

Nhánh "tồn tại và tính trơn" của đề bài có thể diễn đạt bằng lời như sau:

Cho chất lưu ba chiều có mật độ không đổi, không nén được, có độ nhớt dương và không chịu lực ngoài. Với mọi trường vận tốc ban đầu trơn, phù hợp các điều kiện của đề, có tồn tại vận tốc và áp suất thỏa Navier-Stokes, vẫn trơn ở mọi thời điểm về sau hay không?

Ở toàn không gian, đề còn yêu cầu tổng động năng của nghiệm luôn nằm dưới một giới hạn hữu hạn. Dữ liệu ban đầu cũng phải giảm nhanh ở xa, tránh đưa sẵn sự bất thường vào từ vô cực. Đây là diễn giải nhánh A/B; phát biểu của Fefferman ghi đầy đủ các điều kiện.

Các từ trong đề mang nghĩa cụ thể:

Chữ mọi khiến yêu cầu này khó. Thử một dòng chảy và thấy nó hoạt động bình thường trong một giờ chưa đủ. Người chứng minh phải xử lý mọi dữ liệu ban đầu hợp lệ và toàn bộ thời gian về sau.

Phương trình dùng trong đề bài

Dạng viết gọn của hệ phương trình là:

∂ₜu + (u · ∇)u = -∇p + νΔu + f,

∇ · u = 0, u(x, 0) = u₀(x).

Ở đây u là vận tốc, p là áp suất chia cho mật độ, ν > 0 là độ nhớt động học và f là lực ngoài trên đơn vị khối lượng. Trong nhánh A/B vừa nêu, ta đặt f=0.

Bạn có thể đọc dòng đầu theo định luật Newton: gia tốc của một phần chất lỏng bằng tổng tác động của áp suất, độ nhớt và lực ngoài trên đơn vị khối lượng. Gia tốc gồm cả thay đổi theo thời gian lẫn thay đổi do phần chất lỏng di chuyển sang nơi có vận tốc khác. Hai điều kiện ở dòng dưới nói rằng chất lỏng không nén được và nghiệm phải khớp đầu vào tại thời điểm bắt đầu.

Một nghiệm có thể mất trơn như thế nào?

Một khả năng là vận tốc mất chặn khi tiến tới thời điểm hữu hạn. Ta gọi hiện tượng đó là blowup, tạo ra kỳ dị. Để hiểu "vô hạn trong thời gian hữu hạn", mình dùng ví dụ đại số sau, với thời gian không thứ nguyên t. Đây không phải nghiệm Navier-Stokes:

v(t) = 1/(1 - t), 0 ≤ t < 1.

Thay t = 0,9, bạn nhận được 10. Thay 0,99 và 0,999, bạn nhận được 100 và 1.000. Bạn có thể vượt bất kỳ ngưỡng hữu hạn nào bằng cách chọn thời điểm đủ gần mốc 1, dù chưa chạm mốc đó.

Với Navier-Stokes, người tìm blowup còn phải giữ các điều kiện của đề bài. Vẽ một hàm tăng vô hạn chưa đủ; họ cần chứng minh dòng chảy thỏa chính hệ phương trình ấy.

Hai hướng giải mà Clay chấp nhận

Clay cho bốn phương án A, B, C, D, tương ứng với hai hướng và hai miền không gian:

• A/B, chứng minh tồn tại và tính trơn: không có lực ngoài; phải xử lý mọi trạng thái ban đầu hợp lệ.
• C/D, chứng minh sự phá vỡ: tìm dữ liệu ban đầu và lực ngoài trơn, thỏa điều kiện của đề, nhưng không có nghiệm trơn toàn thời gian đáp ứng các yêu cầu tương ứng.

A và C xét toàn không gian; B và D xét miền tuần hoàn. Với C, lực và các đạo hàm phải giảm nhanh khi đi xa trong không gian hoặc tiến về thời gian lớn. Với D, chúng tuần hoàn trong không gian và giảm nhanh theo thời gian. Clay chấp nhận chứng minh một trong bốn phương án. Đề chính thức, trang 1-2

C/D cho phép lực ngoài, còn A/B đặt lực ngoài bằng 0. Vì vậy, chứng minh C/D không tự động bác bỏ A/B. Người đọc cần giữ khác biệt này khi nghe câu "đã giải Navier-Stokes".

Trong lập trình, để bác bỏ lời khẳng định "chương trình chạy đúng với mọi đầu vào hợp lệ", bạn cần tìm một đầu vào hợp lệ gây lỗi. Một phản ví dụ toán học cũng có logic ấy. Tuy nhiên, mô phỏng bị crash chưa chứng minh phương trình có kỳ dị; bạn còn phải loại trừ lỗi thuật toán và sai số số học.

Vì sao bài toán này khó?

Trong số hạng (u · ∇)u, vận tốc nhân với đạo hàm của chính vận tốc. Ta phải tìm chuyển động của nước trong khi chính chuyển động ấy cuốn và làm biến dạng các vùng nước xung quanh. Đây là tương tác phi tuyến.

Trong ba chiều, một vùng xoáy có thể kéo dài theo trục, làm cường độ xoáy tăng. Các nhà nghiên cứu gọi cơ chế này là vortex stretching. Độ nhớt lại có tác dụng san bớt chênh lệch vận tốc. Người chứng minh phải kiểm soát sự tương tác giữa chúng; không thể chỉ dựa vào trực giác rằng ma sát sẽ làm mọi chuyển động dịu xuống. Trong mô hình hai chiều thuần túy, số hạng kéo giãn xoáy này vắng mặt. Thomas Hou phân tích cơ chế, trang 72 của PDF

Trở ngại tiếp theo nằm ở những vùng ngày càng nhỏ. Biết tổng năng lượng hữu hạn chưa cho bạn một giới hạn cho tốc độ ở từng vị trí. Một vùng có thể nhỏ đi trong khi tốc độ tại đó tăng, giống ví dụ năng lượng mình tính ở phần sau.

Terence Tao giải thích trở ngại này bằng tính supercritical: khi dùng các ước lượng năng lượng để kiểm soát cấu trúc ở kích thước nhỏ hơn, ta mất dần khả năng khống chế diễn biến cục bộ. Người giải cần ước lượng mạnh hơn hoặc khai thác cấu trúc của phương trình mà các phép chặn năng lượng thông thường chưa nắm được. Đó là phân tích của Tao năm 2007 về khó khăn của hướng chứng minh nghiệm luôn trơn. Why global regularity for Navier-Stokes is hard

Các nhà toán học đã biết cách chứng minh nghiệm trơn tồn tại trong một khoảng thời gian ngắn với dữ liệu trơn phù hợp. Nhưng ghép nhiều khoảng ngắn không bảo đảm đi được tới mọi thời điểm: độ dài khoảng tiếp theo phụ thuộc vào việc nghiệm đã trở nên mạnh và biến thiên gắt tới đâu. Nếu các khoảng cứ co lại, tổng độ dài của chúng vẫn có thể hữu hạn. Các kết quả cục bộ trong đề Clay

Chạy mô phỏng giúp tìm cấu hình đáng nghiên cứu, nhưng một lưới tính hữu hạn không quan sát được mọi kích thước nhỏ. Bạn còn phải phân biệt tăng trưởng hữu hạn rất nhanh với blowup thật. Một chứng minh có máy tính hỗ trợ cần thêm kiểm soát sai số và lập luận toán học, không chỉ một đồ thị trông như đang tiến tới vô hạn.

Những gì các nhà toán học đã làm trước đó

Trước thông báo của OpenAI, các nhà nghiên cứu đã giải quyết nhiều trường hợp và tìm ra giới hạn của các phương pháp đang dùng. Mình chọn những mốc dưới đây để thấy mỗi kết quả tiến thêm được gì, và vì sao nó chưa khép lại bài toán ba chiều của Clay.

1934: Jean Leray xây dựng nghiệm yếu toàn thời gian. Với dữ liệu có động năng hữu hạn, Leray chứng minh tồn tại nghiệm theo nghĩa yếu cho Navier-Stokes ba chiều. Nghiệm yếu vẫn thỏa phương trình theo dạng tích phân, nhưng không đòi hỏi các đạo hàm cổ điển tồn tại tại từng điểm. Người đọc cần phân biệt "có nghiệm yếu" với "có nghiệm trơn"; bước từ cái trước sang cái sau chính là phần còn thiếu. Công trình của Leray

1958: Olga Ladyzhenskaya phát triển lý thuyết toàn thời gian trong hai chiều. Tiếp nối những kết quả hai chiều đã có từ thời Leray, bà công bố lời giải toàn thời gian cho một bài toán biên hai chiều. Cơ chế kéo giãn xoáy trong ba chiều vẫn nằm ngoài kết quả này. Bài báo năm 1958, Tao điểm lại giai đoạn trước đó

1982: Caffarelli, Kohn và Nirenberg thu hẹp nơi kỳ dị có thể xuất hiện. Với một lớp nghiệm yếu gọi là suitable weak solutions, họ chứng minh tính trơn ngoài một tập kỳ dị rất nhỏ theo thước đo hình học phù hợp. Kết quả vẫn cho phép những điểm kỳ dị riêng lẻ; thu hẹp tập đó chưa chứng minh nó rỗng. Bài báo CKN, diễn giải trong đề Clay

2003: Escauriaza, Seregin và Sverak đưa ra một tiêu chuẩn tính trơn. Nếu chuẩn L³ của vận tốc, một cách đo cường độ dựa trên lũy thừa bậc ba, giữ bị chặn theo thời gian, thì nghiệm trong phạm vi định lý vẫn trơn. Đây là kết quả có điều kiện: người giải còn phải chứng minh điều kiện chặn ấy, thay vì mặc định nó đi theo giới hạn động năng. Bài báo gốc

2014: Terence Tao dựng blowup cho một phương trình đã sửa đổi. Trong bản thảo năm 2014, ông thay phần phi tuyến bằng một phiên bản lấy trung bình, vẫn giữ đồng nhất thức năng lượng, rồi dựng nghiệm phát sinh kỳ dị. Kết quả chỉ ra giới hạn của những cách chứng minh dựa vào năng lượng và các ước lượng quá chung: chúng không phân biệt được phương trình gốc với mô hình đã sửa. Đây chưa phải blowup cho Navier-Stokes gốc. Paper của Tao

2019: Buckmaster và Vicol chứng minh nghiệm yếu năng lượng hữu hạn có thể không duy nhất. Họ dùng phương pháp convex integration để dựng nhiều nghiệm trong lớp đó. Kết quả chưa thiết lập tính không duy nhất trong lớp Leray-Hopf, vốn đặt thêm các điều kiện về năng lượng và đạo hàm. Nó cũng chưa chứng minh một nghiệm trơn sẽ phát sinh kỳ dị. Bài báo trên Annals, phân biệt các lớp nghiệm

2022: Albritton, Brué và Colombo tiến tới nghiệm Leray-Hopf có lực ngoài. Họ dựng hai nghiệm khác nhau từ cùng trạng thái nghỉ và cùng lực. Tuy nhiên, lực trong cách dựng này có kỳ dị tại thời điểm khởi đầu, không thỏa yêu cầu lực trơn xuyên suốt của đề Clay. Kết quả về tính không duy nhất này vì thế chưa giải quyết yêu cầu C/D. Bài báo và năm xuất bản, cách dựng lực trong paper

Tháng 9/2026: các công bố mới về Euler và những mô hình liên quan. Ngày 7/9, Tao giới thiệu công trình Alpöge và Buckmaster, kế thừa hướng của Córdoba và Martínez-Zoroa, về blowup với lực trơn cho các phương trình gồm Euler ba chiều. Tao mô tả các bản thảo còn đang chỉnh lý. Euler không có độ nhớt, nên kết quả này không phải lời giải Navier-Stokes; nó thuộc một hướng nghiên cứu gần với bài toán đang xét. Bài viết của Tao ngày 7/9/2026

Đọc các mốc này, mình thấy chỗ vướng nằm ở việc đáp ứng đồng thời các điều kiện: đúng phương trình ba chiều, đúng lớp dữ liệu và lực, đúng yêu cầu về tính trơn và thời gian tồn tại. Bỏ độ nhớt, sửa phần phi tuyến hoặc nới lớp nghiệm đều giúp nghiên cứu tiến lên, nhưng người giải vẫn phải quay về đối chiếu với đề ban đầu.

OpenAI chọn hướng tạo kỳ dị

Ngày 8/9/2026, OpenAI công bố lời giải theo hướng C/D. Theo công bố, họ dựng một dòng chảy bắt đầu đứng yên, có độ nhớt dương và chịu lực ngoài trơn. Vận tốc mất chặn khi tiến tới thời điểm hữu hạn, còn tổng động năng vẫn nằm dưới một giới hạn hữu hạn.

Lời giải này có lực ngoài, không chứng minh blowup cho Navier-Stokes với lực ngoài bằng 0. Phạm vi formalization cũng nêu C/D. Tìm được một dòng chảy có tính chất ấy không cung cấp công thức tính luồng khí quanh bất kỳ cánh máy bay nào; đó là yêu cầu khác.

OpenAI vẽ hình minh họa này để mô tả dòng xoáy. Cam biểu diễn tốc độ góc cao hơn; vận tốc chạy quanh vòng còn phụ thuộc bán kính. Đây là hình minh họa, không phải ảnh thực nghiệm.

Lõi xoáy và phần lực còn thiếu

Trong phần mô tả của paper, các tác giả dựng lõi xoáy có dòng chảy xoắn vào trục rồi thoát theo chiều trục. Lõi co cả chiều rộng lẫn chiều dài, nhưng chiều rộng co nhanh hơn, nên lõi ngày càng mảnh.

Trích Figure 1, trang 4. Theo sơ đồ từ trái sang phải, bạn thấy lõi nhỏ dần và mảnh dần.

Nối lõi với dòng bên ngoài để lại một vùng mất cân bằng. Để duy trì riêng dòng nền đó, các tác giả sẽ cần lực ngoài không bị chặn. Họ thêm các xung dao động quanh lõi, tận dụng chênh lệch vận tốc của dòng nền để khuếch đại chúng. Các xung vận chuyển động lượng, bù phần mất cân bằng; những hiệu chỉnh tiếp theo xử lý phần dư kỳ dị.

Chuyển các số hạng trong phương trình về một phía, ta tính lực ngoài trên đơn vị khối lượng bằng:

f = ∂ₜu + (u · ∇)u - νΔu + ∇p.

Các tác giả phải làm các thành phần lớn triệt tiêu đủ chính xác để f, cùng mọi đạo hàm, vẫn trơn qua thời điểm kỳ dị. Paper, mục 2-3

Panel trái của Figure 2, trang 5. Hai màu phân biệt hai họ xung quanh lõi.

Bạn có thể đọc công thức trên như một bảng cân đối: sau khi cộng các thành phần biến thiên vận tốc, chuyển động cuốn theo dòng, tác dụng nhớt và áp suất, bạn tính ra lực bên ngoài cần cung cấp. Nếu lực ấy cũng vô hạn, bạn chưa tạo được phản ví dụ với đầu vào trơn.

Lấy phép trừ 1.000.001 - 1.000.000 = 1 để hình dung sự triệt tiêu. Hai số lớn có thể cho hiệu nhỏ. Với trường vận tốc, người chứng minh còn phải kiểm soát sự thay đổi theo vị trí, thời gian và các đạo hàm. Phép trừ này minh họa ý tưởng, không thay thế các ước lượng trong paper.

Tác động ròng của dao động

Mình đặt hai đại lượng a và b vào hai trạng thái để xét một phép nhân:

Bạn tính trung bình từng đại lượng sẽ được 0, còn trung bình tích của chúng là 1. Trong phương trình có tương tác phi tuyến, các đại lượng nhân với nhau, nên dao động qua lại có thể để lại tác động ròng.

Đây là ví dụ đại số mình tự đặt. Với chất lưu, người chứng minh phải chỉ ra rằng các dao động vận chuyển đúng loại động lượng, đúng hướng và đủ cường độ, đồng thời tính đến tác dụng của độ nhớt.

Tốc độ cực đại và tổng năng lượng

Tốc độ tại chỗ nhanh nhất chưa cho bạn biết tổng động năng của dòng chảy. Mình dùng một ví dụ tự dựng, không phải nghiệm của paper: xét một vùng chất lỏng có mật độ cố định ρ, thể tích V, tốc độ xấp xỉ đều bằng U. Ta tính động năng của vùng đó theo:

E ≈ ½ρVU².

Qua một họ cấu hình, giả sử tốc độ tăng theo U/U₀ = n, còn thể tích giảm theo V/V₀ = n⁻³. Ta có:

E/E₀ ≈ (V/V₀)(U/U₀)² = n⁻³n² = 1/n.

Biểu đồ tự dựng. Với n=10, tốc độ tăng 10 lần, thể tích còn 1/1.000 và năng lượng còn 1/10 so với mốc đầu. Hai trục biểu diễn các tỷ lệ không thứ nguyên trên thang log.

Cho n tăng, bạn thấy tốc độ tăng không giới hạn còn năng lượng tiến về 0, vì lượng chất lỏng mang tốc độ ấy nhỏ đi đủ nhanh.

Ở đây ta xét vùng có chuyển động mạnh qua các cấu hình khác nhau. Ta không nén một khối chất lỏng có khối lượng cố định vào thể tích nhỏ hơn. Phép tính cho thấy tốc độ mất chặn và năng lượng hữu hạn có thể cùng tồn tại; để dựng nghiệm Navier-Stokes, người chứng minh còn phải thỏa phương trình chuyển động.

Tìm proof và kiểm tra proof

Theo báo cáo của OpenAI, nhóm tìm ra kết quả có khoảng 10.000 agent đồng thời, dùng model nội bộ và trao đổi các hướng tiếp cận. Họ báo cáo tìm được lời giải sau khoảng 88 giờ, rồi dùng GPT-6 Astra thêm 17 giờ cho formalization và verification bằng Lean. Mình dẫn các con số công ty công bố, chưa đo kiểm độc lập.

Trong Lean, người viết chứng minh phải biện minh các bước suy luận từ định nghĩa, định lý và nền tảng logic đã chấp nhận. Người kiểm tra có thể kiểm tra proof bằng phần mềm, thay vì đánh giá lời văn có thuyết phục hay không. Giới thiệu chính thức về Lean

Mình liên hệ việc này với kiểm tra một chương trình theo đặc tả. Bạn cần kiểm tra cả chương trình lẫn việc đặc tả có diễn đạt đúng yêu cầu hay chưa. Với chứng minh hình thức, người đọc cần đối chiếu phát biểu và các giả định với bài toán ban đầu.

OpenAI công bố hướng dẫn kiểm tra formalization bằng Comparator. Mình chưa chạy lại toàn bộ Lean/Comparator và chưa thẩm định toàn bộ chứng minh. Bài viết giải thích cơ chế OpenAI mô tả trong paper.

Kỳ vọng của kỹ sư trên X và Reddit

Trong bài đăng trên X, Chris Combs lưu ý rằng OpenAI chưa đưa ra công thức đóng tổng quát cho mọi dòng chảy. Ông cũng không thấy kết quả này thay đổi cách kỹ sư dùng Navier-Stokes trong công việc hiện tại. Ông bàn về ứng dụng, chưa phản biện từng bước chứng minh.

Ảnh trích thảo luận r/singularity, chụp 14/09/2026. Mình dùng ảnh để minh họa ý kiến người đọc, không coi đó là thẩm định toán học hay xác nhận nghề nghiệp của các tài khoản.

Một người trong nhánh phản hồi nhấn mạnh ý nghĩa toán học, người khác lo chữ "giải" khiến kỹ sư kỳ vọng nhầm. Mình thấy họ đang đánh giá hai việc: hiểu thêm về phương trình và tính được dòng chảy tốt hơn trong thực tế.

Bạn có thể coi việc giải một bài toán về tính trơn là thành tựu toán học mà chưa hứa hẹn một bộ giải dòng chảy mới. Để ứng dụng, kỹ sư còn cần thuật toán, dữ liệu và kiểm tra mô hình trong điều kiện thực tế. Riêng định lý này chưa giúp ta suy ra khả năng dự báo thời tiết hoàn hảo.

Ta cũng cần giữ phạm vi vật lý: kỳ dị trong mô hình liên tục không dự đoán nước thật đạt vận tốc vô hạn. Các hình xoáy ở trên mô tả cách dựng toán học, không ghi lại một hiện tượng mà người nghiên cứu đã tạo trong phòng thí nghiệm.

Phần mình chưa kiểm chứng

Lần kiểm tra ngày 14/09/2026, mình thấy trang Clay hiển thị Active. Nhãn này ghi trạng thái trên website, chưa cho phép mình kết luận lời giải đúng hay sai. Trang trạng thái của Clay

Ảnh browser ngày 14/09/2026. Mình cắt riêng nhãn trạng thái và tên bài toán, giữ nguyên nội dung.

OpenAI đã công bố lời giải họ đề xuất, kèm paper và formalization. Mình đã đọc phát biểu định lý và phần mô tả cơ chế, nhưng chưa kiểm tra được toàn bộ chứng minh.

Đến đây, mình hiểu vì sao lực ngoài cần được kiểm soát: nếu phải dùng lực vô hạn để tạo vận tốc vô hạn, ta đã đưa điều bất thường vào từ đầu. Công việc của người chứng minh là giữ lực trơn mà vẫn tạo được kỳ dị. Phần trực giác có thể kể bằng một xoáy nước; phần khẳng định điều đó đúng vẫn cần kiểm tra các ước lượng và suy luận trong lời giải.

Bình

Đọc từ nguồn gốc

• Thông báo OpenAI: lời tuyên bố và quy trình tìm proof.
• Finite Time Blowup for Navier-Stokes: theorem 1.1 và mục 2-3 trình bày phát biểu, hình và cơ chế.
• Đề bài của Charles Fefferman cho Clay: các phương án A-D.
• Mã formalization và giới thiệu Lean: tài liệu để đọc và kiểm tra chứng minh.

Mình ghi credit hình tại từng caption. Biểu đồ năng lượng là minh họa tự dựng, không phải dữ liệu thực nghiệm hay mô phỏng Navier-Stokes.