Which AI company first solves FrontierMath 85%?

Prediction market on manifold. This question resolves to to whichever company first reaches score on the FrontierMath benchmark above or equal to 85.0% for fully-automated computer method.

24h Volume: $100. Liquidity: $1,500. Resolves: 12/31/2026.