beep@piefed.world to Technology@lemmy.worldEnglish · 2 days agoMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square46fedilinkarrow-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 days agomessage-square46fedilinkfile-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·1 day 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.