6 ms·

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

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!

bytesandbits 8mo ago
no you don't https://www.reddit.com/r/singularity/comments/1pv3nl3/comment/nvtlgqb/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=share_button https://www.reddit.com/r/singularity/comments/1pv3nl3/commen...
- minitech 8mo ago
  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”.
tomjen3 8mo ago
Aren't the best proofs very short?
- j_maffe 8mo ago
  "Best" is subjective. Proofs can get very long especially for the harder ones mathematicians are tackling these days.