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

		gttalbot 16 days 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?