RSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agoTurns out Generative AI was a scamgarymarcus.substack.comexternal-linkmessage-square54linkfedilinkarrow-up1227arrow-down113file-textcross-posted to: technology@lemmy.world
arrow-up1214arrow-down1external-linkTurns out Generative AI was a scamgarymarcus.substack.comRSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agomessage-square54linkfedilinkfile-textcross-posted to: technology@lemmy.world
minus-squarepancake@lemmygrad.mllinkfedilinkEnglisharrow-up4arrow-down1·2 months 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.