The maths department in my uni receives (or did when I was there) several proofs every year on general formulas to solve equations of degree >5.