Lady Butterfly she/her@reddthat.com to Technology@lemmy.worldEnglish · 15 hours agoZuckerberg hailed AI ‘superintelligence’. Then his smart glasses failed on stage | Matthew Cantorwww.theguardian.comexternal-linkmessage-square98fedilinkarrow-up1437arrow-down16
arrow-up1431arrow-down1external-linkZuckerberg hailed AI ‘superintelligence’. Then his smart glasses failed on stage | Matthew Cantorwww.theguardian.comLady Butterfly she/her@reddthat.com to Technology@lemmy.worldEnglish · 15 hours agomessage-square98fedilink
minus-squareiopq@lemmy.worldlinkfedilinkEnglisharrow-up1arrow-down2·8 hours agoA Math PhD will eventually make a simple arithmetic mistake if you ask them to do enough problems. That doesn’t invalidate more difficult proofs they have published in papers
minus-squareUnderpantsWeevil@lemmy.worldlinkfedilinkEnglisharrow-up5·8 hours ago A Math PhD will eventually make a simple arithmetic mistake if you ask them to do enough problems. Which is why we don’t designate a single Math PhD as a definitive source for all mathematical wisdom. That doesn’t invalidate more difficult proofs If I’m handed a proof with a simple arithmetic mistake in the logic, that absolutely invalidates it
minus-squareiopq@lemmy.worldlinkfedilinkEnglisharrow-up1·13 minutes agoBut you didn’t say that. You said you can’t trust something that makes basic mistakes. Humans make them all the time. You can’t trust any human?
A Math PhD will eventually make a simple arithmetic mistake if you ask them to do enough problems. That doesn’t invalidate more difficult proofs they have published in papers
Which is why we don’t designate a single Math PhD as a definitive source for all mathematical wisdom.
If I’m handed a proof with a simple arithmetic mistake in the logic, that absolutely invalidates it
But you didn’t say that. You said you can’t trust something that makes basic mistakes. Humans make them all the time. You can’t trust any human?