AI is helping seismologists find the next monster earthquake