Mustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 4 days agoOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comexternal-linkmessage-square83linkfedilinkarrow-up1338arrow-down18
arrow-up1330arrow-down1external-linkOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comMustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 4 days agomessage-square83linkfedilink
minus-squareNotAnOtter@lemmus.orglinkfedilinkEnglisharrow-up3·3 days 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·3 days 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·3 days 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”