Mustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day agoOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comexternal-linkmessage-square83fedilinkarrow-up137
arrow-up137external-linkOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comMustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day agomessage-square83fedilink
minus-squareNotAnOtter@lemmus.orglinkfedilinkEnglisharrow-up3·6 hours agoIt’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.
minus-squarepigup@lemmy.worldlinkfedilinkEnglisharrow-up1·51 minutes agoI 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
minus-squareNotAnOtter@lemmus.orglinkfedilinkEnglisharrow-up1·41 minutes agoYeah 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”
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”