OpenAI vs. Anthropic: First to another Millennium Prize?

This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so. If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution. The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify. A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the company, its researchers, or its models, alone or jointly with outside researchers. … (condensed)