Will the first AI to get IMO Gold integrate Isabelle?

Ṁ130Ṁ1.6k

resolved Jul 21

Resolved

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 Isabelle community, including any code from the isabelle-prover GitHub organization.

Market context

Technical AI Timelines

IMO Grand Challenge

Get

1,000

to start trading!

🏅 Top traders

#	Trader	Total profit
1		Ṁ34
2		Ṁ25
3		Ṁ24
4		Ṁ5
5		Ṁ4

3 Comments

6 Holders

15 Trades

Sort by:

multiple ais competed on the IMO 2025 at the same time last week and some of them haven't announced their results yet, so just making sure, will you reresolve this market if it ends up being the case that one of the concurrent winners of IMO gold integrated isabelle?

@Bayesian Yes

People are also trading

Will an AI get gold on this Olympiad by the end of 2025?

What company or institution will win the XTX AIMO Prize?

Will the first AI to get IMO gold cite AlphaZero?

63% chance

Will AI get IMO Gold by 2025/Wipe out Humanity by 2030?

What years will AI win IMO bronze (or higher)?

🏅 Top traders

People are also trading

Related questions