• bitcrafter@programming.dev
    link
    fedilink
    arrow-up
    17
    ·
    8 months ago

    Unfortunately, the next step is for AI to get better and better at generating verification trails that look correct but are not.