Mathematical verification must be a national mission in the AI era, write Patrick Shafto, Ken Ono, and Scott Duke Kominers.
  • phil@openmic.socialEnglish
    2·
    11 days ago

    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?