AI-driven mathematical research poses an imminent threat to mainstream blockchain encryption