If any AI solves at least 1 Frontier Math: Open Problems after issuance and before Jan 1, 2027, then the market resolves to Yes.