Will AI solve another Millennium Prize Problem (besides Navier–Stokes) before September 15, 2027?
One-OffKITechnikWissenschaft10Mon
Manifold MarketsKein KYCVerifizierte AuflösungsdatenGut kalibriertAktuelle Community-PrognoseJa 74.5%
Prognostiker
41
Fragetyp
binary
Methodik
Play-money forecasting platform
Quellentyp
Prognose
Marktdaten
Aktualisiert vor 8 Stunden
Veraltet11. Sept. 26, 10:46 UTC14. Sept. 27, 23:59 UTC
Trends
Regeln
Recently, OpenAI has announced that their model solved the "Navier–Stokes existence and smoothness" problem (finite-time blowup, Clay options C and D).
- Will AI solve one of the remaining five within a year?
- The market will be resolved YES if OpenAI, Anthropic, Google DeepMind, another AI lab or an independent academic heavily using AI makes a credible announcement that their model has solved a Millennium Prize problem, and publishes the full proof or disproof (in Lean or natural language).
- Acceptance by the Clay Institute is not required.
- Partial progress (for example, % of Riemann zeta zeros on the critical line in the density sense) does not count.
- If an independent academic using AI makes an announcement, he must explicitly state that AI did most of the work.
