Navier-Stokes claim: math and AI credit fights collide

The Clay Mathematics Institute issued a deliberately neutral statement on the apparent Navier-Stokes solution, so carefully worded that it doesn't even mention who solved it. Commenters noted this is the institute managing a credit dispute that has been simmering since the announcement, with OpenAI's involvement in the claimed proof making attribution messy and politically charged.

The key detail: CMI said the clock has started on formally verifying the solution, which means the math community is treating the claim as presumptively solved but is not yet handing out the Millennium Prize or Fields Medal credit. The fact that 'OpenAI' appears nowhere in a statement about a proof where OpenAI apparently played a role is its own kind of statement.

This is the first major instance where a Millennium Prize problem intersects with the AI attribution problem, where it is genuinely unclear how to credit a result produced with significant AI assistance. The math community has no established norms for this. Neither does anyone else.