All the drama around AI’s takeover of mathematics · Bharat Hunt