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