Skip to main content
MANIFOLD
How many total Erdos Problems will be solved by the end of the year?
14
Ṁ1.1kṀ677
Dec 31
740 Problems
expected
38%
565 - 650
24%
651 - 750
20%
751 - 875
12%
876 - 1000
6%
Above 1001

Will be resolved based on what https://www.erdosproblems.com/ reads before Jan 1 12:00:00 AM UTC.

As of market creation (Aug 9th), the site reports 565/1217 (46%) have been solved.

UPDATE Aug 10: It looks like the database has added about 300 problems a year the past two years. For now I will change the 1001-1217 bucket to read "Above 1217". Thanks @TimHu for making me aware of this.

Erdős Problems
AI
Math
Get
Ṁ1,000
to start trading!

People are also trading

Sort by:
bought Ṁ1 YES

They could add more, making the total higher than 1217. https://www.erdosproblems.com/faq

@TimHu Shit, thanks, good point. It looks like there were 900 in 2025 and 600 in 2024. I will change the highest bucket to say "At least 1001"

@Xelad102c Thank you, btw!

Not more than a 1000 this year. Or at least I am willing to lose that mana if it is more because it would show that Math is hitting exponential changes

People are also trading