- 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) 因六个尚未解决的千年大奖难题之一颁发千年大奖，或以其他方式在其网站或官方通信中正式宣布其中任何一道难题已解决，且在标题所述日期的 23:59 ET 之前发生，则该市场将判定为“是”。否则，本市场将以“否”结算。 该市场仅根据 CMI 是否作出符合条件的声明，宣布六个尚未解决的千年大奖难题之一已解决来判定，无论解答是以正向证明、反例、反证，还是 CMI 接受的任何其他解决方式呈现。 颁发千年大奖将被视为官方声明，但并非必要条件；CMI 正式声明某道难题已解决，本身就足够。不会考虑解答是否全部或部分由人工智能生成，也不会考虑任何获奖者是否接受或拒绝奖项。 已发表或公开发布的证明本身不符合条件，无论数学界是否接受该证明。 主要判定依据为 Clay Mathematics Institute 的官方信息（例如 https://www.claymath.org）；不过，也可采用可信报道的共识，确认 CMI 是否已作出符合条件的声明或颁发奖项。
机器翻译。如有争议，以原文为准。