@ZachWeinersmith I mean....people in general don't care much about mathematical proofs, from AI or any other source. I'd be surprised if 1 person in 1000 has ever read any mathematical proof at all. But about half of the planet will, at some point, care about having a girlfriend.