According to Astra, OpenAI’s results include ≈2 new solutions to FMOP problems (out of 40 left) and 12 new on FM Erdős (out of 63). Also we can take 372-722/4000… something like a 5-20% chance this model+compute solves an arbitrary open problem of ≈substantial interest.