By devising and verifying proofs, AI is changing how maths is done. To learn how, register to read the full story (it’s free) https://www.economist.com/science-and-technology/2026/04/08/ai-models-could-offer-mathematicians-a-common-language?taid=69da331a5fcb6f0001a7007a&utm_campaign=trueanthem&utm_medium=social&utm_source=voante