Codebase

Existing codebases block AI formal verification

Hillel Wayne argues that handing a legacy codebase to AI won't simply yield a proof or a bug: the codebase itself often lacks the preconditions formal verification requires.