OpenAI’s math breakthrough exposes the next weak link in crypto security

Its Navier–Stokes claim suggests a possible role for AI in contract verification, where flawed specifications can leave vulnerabilities undetected.