AI Tech Things I Would Pay For: Invariant Testing Someone should build proof-based invariant testing for software programs with a natural language interface.