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?

Plus

30

Ṁ8411

Jan 1

19%

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:

This question is managed and resolved by Manifold.

#Technical AI Timelines

#IMO Grand Challenge

Get

1,000

and

3.00

Sort by:

bought Ṁ100 YES

Would be interested in 01 pro and DSv3 results on this. Is this market based off demonstrated abilities or will resolution wait for a test of top models and NA without such testing? I assume the latter?

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 questions

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

Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?

Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?

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

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

AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?

Will an AI win a gold medal on International Math Olympiad (IMO) 2025?

Will an AI score 1st place on International Math Olympiad (IMO) 2025?

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

Will an AI get gold on any International Math Olympiad before 2027?

Related questions

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

AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?

Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?

Will an AI win a gold medal on International Math Olympiad (IMO) 2025?

Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?

Will an AI score 1st place on International Math Olympiad (IMO) 2025?

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

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 get gold on any International Math Olympiad before 2027?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules