The Clay Mathematics Institute says the Navier–Stokes Millennium Problem appears to have been solved, and that it intends to take its time finding out. CMI said it hopes to see "waves of new human understanding" emerge once the innovations underlying the work have been analyzed and checked, and that the growing ability of new technologies to accelerate mathematical research had heightened anticipation around a possible solution. Verification will be slow by design; the institute says it will not rush and will report on the results. The claim also arrives attached to a fight over who produced it.
Tristan Buckmaster says OpenAI directed additional resources at the problem after rumors of his own research leaked. He further accuses the company of using his drafts in its training data, and of leaving his co-author Levent Alpöge, who works at Anthropic, off the list of authors.
Take the three accusations in order and they describe an escalating sequence rather than a single grievance: a competitor noticing the direction of his work, a model trained on material he had not published, and a result credited without the collaborator who helped produce it. The complaint about the author list only makes sense if the proof in question is one OpenAI is claiming.
CMI's own language repays attention. An institute whose function is adjudicating claims on these problems has described the checking as the interesting part and expressed hope that human understanding will follow from it. That hope is a strange thing to need. When a proof is written by mathematicians for mathematicians, the understanding is the proof; nobody expresses hope that comprehension will arrive later, in waves, once the innovations have been analyzed. Pair the sentence with CMI's remark about new technologies accelerating research and the institute is signaling something about how this proof was produced without stating it.
The more interesting thing about the dispute is what it is not about. Nobody in it is saying the proof is wrong. Buckmaster's objections concern provenance and credit, and those are exactly the questions that verification cannot answer. A slow, careful check will establish whether the argument holds. It will not establish whether draft material went into a training corpus, because that fact is visible only to whoever assembled the corpus. Mathematics has well-developed norms for priority and attribution, all of which assume that the path from idea to result runs through people who can be asked about it. None of them cover a model.
CMI's statement, as reported, addresses verification and says nothing about the authorship claims, and no account from OpenAI accompanies them. That leaves the credit question resting entirely on Buckmaster's version, which is the weakest possible footing for an accusation this specific. Alpöge's employer matters here too. An excluded co-author at Anthropic turns what would normally be a dispute between colleagues into one running across the two labs with the most at stake in whether AI systems are seen to do original mathematics.
Navier–Stokes will be settled the way such things are settled: slowly, by people reading line by line, and CMI has already said that is the pace. What that process will produce is a verdict on the mathematics and silence on everything Buckmaster is actually alleging.