Both tools have a point, just different ones ...
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.