> without a better model in the wing

I believe Astra is the next model beyond Sol? They used it for https://openai.com/index/ten-advances-in-mathematics/