What Happens When the World is Run on Code No One Understands?

Mathematical verification must be a national mission in the AI era, write Patrick Shafto, Ken Ono, and Scott Duke Kominers.

Raccontata datime.com