3 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 9mo 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 9mo 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 9mo ago
Aren't the best proofs very short?
- j_maffe 9mo ago
  "Best" is subjective. Proofs can get very long especially for the harder ones mathematicians are tackling these days.