
如果 OpenAI 或 OpenAI 的官方代表宣布 OpenAI 在美国东部时间 2027 年 12 月 31 日晚上 11:59 之前解决了合格的千年奖问题,则该市场将解析为“OpenAI”。如果 Anthropic 或 Anthropic 的官方代表在 OpenAI 之前宣布 Anthropic 在美国东部时间 2027 年 12 月 31 日晚上 11:59 之前解决了合格的千年奖问题,则该市场将解析为“Anthropic”。
如果两家公司均未在美国东部时间 2027 年 12 月 31 日晚上 11:59 之前发布合格公告,或者两者在同一日历日均未发布合格公告,则该市场将以 50-50 的结果决议。任何其他公司的资格公告不会结束比赛或影响决议。
合格问题包括黎曼猜想、P 与 NP、杨-米尔斯存在性和质量间隙问题、霍奇猜想以及伯奇和斯温纳顿-戴尔猜想 (https://www.claymath.org/millennium-problems/)。有关纳维-斯托克斯存在性和平滑性问题的公告不符合资格。
合格公告必须表明问题已得到解决;公布部分结果或解决方案的进展不符合资格。公告必须将解决方案呈现为公司、其研究人员或其模型的工作成果,单独或与外部研究人员共同完成。仅表彰或祝贺外部研究人员(包括使用公司模型、计算或研究学分的研究人员)的公告不符合资格。不需要克莱数学研究所或任何其他组织的进一步确认。
该市场的主要解析来源将是 OpenAI 和 Anthropic 和/或其官方代表的官方信息;然而,也可以使用可信报告的共识。
“OpenAI — Anthropic:第一个获得另一个千年奖?”是 Melbo 上的一个预测市场。份额价格反映该结果的概率:正确结果的每份份额按 $1 结算,错误结果按 $0 结算。