This is extremely cool! Is this the first type of tools that are genuinely enabled by AI?

Can we distill the story into something to feed z3 to prove there are no plot holes?