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:

#Technical AI Timelines

#IMO Grand Challenge

Get

1,000

and

1.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 get bronze or silver on any International Math Olympiad 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 AI get at least bronze on the IMO 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 an AI be capable of achieving a perfect score on the Putnam exam before 2028?

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

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

Related questions

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

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

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

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

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

Will an AI be capable of achieving a perfect score on the Putnam exam before 2028?

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

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 International Math Olympiad (IMO) 2025?

Terms & Conditions•Privacy Policy•Sweepstakes Rules