Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
➕
Plus
23
Ṁ5596
Jan 1
48%
chance

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:

Get
Ṁ1,000
and
S3.00
Sort by:

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

© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules