- 到2026年12月31日，黎曼猜想会有进一步的实质性进展吗？10¢10%
OpenAI’s October 6, 2026 release of 719 AI-generated math papers, including a claimed proof of the quasi-Riemann hypothesis establishing a zero-free region for the zeta function and Dirichlet L-functions with real part greater than 7/8, has driven recent trader attention. Mathematicians including James Maynard have called the result landmark for analytic number theory, as it extends prior bounds and rules out certain Siegel zeros while generalizing across related functions. Verification remains ongoing, with machine-checkable Lean formalizations released but limited independent human review completed so far. Earlier AI-assisted work, such as Anthropic’s Claude improving lower bounds on the proportion of critical-line zeros to over 67 percent in August 2026, illustrates growing large language model contributions to number theory, though full resolution of the Riemann hypothesis itself stays open.
规则
如果在指定日期 23:59 ET 之前，有符合条件的数学结果无条件地证明黎曼ζ函数的非平凡零点中至少有 70% 位于临界线上，或证明出更强的结果（包括对黎曼猜想的完整证明或反证），则本市场将判定为“是”。否则，本市场将以“否”结算。 就本市场而言，“无条件”是指符合条件的结果不得依赖于假设黎曼猜想成立，也不得依赖于任何其他未经证明、且为达到所述门槛所必需的猜想。 任何无条件地确立不低于 70% 下界的结果均符合条件。确立更高百分比、证明相关零点中有 100% 位于临界线上，或以其他方式完整证明或反驳黎曼猜想的结果也符合条件。 仅通过计算验证更多单个零点位于临界线上，本身不符合条件，无论检查了多少个零点。有条件的结果、启发式论证、未经充分验证的所谓证明、未达到 70% 门槛的部分结果，或仍低于 70% 的改进，均不符合条件。 符合条件的结果无需在市场截止时间前完成同行评审，也无需在学术期刊上正式发表。公开发布的论文、预印本、技术报告或其他公开可得的数学成果，只要其附带的证明对结果提供了充分依据，并且该结果获得了数论解析领域公认专家或更广泛数学界的可信独立验证或认可，即符合条件。例如，Anthropic 于 2026年8月10日 宣布的结果，为黎曼 ζ 函数零点位于临界线上的比例确立了约 67.25% 的改进后无条件下界；如果该结果达到所要求的 70% 门槛，则依据这些标准符合条件。 本市场的结算依据将是可信报道形成的共识。
机器翻译。如有争议，以原文为准。