Comment by maxwells-daemon
2 days ago
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!
Aren't the best proofs very short?
"Best" is subjective. Proofs can get very long especially for the harder ones mathematicians are tackling these days.
no you don't
https://www.reddit.com/r/singularity/comments/1pv3nl3/commen...
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”.