The cryptographers who responded to Drake’s statement mostly accept that AI is disrupting mathematics, but dispute his inference. Yehuda Lindell wrote that AI proving hard theorems "does not indicate in any way that problems assumed to be hard are not." JP Aumasson added that if the mathematical problem behind ECC is hard, no efficient algorithm exists for any AI to discover.
That hardness remains unproven, a point Daniel J. Bernstein has long made, and the OpenAI results do not settle it either way.
There is no doubt that AI can accelerate attacks on cryptography. In July, Anthropic's Claude Mythos Preview found a structural weakness in HAWK, a recent lattice-based signature scheme, prompting its withdrawal from NIST’s post-quantum signature evaluation. More recently, within a week of China publishing its next-generation cryptography candidates, AI-assisted researchers found several critical vulnerabilities, including key recovery.
As Drake notes, none of the OpenAI manuscripts concerns cryptography. In a release this broad, the omission is striking: it leaves open the possibility that results in cryptanalysis, perhaps a weakening rather than a full break, were kept back. We cannot know what has not been released, or expect complete visibility into such work. That uncertainty is a reason for the protocol work to prepare for the worst rather than wait for more explicit signs of an attack.
The same logic predates this debate: some Bitcoin developers have already argued for post-quantum signatures even if CRQCs never arrive, since elliptic curve cryptography could be weakened by classical advances, with or without AI.