It's a 20/80 rule thing.
Coming up with a proof is the first 20% of work. Actually checking and validating the proof is the next 80% of work.
It's a 20/80 rule thing.
Coming up with a proof is the first 20% of work. Actually checking and validating the proof is the next 80% of work.