alt Hacker NewsI don't understand why this is even a problem. If current models can formally verify vast amounts of software, couldn’t you use it to build a sandbox with formally verified guarantees against leaks?
I don't understand why this is even a problem. If current models can formally verify vast amounts of software, couldn’t you use it to build a sandbox with formally verified guarantees against leaks?
Do the agents build the IP networking stack from scratch? What about the operating system? What about the microprocessor? You can’t formally verify everything.