This is quite an historical day. 90 of the top 500 problems have been fully resolved. Many more were partly resolved by OpenAI's internal pro model used in the Navier–Stokes solution in September, which was averaging 3 hours per solution.
The model is "significantly more capable than GPT‑6 Astra".