Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak ...