- Liệu CMI có tuyên bố một Bài toán Thiên niên kỷ đã được giải trước 31 tháng 12, 2026 không?3¢3%
- Liệu CMI có tuyên bố một Bài toán Thiên niên kỷ đã được giải trước 31 tháng 12, 2027 không?13¢13%
- Liệu CMI có tuyên bố một Bài toán Thiên niên kỷ đã được giải trước 31 tháng 12, 2028 không?36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
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 một trong sáu Millennium Prize Problems còn chưa được giải, hoặc chính thức tuyên bố theo cách khác rằng một trong các bài toán này đã được giải trên trang web hoặc trong thông báo chính thức, trước 23:59 ET vào ngày được nêu trong tiêu đề. Nếu không, thị trường này sẽ được phân xử là "Không". Thị trường này sẽ chỉ được phân định dựa trên tuyên bố đủ điều kiện của CMI rằng một trong sáu Millennium Prize Problems còn chưa được giải đã được giải, bất kể lời giải có hình thức là chứng minh thuận, phản ví dụ, bác bỏ hay bất kỳ cách giải quyết nào khác được CMI chấp nhận. Việc trao Millennium Prize sẽ được tính 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 một bài toán đã được giải 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.