Mike Vernal uses Claude to find specific sequence in pi · Digg