When will an AI lab solve another Millennium Prize Problem?

Before 2028 If any AI lab solves another Millennium Prize Problem after Issuance and before X 1, Y then the market resolves to Yes. X Millennium Prize Problem counts as solved on the first date that, by Expiration, remains unretracted and either: X complete proof, disproof, or counterexample addressing the problem as originally formulated by the Clay Mathematics Institute is published in a reputable peer-reviewed mathematics or scientific journal. CMI or another recognized academic governing or