Aakash GuptaLead source
The Pentagon once hired pro hackers to break into a helicopter mid-flight with two test pilots on board. They couldn't, because its core software had been mathematically proven to work exactly as designed. That proof took experts four years and about $6 million. Google's AI just did the same kind of proof on the code that encrypts your Signal messages, and it took four weeks. Pretty much every app on your phone gets tested before it ships. Engineers throw millions of inputs at the code and fix whatever breaks. The problem is you only catch what somebody thought to try. A math proof covers every possible input at once, the way a geometry proof holds for every triangle, including the ones nobody ever drew. Almost nobody bothers with proofs because they're brutal to write. That helicopter…Read original on X