AI Applications Transform Mathematics Research — Trace