OpenAI's Astra JUST solved math...