A CS theory PhD thesis reportedly completed without LLMs · Digg