Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI’s Astra model, continuing a hot streak of AI-driven breakthroughs that are shaking up the field