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:

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 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 2025?

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

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

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

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

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

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

Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?

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

Related questions

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

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

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

Will AI get at least bronze on the IMO by end of 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 win a gold medal on International Math Olympiad (IMO) 2025?

Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?

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 2027?

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