RSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agoTurns out Generative AI was a scamgarymarcus.substack.comexternal-linkmessage-square53linkfedilinkarrow-up1225arrow-down113file-text
arrow-up1212arrow-down1external-linkTurns out Generative AI was a scamgarymarcus.substack.comRSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 2 months agomessage-square53linkfedilinkfile-text
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.