Some people are just out there doing automated math proofs for reasons. If you want understanding, value, and edification, that is on you, not them.