
如果合格的数学结果无条件地证明黎曼 zeta 函数的至少 70% 的非平凡零点位于临界线上,或者在指定日期东部时间晚上 11:59 之前建立了更强的结果(包括完全证明或反驳黎曼猜想),则该市场将判定为“是”。否则,这个市场将会做出“不”的决定。
就本市场而言,“无条件”意味着合格结果可能不依赖于假设黎曼假设或任何其他未经证实的猜想,以保证规定的阈值成立。
确定 70% 或更高的任何无条件下限的结果均符合资格。建立更高百分比、证明 100% 的相关零点位于临界线上、或者以其他方式完全证明或反驳黎曼假设的结果也符合资格。
无论检查的零数量有多少,额外的单独零位于临界线上的计算验证本身并不合格。有条件的结果、启发式论证、未经充分验证的声称证明、未达到 70% 阈值的部分结果或仍低于 70% 的改进将不符合资格。
合格的结果不需要在市场截止日期之前完成同行评审或在学术期刊上正式发表。如果公开发表的论文、预印本、技术报告或其他公开的数学著作的结果得到其随附证明的充分证实,并且已得到解析数论或更广泛数学界公认专家的可信独立验证或接受,则该数学著作将符合资格。例如,2026 年 8 月 10 日公布的人择结果确定了临界线上黎曼 zeta 零点比例的改进无条件下限约为 67.25%,如果满足所需的 70% 阈值,则符合这些标准。
这个市场的解决方案来源将是可信报告的共识。
“___在黎曼猜想上取得进一步实质性进展?”是 Melbo 上的一个预测市场。份额价格反映该结果的概率:正确结果的每份份额按 $1 结算,错误结果按 $0 结算。