OAI has now released their result! A paper and lean formalization of a full counterexample to Navier-Stokes. They also comment on the situation with Tristan and Levent. Essentially, OAI claims they rushed to test their new model on all Millennium problems and variants after hearing about Tristan and Levent's success, and found a different approach to showing a finite-time singularity. They likely trained on Tristan's personal codex sessions, as they do with all users, but it is very unlikely this enabled the breakthrough in any meaningful way. They also confirm they wanted to cede authorship of the full counterexample to Tristan, but were not okay with Levent having authorship over his Anthropic affiliation. Furthermore, they insinuate that the result was done with little human input, via swarms of agents. They also claim their found approach is meaningfully different from Levent and Tristan's.