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-squareCubitOom@infosec.publinkfedilinkEnglisharrow-up14·21 hours agoLLM mathematical proof exploits theorem proover bugs [to get false statement to be “proven” true] https://infosec.exchange/@0xabad1dea/117002106099986943
LLM mathematical proof exploits theorem proover bugs [to get false statement to be “proven” true]
https://infosec.exchange/@0xabad1dea/117002106099986943