I've formally verified hardware for a living. All of us doing the verification had PhDs. Average hardware has much higher quality than the average code that run

I've formally verified hardware for a living. All of us doing the verification had PhDs. Average hardware has much higher quality than the average code that runs in your browser tab.