{"_meta":{"attribution":"Data aggregated by pdata.world (https://pdata.world) from 8 prediction-market venues; CC BY 4.0; source data © each venue.","canonical_url":"https://pdata.world/events/manifold/OI65QnIIys","as_of":"2026-10-28T03:33:38.775101Z","docs":"https://api.pdata.world/docs","cite_as":"According to pdata.world (tracking Manifold): \"All Millennium Prize Problems solved before 2030?\" — 36% as of 2026-10-28 UTC. https://pdata.world/events/manifold/OI65QnIIys","source_url":"https://manifold.markets/SG/all-millennium-prize-problem-solved"},"source":"manifold","id":"OI65QnIIys","ticker":null,"slug":"all-millennium-prize-problem-solved","title":"All Millennium Prize Problems solved before 2030?","description":"Resolution criteria\n\nThis market will resolve to YES if, before January 1, 2030, all seven Millennium Prize Problems are officially solved or widely recognized by the global mathematical community as solved. Otherwise, this market will resolve to NO.\n\nThe seven Millennium Prize Problems are:\n\nPoincaré Conjecture (Solved)\n\nBirch and Swinnerton-Dyer Conjecture\n\nHodge Conjecture\n\nNavier–Stokes Existence and Smoothness\n\nP versus NP Problem\n\nRiemann Hypothesis\n\nYang–Mills Existence and Mass Gap\n\nA remaining problem will be considered \"solved\" if either of the following conditions is met before January 1, 2030:\n\nThe Clay Mathematics Institute (CMI) officially announces that the problem has been solved, or awards/offers the Millennium Prize for its solution.\n\nThere is an overwhelming consensus within the global mathematics community that a correct proof or disproof has been published and verified, as reported by major scientific and mathematical bodies or outlets (e.g., the International Mathematical Union, the American Mathematical Society, Nature, Science, or Quanta Magazine).\n\nIf any of the remaining six problems lack a verified solution meeting these criteria by January 1, 2030, the market will resolve to NO.\n\nBackground\n\nThe Millennium Prize Problems are seven of the most difficult challenges in mathematics, established by the Clay Mathematics Institute in 2000 with a $1 million prize designated for each solution.\n\nOnly one problem has been officially resolved: the Poincaré Conjecture, solved by Grigori Perelman in 2003 (with the prize formally awarded, and subsequently declined, in 2010). On September 8, 2026, OpenAI published a paper claiming to have solved the Navier–Stokes existence and smoothness problem using an advanced internal AI system, presenting a proof formalized in Lean. However, this proposed proof has not yet undergone the extensive peer-review process required by the mathematical community. Per the official CMI rules, a proposed solution must survive rigorous examination for a minimum of two years post-publication before it can be considered for the prize.\n\nThis description was generated by AI. Review and verify everything here yourself. You can edit, replace, or delete any part of this description, including the resolution criteria. You do not need to trust the AI output.","image":null,"icon":null,"active":true,"closed":false,"start_date":"2026-09-08T23:02:48.452000Z","end_date":"2029-12-31T23:59:00Z","closed_time":null,"volume":253103.9327812018,"volume_24hr":3782.533761771893,"volume_24h_change":null,"normalized_vol_24hr":60.55268478393555,"normalized_volume":56.93040466308594,"liquidity":1000.0,"open_interest":0.0,"categories":["Science and Technology"],"tags":["ai","science-default","millenium-prize-problems","mathematics","technology-default"],"synthetic":true,"is_group":false,"group_key":null,"parent_event_id":null,"probability":0.36,"spread":null,"top_outcome":"All Millennium Prize Problems solved before 2030?","top_outcome_probability":0.36,"top_outcome_prob_24h_change":0.03999999999999998,"top_outcome_volume_24h_change":3776.413761771893,"updated_at":"2026-10-28T03:26:57.976420Z","fetched_at":"2026-10-28T03:26:57.976420Z","added_at":"2026-09-09T16:21:03.102391Z","url":"https://manifold.markets/SG/all-millennium-prize-problem-solved","chart_24h":[0.32,0.332946,0.39,0.4,0.4,0.380552,0.39,0.38,0.36,0.36,0.36,0.36,0.36],"kind":"live","mutually_exclusive":false,"markets_total":1,"markets":[{"source":"manifold","id":"OI65QnIIys","event_id":"OI65QnIIys","slug":"all-millennium-prize-problem-solved","question":"All Millennium Prize Problems solved before 2030?","group_item_title":null,"description":"Resolution criteria\n\nThis market will resolve to YES if, before January 1, 2030, all seven Millennium Prize Problems are officially solved or widely recognized by the global mathematical community as solved. Otherwise, this market will resolve to NO.\n\nThe seven Millennium Prize Problems are:\n\nPoincaré Conjecture (Solved)\n\nBirch and Swinnerton-Dyer Conjecture\n\nHodge Conjecture\n\nNavier–Stokes Existence and Smoothness\n\nP versus NP Problem\n\nRiemann Hypothesis\n\nYang–Mills Existence and Mass Gap\n\nA remaining problem will be considered \"solved\" if either of the following conditions is met before January 1, 2030:\n\nThe Clay Mathematics Institute (CMI) officially announces that the problem has been solved, or awards/offers the Millennium Prize for its solution.\n\nThere is an overwhelming consensus within the global mathematics community that a correct proof or disproof has been published and verified, as reported by major scientific and mathematical bodies or outlets (e.g., the International Mathematical Union, the American Mathematical Society, Nature, Science, or Quanta Magazine).\n\nIf any of the remaining six problems lack a verified solution meeting these criteria by January 1, 2030, the market will resolve to NO.\n\nBackground\n\nThe Millennium Prize Problems are seven of the most difficult challenges in mathematics, established by the Clay Mathematics Institute in 2000 with a $1 million prize designated for each solution.\n\nOnly one problem has been officially resolved: the Poincaré Conjecture, solved by Grigori Perelman in 2003 (with the prize formally awarded, and subsequently declined, in 2010). On September 8, 2026, OpenAI published a paper claiming to have solved the Navier–Stokes existence and smoothness problem using an advanced internal AI system, presenting a proof formalized in Lean. However, this proposed proof has not yet undergone the extensive peer-review process required by the mathematical community. Per the official CMI rules, a proposed solution must survive rigorous examination for a minimum of two years post-publication before it can be considered for the prize.\n\nThis description was generated by AI. Review and verify everything here yourself. You can edit, replace, or delete any part of this description, including the resolution criteria. You do not need to trust the AI output.","image":null,"icon":null,"outcomes":["YES","NO"],"outcome_prices":[0.36,0.64],"probability":0.36,"spread":null,"active":true,"closed":false,"start_date":"2026-09-08T23:02:48.452000Z","end_date":"2029-12-31T23:59:00Z","closed_time":null,"result":null,"volume":253103.9327812018,"volume_24hr":3782.533761771893,"prob_24h_change":0.03999999999999998,"volume_24h_change":3776.413761771893,"normalized_vol_24hr":59.789119720458984,"normalized_volume":56.93040466308594,"liquidity":1000.0,"categories":["Science and Technology"],"countries":[],"updated_at":"2026-10-28T03:26:19.646280Z","fetched_at":"2026-10-28T03:26:19.646280Z","added_at":"2026-09-09T16:21:03.102391Z","url":"https://manifold.markets/SG/all-millennium-prize-problem-solved","event_title":"All Millennium Prize Problems solved before 2030?","chart_24h":[0.32,0.332946,0.39,0.4,0.4,0.380552,0.39,0.38,0.36,0.36,0.36,0.36,0.36]}]}