The tittle first mislead me because I thought somebody generated a theorem-prover smart enough to find something worth publishing (note: I know nothing about co

The tittle first mislead me because I thought somebody generated a theorem-prover smart enough to find something worth publishing (note: I know nothing about computer generated proofs of theorems). After reading the "article" I found it obvious it was void of sense. "Let \rho = A", what is A? And who on earth would bother to write 0 as tan(\intfy^{-1}) ?? There are also proofs "left as an exercise to the reader"! Amongs many others those are obvious clues that the article is just a joke. But thanks to that I know that the journal "Advances in Pure Mathematics" is a scam...