OpenAI blogs about a new advisory group for math and AI. On their new internal model:
In addition to resolving the Navier–Stokes Millennium Prize problem, this model has now resolved more than 100 long-standing open problems across most areas of mathematics. The pace of its progress in mathematics has surprised the mathematicians within OpenAI.
I think OpenAI realized they rushed out Navier–Stokes, creating controversy that overshadowed the achievement. This post sounds like a good reset.