How can AI assist in mathematical research? · Digg