- CMI 會在 2026年12月31日 之前宣布一項千禧年大獎難題已獲解決嗎？3¢3%
- CMI 會在 2027年12月31日 之前宣布一項千禧年大獎難題已獲解決嗎？13¢13%
- CMI 會在 2028年12月31日 之前宣布一項千禧年大獎難題已獲解決嗎？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.
規則
如果 Clay Mathematics Institute (CMI) 因六個尚未解決的千禧年大獎難題之一頒發千禧年大獎，或以其他方式在其網站或官方通訊中正式宣布其中任何一題已解決，且於標題所載日期的 下午11:59 ET 前發生，則此市場將判定為「是」。否則，此市場將以「否」結算。 此市場僅根據 CMI 是否作出符合條件的聲明，宣布六個尚未解決的千禧年大獎難題之一已解決來判定，不論解答是以正面證明、反例、證偽，或 CMI 接受的任何其他解決方式呈現。 頒發千禧年大獎即符合官方聲明的條件，但並非必要；CMI 正式聲明某道難題已解決，本身即已足夠。不會考量解答是否全部或部分由人工智慧產生，也不會考量任何得獎者是否接受或拒絕獎項。 已發表或公開張貼的證明本身不符合條件，不論數學界是否接受該證明。 主要判定依據為 Clay Mathematics Institute 的官方資訊（例如 https://www.claymath.org）；但也可採用可信報導的共識，確認 CMI 是否已作出符合條件的聲明或頒發獎項。
機器翻譯。如有爭議，以原文為準。