Section "How we found the proof" sounds very unpleasant:
Since August 28 [2 weeks???] we have been training a new internal model that has exhibited unprecedented performance in our benchmarks, including mathematics. This model’s training is ongoing and its performance continues to improve.
OpenAI announced a two-week pause on RL training on August 18. Therefore, unless there was no RL involved in the first four days of this model's training, they lied about at least 4 of those 14 days.
This is a linkpost for https://openai.com/index/navier-stokes-solution/