Will an AI achieve >80% performance on the FrontierMath benchmark before 2027? · YES 67% — Manifold odds