open-math-problems. A tier list of open problems in mathematics — with Wikipedia links, Lean formalizations, and prediction markets

github.com/evand/open-math-problems

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.