In that case, you might find interesting these two short explanations I posted to Reddit about Siegel zeros (the second is a continuation of the first) :)
The class number formula, mentioned in the second comment, is one of the craziest "bridge results" in all of math (meaning a result that connects two seemingly disparate areas). The class number formula connects the values of Dirichlet L-functions at s = 1 (Dirichlet L-functions are complex functions related to the distribution of primes in arithmetic progressions), to class numbers of number fields. (Remember that the value of Dirichlet L-functions at 1 is exactly what the question of Siegel zeros concerns.)
To give a crash course on what some of those words mean:
1. A number field is what you get when you take the rational numbers, and you throw in the roots of some polynomials to get a bigger object where you can still do all of the usual arithmetic operations, in the same way that we throw in the roots of x^2 + 1 (namely, i, -i) into the real numbers to get the complex numbers.
2. The ring of integers is the right notion of the "integers" in that number field. (That is, rational numbers : integers = number field : ring of integers in that number field.)
3. The class number of a number field tells you how close you are to having unique factorization into primes holding in the ring of integers of that number field*. If the class number is 1, then you have unique factorization; if the class number is 1000, then you are very far from it.
What this connections means is that you can prove things about regular old primes in arithmetic progressions (in the integers) by proving things about these exotic / abstract primes (in rings of integers of number fields), and vice-versa.
Anyway, as a result of the class number formula, there are a lot of results about class numbers that are ineffective because of Siegel's theorem too, e.g., https://en.wikipedia.org/wiki/Brauer%E2%80%93Siegel_theorem. Zhang's result (if correct) would make all of those effective, too.
*While in the integers, it is true that every number factors uniquely into a product of primes, this is unfortunately not true in more general contexts. In fact, algebraic number theory basically began with a mistaken proof of Fermat's Last Theorem, which was mistaken precisely because it assumed that unique factorization always holds in this more general context, which is not true. (If unique factorization did always hold, then that proof of FLT would have been correct.)
Please, keep going. This is good reading.