Which Erdos Problems will be solved before October 2026?

Ṁ1.3kṀ6.2k

resolved Oct 1

Resolved

YES

#571 — Which Turán exponents exist?

Resolved

#3 — Divergent reciprocal sums and arithmetic progressions

Resolved

#20 — Sunflower conjecture

Resolved

#28 — Erdős–Turán additive basis conjecture

Resolved

#52 — Sum-product problem

Resolved

#61 — Erdős–Hajnal conjecture

Resolved

#77 — Ramsey-number exponential growth

Resolved

#89 — Sharp distinct-distances problem

Resolved

#242 — Erdős–Straus conjecture

Resolved

#120 — Erdős similarity problem

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.

Technology

Math

Computing

Get

1,000

to start trading!

🏅 Top traders

#	Trader	Total profit
1		Ṁ182
2		Ṁ65
3		Ṁ59
4		Ṁ26
5		Ṁ19

People are also trading

All Millennium Prize Problems solved before EOY?

4% chance

Will ANOTHER millennium prize problem be solved in 2026?

32% chance

Will all Millennium prize problems be solved (or proved unsolvable) by 2030?

24% chance

All Millennium Prize Problems solved before 2030?

28% chance

All Millennium Prize Problems solved before May 2027?

9% chance

How many Erdős Problems will be solved by the end of 2026?

171

At least 5 Millennium Prize problems solved by the end of 2026?

9% chance

What will the top score on Epoch AI's FrontierMath: Erdős (68 open Erdős problems) be on November 7, 2026?

Number of FrontierMath Erdos Problems solved by AI before 2027?

19.1

Will 50% or more of the Erdos problems be solved at the end of 2030?

98% chance

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 🤔

@jim looks like #3 was solved https://github.com/openai/math/blob/main/reasoning_traces/quasipolynomial-arithmetic-progressions.pdf

@jim Shockingly few of the other ones are solved. Combinatorics has a big left tail of easy problems, but I think some of them are harder. Analysis is where we have made the most progress.