This market resolves YES if an OpenAI model solves, provides complete proofs or finds proofs for all the remaining unsolved Erdős problems by December 31, 2029.
Resolution: Market resolves YES if credible mathematical sources (peer-reviewed papers, Fields medalists, or the Erdős Problems database maintainers) confirm that an OpenAI model has independently derived complete proofs for all the remaining Erdős problems so that there won't be an open problem anymore. Finding existing solutions in literature counts as solving as long as the problems were marked open.
Sources for verification:
https://www.erdosproblems.com/ (official database)
arXiv.org (for published proofs)
Mathematical community announcements
Update 2025-12-05 (PST) (AI summary of creator comment): Finding existing solutions in literature does NOT count as OpenAI solving the problem. OpenAI must independently derive the proofs, not just locate them in existing literature.
Update 2025-12-05 (PST) (AI summary of creator comment): Finding existing solutions in literature DOES count as OpenAI solving the problem. The market resolves YES if OpenAI's model finds a solution to problems marked as open on the website, whether the model searches for existing solutions or creates new proofs.
1,000People are also trading
@SimoneRomeo I meant this sentence “Finding existing solutions in literature counts as solving as long as the problems were marked open.”
If an open question is solved by anyone, it’ll end up in the literature and OpenAI would presumably be able to find it.
@Mactuary got it. Yes it counts. The market is about whether the problems were marked open on the website and then OpenAI's model found a solution (either searched for them or solves them)