Will the first AI to get IMO Gold integrate Lean?
Will the first AI to get IMO Gold integrate Lean?
Plus
23
Ṁ19502030
66%
chance
1D
1W
1M
ALL
This question resolves when an AI first gets IMO Gold. It resolves YES if the system that gets gold uses as a subsystem any piece of code from the Lean community, including any code from the leanprover or leanprover-community GitHub organizations.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Sort by:
I think it's extremely unlikely that it will integrate multiple proof assistants, so ArbBot will try to keep the sum <= 100%.
What is this?
What is Manifold?
Manifold is the world's largest social prediction market.
Get accurate real-time odds on politics, tech, sports, and more.
Win cash prizes for your predictions on our sweepstakes markets! Always free to play. No purchase necessary.
Are our predictions accurate?
Yes! Manifold is very well calibrated, with forecasts on average within 4 percentage points of the true probability. Our probabilities are created by users buying and selling shares of a market.
In the 2022 US midterm elections, we outperformed all other prediction market platforms and were in line with FiveThirtyEight’s performance. Many people who don't like trading still use Manifold to get reliable news.
How do I win cash prizes?
Manifold offers two market types: play money and sweepstakes.
All questions include a play money market which uses mana and can't be cashed out.
and can't be cashed out.Selected markets will have a sweepstakes toggle. These require sweepcash to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.
to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.Redeem your sweepcash won from markets at 1.00 → $1.00, minus a 5% fee.
Learn more.1.00Related questions
What is this?
What is Manifold?
Manifold is the world's largest social prediction market.
Get accurate real-time odds on politics, tech, sports, and more.
Win cash prizes for your predictions on our sweepstakes markets! Always free to play. No purchase necessary.
Are our predictions accurate?
Yes! Manifold is very well calibrated, with forecasts on average within 4 percentage points of the true probability. Our probabilities are created by users buying and selling shares of a market.
In the 2022 US midterm elections, we outperformed all other prediction market platforms and were in line with FiveThirtyEight’s performance. Many people who don't like trading still use Manifold to get reliable news.
How do I win cash prizes?
Manifold offers two market types: play money and sweepstakes.
All questions include a play money market which uses mana and can't be cashed out.
and can't be cashed out.Selected markets will have a sweepstakes toggle. These require sweepcash to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.
to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.Redeem your sweepcash won from markets at 1.00 → $1.00, minus a 5% fee.
Learn more.1.00Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
82% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
66% chance
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
42% chance
Will the first AI to get IMO Gold integrate Isabelle?
10% chance
Will the first AI to get IMO Gold integrate Coq?
8% chance
Will the first AI to get IMO gold use formal methods?
61% chance
What company or institution will win the XTX AIMO Prize?
Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?
10% chance
Will AI get at least bronze on the IMO by end of 2025?
92% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
31% chance