I let Ai prove a simple statement, but something was wrong. So then I tried to correct it that 6 does divide 6, but I accidentally typed "6 does not divide 6", and then he even said ye ye myfault, 6 doesn't divde 6 lol. My man can't even do fundamental division.