AI model scores ≥ 90% on FrontierMath Benchmar… 77% Yes · Polymarket