AI challenges maths by solving the unsolvable
Announcements over recent months that artificial intelligence models have cracked previously unsolvable problems are shaking to the core top-level mathematicians, who are now asking themselves: where do we come in?