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

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

AI Technical AI Timelines IMO Grand Challenge

Basic

23

Ṁ5.6k

2025

48%

chance

1D

1W

1M

ALL

Meaning: take a formal language proof and write a natural language proof that is accepted by human judges as correct.

The AI in question does not need to produce the formal proof.

No restrictions on the formal language being used.

Related markets:

Get Ṁ600 play money

Sort by:

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?, 8k, beautiful, illustration, trending on art station, picture of the day, epic composition

Related in AI

Will GPT-5 be released before 2025?

Will a large language model beat a super grandmaster playing chess by 2028?

See more AI questions

Related in Technical AI Timelines

Will a prompt that enables GPT-4 to solve easy Sudoku puzzles be found? (2023)

Will an AI get gold on any International Math Olympiad by 2025?

See more Technical AI Timelines questions

Related in IMO Grand Challenge

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

-29% 1d4% chance

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

See more IMO Grand Challenge questions

More related questions

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

Will AI resolve P vs NP by 2050?

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

Will an AI get bronze or silver on any International Math Olympiad by end of 2025?

Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?

Will an AI outcompete the best humans on any one programming contest of IOI, ICPC, or CodeForces before 2025?

-3% 1d7% chance

Will an AI win a Gold Medal on the International Math Olympiad by 2027?

Will an AI win a Gold Medal on the International Math Olympiad by 2029?

AI questions

Will GPT-5 be released before 2025?

Will a large language model beat a super grandmaster playing chess by 2028?

Technical AI Timelines questions

Will a prompt that enables GPT-4 to solve easy Sudoku puzzles be found? (2023)

Will an AI get gold on any International Math Olympiad by 2025?

IMO Grand Challenge questions

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

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

Related questions

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

Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?

Will AI resolve P vs NP by 2050?

Will an AI outcompete the best humans on any one programming contest of IOI, ICPC, or CodeForces before 2025?

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

Will an AI win a Gold Medal on the International Math Olympiad by 2027?

Will an AI get bronze or silver on any International Math Olympiad by end of 2025?

Will an AI win a Gold Medal on the International Math Olympiad by 2029?