Astra reportedly used to improve a result from OpenAI's math dump · Digg