The AI takeover of mathematics — Trace