They’re wrong, it can write proofs perfectly. I think it has limited characters (ASCII) available to express certain concepts however; if it could freely use laTex I think it would be able to accomplish exactly what we’re discussing.

I asked it to prove all kinds of math problems ranging from simple (using mathematical induction, direct proof, contradiction to prove things) to complex (prove certain functions f: Z -> Z are injective, surjective, or bijective (both), prove that the cardinality of Z, set of all integers, is less than R, set of all real numbers) and in the cases I tried, the proofs were sufficient. Remarkable.