beep@piefed.world to Technology@lemmy.worldEnglish · 2 个月前Mathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square46linkfedilinkarrow-up161arrow-down126file-text
arrow-up135arrow-down1external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to Technology@lemmy.worldEnglish · 2 个月前message-square46linkfedilinkfile-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 个月前LLM 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