AI-driven mathematical discovery poses an imminent threat to elliptic-curve cryptography