All the drama around AI’s takeover of mathematics. theverge.com