- 到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.
規則
若在指定日期的 下午11:59 ET 前，有符合資格的數學結果無條件證明黎曼 ζ 函數至少 70% 的非平凡零點位於臨界線上，或證明更強的結果（包括完整證明或推翻黎曼猜想），此市場將判定為「是」。否則，此市場將以「否」結算。 就本市場而言，「無條件」是指符合資格的結果不得依賴假設黎曼猜想或任何其他尚未證明、且為達到所述門檻所必需的猜想。 若結果無條件證明下界為 70% 或更高，即符合資格。若結果證明更高的百分比、證明相關零點中位於臨界線上的比例為：100%，或以其他方式完整證明或推翻黎曼猜想，也符合資格。 僅以計算方式驗證有更多個別零點位於臨界線上，無論檢查了多少個零點，本身均不符合資格。條件式結果、啟發式論證、未經充分驗證的聲稱證明、未達 70% 門檻的部分結果，或仍低於 70% 的改進，均不符合資格。 符合資格的結果不必在市場截止時間前完成同儕審查或正式發表於學術期刊。公開發表的論文、預印本、技術報告或其他公開可取得的數學著作，若其結果有隨附證明充分支持，且已獲解析數論領域或更廣泛數學界的公認專家可信的獨立驗證或認可，即符合資格。例如，Anthropic 於 2026年8月10日 宣布的結果，證明黎曼 ζ 函數零點位於臨界線上的比例具有約 67.25% 的改進無條件下界；如果該結果達到所要求的 70% 門檻，依據這些標準便符合資格。 本市場的結算依據將是可信報導所形成的共識。
機器翻譯。如有爭議，以原文為準。