Will the community prediction be higher than 19.00% on 2025-10-23 for the Metaculus question "Will an AI achieve >85% performance on the FrontierMath benchmark before 2026?"?
Will an AI be able to take arbitrary proofs from the mathematical literature and convert them into a symbolic form suitable for verification before 2030?