- OpenAI có rút lại lời giải Navier–Stokes trước 31 tháng 12, 2026 không?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
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.