2 ms·
>the software they produce needs to work reliably The word "need" is an extreme overstatement here. The vast majority of software out there is unreliable. If a
by falcor84 2y ago
>the software they produce needs to work reliably
The word "need" is an extreme overstatement here. The vast majority of software out there is unreliable. If anything, I believe it is AI that can finally bring formally verified software into the industry, because us regular human devs definitely aren't doing that.
- ai4ever 2y agothats a fair statement to say that humans cannot be the gatekeepers for accuracy or reliability. but why should the solution involve AI (thats just the latest bandwagon)? formal verification of software has a long history which has nothing to do with AI.
- cma 2y agoProbably because of Google's recent math olympiad results using AI-directed search in formal proof systems.
- stale2002 2y ago> but why should the solution involve AI Because AI is able to produce lots of results, covering a wide range of domains, and it can do so cheaply. Sure, there are so quality issues. But that is the case for most software.
- dartos 2y agoWhat part of “AI” implies “formally verified?”