The contract compares two alternatives for “OpenAI对阵Anthropic:谁先解决另一个千禧年大奖难题??”
The two positions are Anthropic and OpenAI.
The condition separating the two outcomes, evidence source, and cutoff time are documented in the Resolution Rules below.
Waiting for trades
Last 30 days
$84
30-day total
$2.8
Daily average
Every trader on this market, last 7 days
—
24h volume, market-wide
Market-wide, by position value
9 9, 2026 · 22:49 GMT+3
1 1, 2028 · 07:59 GMT+3
1 1, 2028 · 08:29 GMT+3
如果OpenAI或其官方代表宣布OpenAI在2027年12月31日美国东部时间晚上11:59之前解决了合格的千禧年大奖难题,且早于Anthropic这样做,本市场将结算为“OpenAI”。如果Anthropic或其官方代表宣布Anthropic在2027年12月31日美国东部时间晚上11:59之前解决了合格的千禧年大奖难题,且早于OpenAI这样做,本市场将结算为“Anthropic”。
如果两家公司均未在2027年12月31日美国东部时间晚上11:59之前做出合格公告,或者两者在同一日历日做出合格公告,本市场将结算为50-50。任何其他公司的合格公告不会结束竞赛或影响结算。
合格问题是黎曼猜想、P对NP、杨-米尔斯存在性与质量缺口问题、霍奇猜想以及伯奇和斯温纳顿-戴尔猜想(https://www.claymath.org/millennium-problems/)。关于纳维-斯托克斯存在性与光滑性问题的公告将不符合条件。
合格公告必须表示问题已被解决;部分结果或朝向解决方案的进展的公告将不符合条件。公告必须将解决方案呈现为公司、其研究人员或其模型的工作,单独或与外部研究人员联合。仅归功于或祝贺外部研究人员(包括使用了公司模型、计算或研究积分的研究人员)的公告将不符合条件。不需要克莱数学研究所或任何其他组织的进一步确认。
本市场的主要结算来源将是来自OpenAI和Anthropic和/或其官方代表的官方信息;但是,也可使用可信报道的共识。