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-squareCubitOom@infosec.publinkfedilinkEnglisharrow-up16·2 days 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