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