Maths enters its AI era

Not long ago, AI models struggled with basic arithmetic. Now, they’re solving complex mathematical conjectures. But researchers want to go further. They think AI could help them organise the mathematical literature into a common language—thereby finding connections between hitherto-disparate fields and, perhaps, even making completely new discoveries in one of the most fundamental areas of human inquiry.