AI model scores ≥ 90% on FrontierMath Benchma… 13.5% Odds | Polymarket