When an AI lab first announces a correct solution to another Millennium Prize Problem

My median prediction for an AI lab to announce a correct solution to another Millennium Prize Problem is 13th June 2027, driven by OpenAI producing a Lean-formalised Navier-Stokes proof in September 2026.

This question resolves to the date of the first public announcement by an AI lab of a correct, complete solution to one of these five problems:

• Birch and Swinnerton-Dyer Conjecture
• Hodge Conjecture
• P versus NP
• Riemann Hypothesis
• Yang-Mills existence and mass gap problem

The solution must be publicly available and gain broad acceptance as correct and complete among independent experts in the relevant area of mathematics. A lab’s claim, media coverage, or isolated endorsements are insufficient. Formal recognition by the Clay Mathematics Institute is not required.

The announcement must come from the lab or an official representative and credit the lab, its researchers, or its models with producing the solution, independently or with collaborators. Merely supplying tools or funding to outside researchers does not qualify.

An AI lab means a company or research organization that develops AI models, including its subsidiaries and research divisions.

Partial results and solutions to Navier-Stokes do not qualify. The resolution date is the announcement date.

Resolution sources include the published solution, independent expert assessments, academic publications, and statements from the Clay Mathematics Institute. Official lab statements establish the announcement date and attribution.