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.