Theorems with hard proofs that have dramatically improved over timemathoverflow.net2 pointsgone35a year ago