Was the proof correct?
No you see people that use AI generally don't bother to consider this unimportant detail. Or they ask the AI to "double check" its work.