IMO News

Web3 and AI Convergence Drives Decentralized AI Innovations with AI Protocol V3
Authors
6
13 days
AI
Tech

Will AI get at least bronze on the IMO by 2025?

Apr 29, 8:55 PMJan 2, 5:59 AM

53.3%chance

257138740

OptionVotes

YES

1770

1760

[Short-fuse / hot take] Will the IMO Gold by 2025 Market be Above* 30% for a 1-month window before August 1, 2024?

Apr 27, 7:48 AMAug 2, 6:59 AM

36.93%chance

165906

OptionVotes

YES

1124

905

Will at least $1M in XTX Markets AI-MO "Progress Prize(s)" be awarded by end of the 65th IMO in July 2024?

Nov 28, 1:17 PMJul 22, 4:59 AM

33%chance

394012

OptionVotes

YES

2130

1511

Will I qualify for IMO 2025?

Apr 24, 6:00 PMJun 2, 6:59 AM

92%chance

131749

OptionVotes

YES

1453

908

Will I make IMO 2025?

Apr 24, 5:48 PMMay 19, 6:59 AM

90.92%chance

203549

OptionVotes

YES

1342

913

Have at least 50% of IMO medalists played at least 100 hours of piano? (500M subsidy)

Oct 13, 11:09 AMDec 31, 10:59 PM

34.39%chance

171663

OptionVotes

YES

1255

809

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?

Nov 29, 5:36 AMJan 1, 8:00 AM

48.04%chance

235597

OptionVotes

YES

1074

918

Will the first AI to get IMO gold use formal methods?

Jan 11, 5:04 PMDec 31, 11:59 PM

50%chance

182096

OptionVotes

YES

987

982

Will the first AI to get IMO gold tree-search the formal proof space?

Dec 11, 5:54 AMDec 31, 11:59 PM

51.45%chance

271300

OptionVotes

YES

1037

920

Will China win the International Mathematical Olympiad (IMO) 2024

May 18, 1:39 AMJul 23, 9:59 PM

90.65%chance

446208

OptionVotes

YES

3410

381

Will any AI be able to formalize >=90% of IMO problems by the start of 2025?

Nov 29, 5:30 AMJan 1, 8:00 AM

20%chance

345795

OptionVotes

YES

1640

711

Conditional on AI getting at least bronze on the IMO, will it get gold by 2025?

Apr 29, 8:52 PMJan 2, 5:59 AM

49.55%chance

221810

OptionVotes

YES

1030

929

Latest stories

Web3 and AI Convergence Drives Decentralized AI Innovations with AI Protocol V3
Authors
6
13 days
AI
Tech
DeepMind's AlphaGeometry Solves 25/30 IMO Problems, Nears Human Level
Authors
5
5 months
AI
Tech

IMO News

Top stories

Prediction markets for IMO

Prediction markets for IMO

Prediction markets for IMO

Will AI get at least bronze on the IMO by 2025?

[Short-fuse / hot take] Will the IMO Gold by 2025 Market be Above* 30% for a 1-month window before August 1, 2024?

Will at least $1M in XTX Markets AI-MO "Progress Prize(s)" be awarded by end of the 65th IMO in July 2024?

Will I qualify for IMO 2025?

Will I make IMO 2025?

Have at least 50% of IMO medalists played at least 100 hours of piano? (500M subsidy)

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?

Will the first AI to get IMO gold use formal methods?

Will the first AI to get IMO gold tree-search the formal proof space?

Will China win the International Mathematical Olympiad (IMO) 2024

Will any AI be able to formalize >=90% of IMO problems by the start of 2025?

Conditional on AI getting at least bronze on the IMO, will it get gold by 2025?

Latest stories

Top stories

Prediction markets for IMO

Prediction markets for IMO

Prediction markets for IMO

Will AI get at least bronze on the IMO by 2025?

[Short-fuse / hot take] Will the IMO Gold by 2025 Market be Above* 30% for a 1-month window before August 1, 2024?

Will at least $1M in XTX Markets AI-MO "Progress Prize(s)" be awarded by end of the 65th IMO in July 2024?

Will I qualify for IMO 2025?

Will I make IMO 2025?

Have at least 50% of IMO medalists played at least 100 hours of piano? (500M subsidy)

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?