Mathematical verification must be a national mission in the AI era, write Patrick Shafto, Ken Ono, and Scott Duke Kominers.
  • 4am@lemmy.zipEnglish
    3·
    il y a 11 jours

    Forget that, what happens when the world is run by models no one understands?

  • phil@openmic.socialEnglish
    2·
    il y a 8 jours

    Lack of context is a huge issue in software development.

    When a bank or medical company leak PII all over the internet, do you think the investigator is going to accept “But I didn’t know DeepSeek was sending all of my code back to China” is going to fly?