beep@piefed.world to Technology@lemmy.worldEnglish · 1 day agoMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square42fedilinkarrow-up154file-text
arrow-up154external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to Technology@lemmy.worldEnglish · 1 day agomessage-square42fedilinkfile-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 hours 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.