- CMI có tuyên bố bài toán Navier–Stokes đã được giải quyết trước 31 tháng 12, 2026 không?4¢4%
- CMI có tuyên bố bài toán Navier–Stokes đã được giải quyết trước 31 tháng 12, 2027 không?14¢14%
- CMI có tuyên bố bài toán Navier–Stokes đã được giải quyết trước 31 tháng 12, 2028 không?38¢38%
OpenAI’s September 2026 announcement that an internal multi-agent AI system produced a Lean-formalized proof of finite-time singularity in the forced three-dimensional Navier-Stokes equations has driven recent trader sentiment, though CMI immediately described the problem as only “apparently settled.” The institute’s rules require peer-reviewed publication in a qualifying journal, broad community acceptance, and a two-year waiting period before any declaration, leaving the problem officially active as of late October. Parallel human-AI results on related forced Euler and Boussinesq equations by Buckmaster and Alpöge have added context but do not resolve the unforced case central to the prize formulation. Ongoing scrutiny, including an October arXiv note questioning semantic fidelity of the Lean formalization, and the absence of an accepted journal paper keep resolution timelines uncertain despite the computational milestone.
Quy tắc
Thị trường này sẽ được phân định là "Có" nếu Clay Mathematics Institute (CMI) trao Millennium Prize cho bài toán về sự tồn tại và tính trơn của Navier-Stokes, hoặc chính thức tuyên bố theo cách khác trên trang web hay trong thông báo chính thức rằng bài toán về sự tồn tại và tính trơn của Navier-Stokes đã được giải quyết, trước 23:59 ET vào ngày được liệt kê. Nếu không, thị trường này sẽ được phân xử là "Không". Việc trao Millennium Prize sẽ được xem là một tuyên bố chính thức, nhưng không bắt buộc; chỉ riêng tuyên bố chính thức của CMI rằng bài toán về sự tồn tại và tính trơn của Navier-Stokes đã được giải quyết cũng là đủ. Sẽ không xét đến việc lời giải được tạo ra toàn bộ hay một phần bởi trí tuệ nhân tạo, cũng như việc bất kỳ người nhận giải nào chấp nhận hay từ chối giải thưởng. Một chứng minh đã xuất bản hoặc được đăng công khai sẽ không tự nó đủ điều kiện, bất kể chứng minh đó có được cộng đồng toán học chấp nhận hay không. Nguồn chính để phân định sẽ là thông tin chính thức từ Clay Mathematics Institute (ví dụ: https://www.claymath.org); tuy nhiên, có thể sử dụng sự đồng thuận từ các tin tức đáng tin cậy để xác nhận rằng đã có tuyên bố hoặc trao giải đủ điều kiện từ CMI.
Bản dịch máy. Khi có tranh chấp, bản gốc được ưu tiên.