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

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

Plus

35

Ṁ5897

Jan 1

17%

chance

1D

1W

1M

ALL

No restrictions on the language it formalizes them into.

Clarification: this is only formalizing the problem statement. It does not have to solve them in any way.

Related markets:

This question is managed and resolved by Manifold.

#Technical AI Timelines

#IMO Grand Challenge

Get

1,000

and

3.00

Sort by:

I think resolution for this has to wait until o1 is available to the public, although I do expect it to resolve NO.

What's currently harder for humans, formalizing these problems or proving them?

Is there a large dataset of problems giving both their matched-up natural-language statement and formalized statement?

What work has been done on auto-formalizing natural language problems to date?

@jonsimon Proving is much harder.

Will any AI be able to formalize >=90% 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 win a gold medal on International Math Olympiad (IMO) 2025?

-3% 1d60% chance

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

Will AI win a gold on IMO before it wins a gold on IOI?

-13% 1d76% chance

Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?

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

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

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

-6% 1d88% chance

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

-3% 1d81% chance

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

-3% 1d64% chance

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

Related questions

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

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

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

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

Will AI win a gold on IMO before it wins a gold on IOI?

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

Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?

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

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

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

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