• pancake@lemmygrad.ml
    link
    fedilink
    English
    arrow-up
    4
    arrow-down
    1
    ·
    19 days ago

    Just ask any model to write minimally complex formally verified code and watch it crash and burn.