Mustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day agoOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comexternal-linkmessage-square63linkfedilinkarrow-up1267arrow-down17
arrow-up1260arrow-down1external-linkOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comMustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day agomessage-square63linkfedilink
minus-squaredeeprlyeh@lemmus.orglinkfedilinkEnglisharrow-up25arrow-down1·23 hours agoAlso all ML models have some accuracy less than 100%, that means you can’t trust it. The whole point in the proof is perfection
minus-squareFauxLiving@lemmy.worldlinkfedilinkEnglisharrow-up13·21 hours agoThe proofs are written in Lean so, like in all mathematics, you don’t have to trust the person because you can independently verify the proof.
minus-squareAatube@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up1arrow-down1·23 hours agodeleted by creator
Also all ML models have some accuracy less than 100%, that means you can’t trust it. The whole point in the proof is perfection
The proofs are written in Lean so, like in all mathematics, you don’t have to trust the person because you can independently verify the proof.
deleted by creator