OpenAI's Astra solved 10 decades-old math problems for $2,000

· Dev.to