MANIFOLD
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
35
Ṁ1kṀ5.9k
resolved Apr 3
Resolved
NO

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:

Market context
AI
Technical AI Timelines
IMO Grand Challenge
Get
Ṁ1,000
to start trading!

🏅 Top traders

#TraderTotal profit
1Ṁ135
2Ṁ75
3Ṁ56
4Ṁ52
5Ṁ42

People are also trading

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

People are also trading

© Manifold Markets, Inc.•Terms•Privacy