It seems like the timeline according to OpenAI is that:

1. Buckmaster developed a counterexample to a reduced version of Navier-Stokes with Anthropic employee Levent

2. Rumors start spreading that Anthropic has solved Navier-Stokes

3. OpenAI learns this and starts throwing a ridiculous amount of compute at it, now knowing it's within reach of LLMs

4. Their LLMs (with human assistance) get FARTHER than Buckmaster, using the exact same method.

5. OpenAI reaches out to Buckmaster to negotiate a fair way to publish both results and properly assign credit

Perhaps they simply and honestly feel he is owed credit. I can't help but imagine it at least played some small part. I expect that's what Bubeck is going to claim: https://xcancel.com/SebastienBubeck/status/20972141224714323...

https://xcancel.com/ElliotGlazer/status/2096298696438906934#

[0] https://xcancel.com/SebastienBubeck/status/20972141224714323...

[1] https://xcancel.com/polynoamial/status/2097215233119211902

[2] https://xcancel.com/danintheory/status/2097214838003138603

[3] https://xcancel.com/_sholtodouglas/status/209721833169057800...

> We used several LLMs throughout: Anthropic’s Claude, OpenAI’s Codex, especially with GPT-5.6 Sol and, more recently, Astra. The latter was only used for writeups and auditing our arguments.

> The phase of free fall is predicted in a purely quantum manner to have a dependence m/6 g^2T^3/ℏ + gmzT on the free-fall time T, where m is the mass of the object, g is the gravitational acceleration relative to the surface of Earth, and z in the spatial coordinate in the direction of gravity. This prediction follows the calculated phase accumulated by an object accelerating in a linear potential, and has been made starting from almost one hundred years ago by Darwin, Kennard and others.

Apparently the phase shift is derivable from just adding a linear potential term mgz to the Hamiltonian.

[0]: https://arxiv.org/pdf/2502.14535

> The work certainly achieves some of the aims of the EPSRC project, and indeed it goes much further in terms of what is formalized (I only promised the EPSRC that I would reduce FLT to the 1980s; this repo proves the whole thing). But I also promised several other things to EPSRC: firstly, that I would be making pull requests to Lean’s mathematics library, adding fundamental objects from modern number theory; this is ongoing. And secondly, and perhaps most importantly, that I would be creating a dynamic document enabling humans to explore the modern proof.

  The autumn wind moves slow across the field,
  and every falling leaf now yields its fight.
  The summer gold at last has ceased to yield,
  and short days now give way to longer night.
  I walk alone beside a calm and quiet stream,
  and watch it slowly carry every fallen leaf.
  I think of you as some half-forgotten dream,
  and taste again that same old, bitter grief.
  The silent stars come out to watch it still,
  and pale moonlight falls gently on the hill.
  A lonesome owl calls out from past the mill,
  and time moves on, unhurried and calm, until
  the dawn returns to paint the sky brand new,
  and I still recall the love I lost with you.

[0] https://www.axler.net/DwD.html

https://www.axler.net/DwD.html

A strange and unpopular opinion.