beep@piefed.world to Technology@lemmy.worldEnglish · 2 months agoMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square46linkfedilinkarrow-up160arrow-down126file-text
arrow-up134arrow-down1external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to Technology@lemmy.worldEnglish · 2 months agomessage-square46linkfedilinkfile-text
cross-posted from: https://piefed.world/c/tech/p/1309816/mathematicians-are-grappling-with-the-possibility-that-ai-might-eclipse-them
minus-square8baanknexer@lemmy.worldlinkfedilinkEnglisharrow-up1·2 months agoHow so? Particularly in intuitionist logic it would seem to me that they are the same thing.
How so? Particularly in intuitionist logic it would seem to me that they are the same thing.