AI models could potentially accelerate the process of gaining confidence in new cryptographic assumptions from a decade to as little as a month