[thaumasiotes]

It is generally not the case in any area of math that "all the big results are already proven".

[bo1024]

True. But, well, for instance, all the finite simple groups are classified.

(Not in the sense of the NSA.)