For this reason, when we announce results on e.g. the IMO, we formalize the statements by hand and inspect the proofs carefully to ensure they capture the full spirit of the problem.

However, there are some good heuristics. If you expect a problem to be hard and the proof is very short, you've probably missed something!

▲

tomjen3 17 hours ago | parent | next [-]

Aren't the best proofs very short?

	▲	j_maffe 15 hours ago \| parent [-]
		"Best" is subjective. Proofs can get very long especially for the harder ones mathematicians are tackling these days.

▲

bytesandbits a day ago | parent | prev [-]

no you don't

https://www.reddit.com/r/singularity/comments/1pv3nl3/commen...

	▲	minitech 21 hours ago \| parent [-]
		That doesn’t look like a counterexample to “we formalize the statements by hand and inspect the proofs carefully to ensure they capture the full spirit of the problem”.