beep@piefed.world to Technology@lemmy.worldEnglish · 3 days agoMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square42linkfedilinkarrow-up11arrow-down10file-textcross-posted to: [email protected]
arrow-up11arrow-down1external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to Technology@lemmy.worldEnglish · 3 days agomessage-square42linkfedilinkfile-textcross-posted to: [email protected]
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-up0·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