If any AI solves at least 1 Frontier Math: Open Problems after issuance and before Jul 1, 2026, then the market resolves to Yes. At the time of issuance, one FrontierMath: Open Problem has been solved by AI (a Ramsey-style problem on hypergraphs); for the purpose of this market, additional AI models subsequently solving the same problem will not count. This market will close and expire early if the event occurs.