- OpenAI có rút lại lời giải cho các phương trình Navier-Stokes vào năm 2026 không?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
Quy tắc
Thị trường này sẽ được phân định là "Có" nếu OpenAI rút lại lời giải Navier-Stokes trong khoảng thời gian từ lúc tạo thị trường đến 31 tháng 12, 2026, 23:59 ET. Nếu không, thị trường này sẽ được phân xử là "Không". Lời giải Navier-Stokes của OpenAI là lời giải Navier-Stokes mà OpenAI công bố vào 8 tháng 9, 2026 (https://openai.com/index/navier-stokes-solution/). Việc rút lại được xem là đủ điều kiện khi OpenAI chính thức và công khai tuyên bố rằng chứng minh đã công bố là sai hoặc không giải được bài toán Navier-Stokes. Tuyên bố của bất kỳ bên nào khác đều không đủ điều kiện. Các chỉnh sửa không rút lại tính đúng đắn của chứng minh ban đầu với tư cách là lời giải cho bài toán Navier-Stokes sẽ không đủ điều kiện. Các tuyên bố về quyền tác giả, công lao hoặc việc ghi nhận kết quả, hoặc về việc kết quả có đủ điều kiện nhận Millennium Prize hay không, tự chúng sẽ không đủ điều kiện. Nguồn chính để phân định thị trường này sẽ là thông tin chính thức từ OpenAI; tuy nhiên, cũng có thể sử dụng sự đồng thuận từ các bản tin đáng tin cậy.
Bản dịch máy. Khi có tranh chấp, bản gốc được ưu tiên.