According to @gdb, OpenAI agents using a next gen model solved the Navier–Stokes Millennium Prize Problem, signaling major AI and math impact.