PhD in naturalism (stamp-collecting AI proofs), not a PhD in math. The AI is the one earning the PhD in math.