331
OpenAI Is Pissing Off a Bunch of Mathematicians—Again
(www.wired.com)
This is a most excellent place for technology news and articles.
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.
I learned it as 80/20 rule where the first 80% of progress is made with 20% of effort, and the last 20% of progress takes 80% of the effort.
It's true im many layers deep in it help
Yeah same idea. Another good one along the same lines is
“We didn’t do this because it’s easy. We did it because we thought it would be easy”