RSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 24 hours agoTurns out Generative AI was a scamgarymarcus.substack.comexternal-linkmessage-square49linkfedilinkarrow-up1203arrow-down110file-text
arrow-up1193arrow-down1external-linkTurns out Generative AI was a scamgarymarcus.substack.comRSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 24 hours agomessage-square49linkfedilinkfile-text
minus-squarepancake@lemmygrad.mllinkfedilinkEnglisharrow-up4·20 hours agoJust ask any model to write minimally complex formally verified code and watch it crash and burn.
Just ask any model to write minimally complex formally verified code and watch it crash and burn.