Mustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · há 17 diasOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comexternal-linkmessage-square88linkfedilinkarrow-up1341arrow-down19
arrow-up1332arrow-down1external-linkOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comMustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · há 17 diasmessage-square88linkfedilink
minus-squareNotAnOtter@lemmus.orglinkfedilinkEnglisharrow-up3arrow-down1·há 16 diasIt’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·há 15 diasI 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·há 15 diasYeah 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”