So perhaps it could produce convincing looking proofs that are ultimately nonsensical. It could generate math problems and have students try them out. Might be

So perhaps it could produce convincing looking proofs that are ultimately nonsensical. It could generate math problems and have students try them out. Might be a bit of fun.