[ai4ever]

thats 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]

Probably because of Google's recent math olympiad results using AI-directed search in formal proof systems.

[stale2002]

> 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.