AI's potential to speed up scrutiny of cryptographic assumptions · Digg