If OpenAI announces a complete solution developed by OpenAI or researchers collaborating directly with OpenAI on that solution to one of the five qualifying Millennium Prize Problems (Birch and Swinnerton-Dyer, Hodge, P versus NP, Riemann, or Yang-Mills), excluding the Navier-Stokes existence and smoothness problem and the Poincare conjecture before Jan 1, 2027, then the market resolves to Yes.