Current community forecast
Yes 53.3%
Forecasters
5
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 16 hours ago
StaleAug 1, 26, 4:22 PM UTCJan 1, 35, 3:59 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
AI program resolves Riemann Hypothesis before 2035
Manifold MarketsWhen will the Riemann hypothesis be solved?
KalshiFurther substantive progress on the Riemann Hypothesis by which date?
PolymarketWill the Riemann Hypothesis be solved before 2030?
Manifold MarketsOpenAI discovers the first proof of the Riemann Hypothesis before 2027?
Manifold MarketsWill CMI declare the Riemann Hypothesis solved by which date?
PolymarketRules
An AI program writes a correct proof that the Riemann hypothesis is either true, false, or undecidable (within the axioms of complex analysis) before 2035.
- Criteria for YES:
- (1) The proof must be vetted and approved by qualified humans in the same way that any paper would be checked for publication.
- The method for verifying the proof must be acceptable to the editors of the Annals of Mathematics or an equivalently prestigious journal.
- This means that if the editors of the Annals think it is okay for humans to use a computer to check the proof, then that's fine.
- (2) The proof must primarily be the work of the AI.
Open markets
SportsKALSHI2027 Pro Football Champion
- Los Angeles R13.9%
- Buffalo6.6%
- Seattle-1.0pt5.7%
+29 more outcomes
- Total Vol
- $90M
- 24h Vol
- $3.9M
KALSHIInoue vs Adkar
- Hina Inoue99%
- Vaishnavi Adkar1%
- Total Vol
- $2.1M
- 24h Vol
- $2.1M
KALSHIAmgen Irish Open Winner
- Rory McIlroy+1.0pt14%
- Jon Rahm-0.2pt8%
- Tyrrell Hatton-0.5pt5%
+97 more outcomes
- Total Vol
KALSHISekulic vs Matsuda
- Philip Sekulic93.1%
- Koki Matsuda6.9%
- Total Vol
- $2M
- 24h Vol
- $1.9M
POLYMARKETUEFA Champions League: 2027 Champion
- Barcelona17.9%
- Bayern Munich+1.0pt15.1%
- Arsenal-1.0pt13.2%
+33 more outcomes
POLYMARKETCounter-Strike: Alliance vs TYLOO (BO3) - FISSURE PLAYGROUND Group B
- 1 Winner100%
- 2 Winner100%
- Match Winner100%
+21 more outcomes
- Total Vol
- $1.2M
- 2026 Men’s US Open Winner (Tennis)
- Counter-Strike: 9z vs G2 (BO3) - FISSURE PLAYGROUND Group A
- San Francisco vs Los Angeles R
- MVP Winner?
- Nflgame 26 SEP 09 Nesea
- MLB: Minnesota Twins vs Detroit Tigers (Sep 9, 2026)
- Ogura vs Hong
- Amgen Irish Open End of Round 1 Leader
- San Francisco vs Los Angeles: Spread
- NFL 2026-27: Champion
- Ballon d'Or Winner 2026
- Pro Baseball Champion
Frequently asked questions
- What are the current odds for AI program resolves Riemann Hypothesis before 2035?
- Manifold Markets prices Yes at 53% as of September 9, 2026.
- When does AI program resolves Riemann Hypothesis before 2035 resolve?
- AI program resolves Riemann Hypothesis before 2035 is scheduled to resolve on January 1, 2035.
- How is AI program resolves Riemann Hypothesis before 2035 settled?
- Manifold Markets settles this market as follows: An AI program writes a correct proof that the Riemann hypothesis is either true, false, or undecidable (within the axioms of complex analysis) before 2035.