What it Means to Be a Mathematician When AI Does the Math — Blankdot