OpenAI: What are they doing with the math stuff? Is this predict the next token or something more?

OpenAI agents have produced a solution to the Navier-Stokes Millennium Prize problem, according to a Level1Techs forum post asking the community whether the result is genuine mathematical reasoning or merely next-token prediction. The post frames the claimed result as evidence of improving AI capabilities, though it provides no technical details, verification, or named OpenAI personnel.

Obviously out of scope of the original topic, but in the spirit of the ever improving AI capabilities, what does the level1techs community think about the solution to the Navier Stokes millenium prize problem by openAI agents?