Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
22
83
1k
2025
49%
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 Ṁ600 play money
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

More related questions