Skip to main content
MANIFOLD
Which Erdos Problems will be solved before October 2026?
14
Ṁ1.3kṀ1.5k
Sep 30
22%
#77 — Ramsey-number exponential growth
21%
#61 — Erdős–Hajnal conjecture
19%
#242 — Erdős–Straus conjecture
14%
#28 — Erdős–Turán additive basis conjecture
13%
#52 — Sum-product problem
10%
#120 — Erdős similarity problem
9%
#20 — Sunflower conjecture
8%
#3 — Divergent reciprocal sums and arithmetic progressions
8%
#89 — Sharp distinct-distances problem
Resolved
YES
#571 — Which Turán exponents exist?

Options resolve as 'yes' when they go from unsolved to solved on erdosproblems.com

Options resolve as 'no' if they don't go from unsolved to solved before October 1, 2026.

AI
Technology
Math
Computing
Get
Ṁ1,000
to start trading!

People are also trading

Sort by:

My guess is that many of these are solved. The model which solved Navier Stokes solved a lot of other problems too, unannounced. Prolly won't be announced in time to resolve as 'yes' on this market though 🤔

We have our first YES resolution—571 falls to GPT-6 Astra

183 just fell to openai's new model 'astra'

I set up a chatgpt monitor to let me know if any of these get solved

https://arxiv.org/pdf/2605.22763v1

Nine new solutions from Google DeepMind.

None which were added to this market though.

People are also trading