
如果克莱数学研究所 (CMI) 在标题中指定的日期美国东部时间晚上 11:59 之前为其余六个未解决的千年奖问题中的任何一个授予千年奖,或者以其他方式在其网站或官方通讯中正式宣布这些问题中的任何一个已解决,则该市场将决定“是”。否则,这个市场将会做出“不”的决定。
该市场将仅根据 CMI 的合格声明来解决,即剩余的六个未解决的千年奖问题之一已得到解决,无论该解决方案是否采取正面证明、反例、反证或 CMI 接受的任何其他解决方案的形式。
千年奖将有资格作为官方声明,但不是必需的; CMI 的官方声明表明问题已得到解决,这本身就足够了。该解决方案是否全部或部分由人工智能产生,以及任何获奖者是否接受或拒绝奖品,都不会被考虑。
已发表或公开发布的证明本身并不符合资格,无论其是否被数学界接受。
主要解析来源将是克莱数学研究所的官方信息(例如,https://www.claymath.org);然而,可信报告的共识可用于确认合格的 CMI 声明或裁决已经发生。
“CMI 会宣布 ___ 解决千禧年奖问题吗?”是 Melbo 上的一个预测市场。份额价格反映该结果的概率:正确结果的每份份额按 $1 结算,错误结果按 $0 结算。