I was told that an internal OpenAI model had produced a proof of finite time blowup for the forced Navier-Stokes equations. I was told the proof is about 100 pages. I have not seen it. [...] I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer.
The four-page statement Buckmaster published alongside the papers, because a rumour had been running since Friday and, as he puts it, the alternative was to let a sequence of announcements say something he knew to be false. It sets out two calls on 6 September, with Sébastien Bubeck on both and Alpöge on neither. He says he was told an internal OpenAI model had produced a roughly 100-page proof of forced Navier-Stokes blowup, by the same route he and Alpöge had quietly chosen; that the first prompt was sent only after word of their work reached OpenAI; and that he was asked twice to leave Alpöge off a paper because Alpöge works at Anthropic. He also states the limits of his own claim, and they belong beside everything above: "I have not seen OpenAI's proof. I do not know what their model did, or how. I do not know whether our data was used. I am not accusing anyone of anything."
Tristan Buckmaster