If the AI is going to lie and cheat on the code it writes (this is the largest t...

gttalbot 10 months ago | parent | context | favorite | on: AI will make formal verification go mainstream

If the AI is going to lie and cheat on the code it writes (this is the largest thing I bump into regularly and have to nudge it on), what makes the author think that the same AI won't cheat on the proof too?