Theorems with hard proofs that have dramatically improved over time