RSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agoLLMs don't do formal reasoning – and that is a HUGE problemgarymarcus.substack.comexternal-linkmessage-square0fedilinkarrow-up16arrow-down11file-textcross-posted to: [email protected]
arrow-up15arrow-down1external-linkLLMs don't do formal reasoning – and that is a HUGE problemgarymarcus.substack.comRSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agomessage-square0fedilinkfile-textcross-posted to: [email protected]