What is the probability for "Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?" on Manifold?

Question

Accepted Answer

The current market probability is 5% with 39 traders and $8K in volume.

Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?

Resolution