

The contract compares two alternatives for “黎曼假设在___前是否有进一步实质性进展??”
The two positions are 2026年10月31日 and 2026年12月31日.
The condition separating the two outcomes, evidence source, and cutoff time are documented in the Resolution Rules below.
Waiting for trades
Last 30 days
$906
30-day total
$30.2
Daily average
Every trader on this market, last 7 days
—
24h volume, market-wide
Market-wide, by position value
8 14, 2026 · 00:12 GMT+3
1 1, 2027 · 07:59 GMT+3
1 1, 2027 · 08:29 GMT+3
如果到指定日期美东时间晚上11:59,一项符合条件的数学结果无条件地确立黎曼zeta函数至少70%的非平凡零点位于临界线上,或确立更强的结果,包括黎曼假设的完整证明或反证,则此市场将结算为“是”。否则,此市场将结算为“否”。
就本市场而言,“无条件地”意味着符合条件的结果不得依赖于假设黎曼假设或任何其他未证明的猜想以使所述阈值成立。
确立任何70%或更高的无条件下界的结果将符合条件。确立更高百分比、证明100%的相关零点位于临界线上,或以其他方式完全证明或反证黎曼假设的结果也将符合条件。
单独验证额外个别零点位于临界线上的计算验证本身将不符合条件,无论检查的零点数量如何。条件结果、启发式论证、未经充分验证的声称证明、未达到70%阈值的部分结果,或仍低于70%的改进将不符合条件。
符合条件的结果无需在市场截止日期前完成同行评审或正式发表在学术期刊上。公开发布的论文、预印本、技术报告或其他公开可用的数学工作将符合条件,如果结果由其附带的证明充分证实,并已获得解析数论或更广泛数学界公认专家的可信独立验证或接受。例如,2026年8月10日宣布的Anthropic结果确立了黎曼zeta零点在临界线上比例约67.25%的改进无条件下界,如果它达到所需的70%阈值,则根据这些标准将符合条件。