There you go arguing in bad faith again by putting words in my mouth and reducing the nuance of what was said.
You do know dissertations are articles and don't constitute any form or rigorous proof in and of themselves? Seems like you have a very rudimentary understanding of English, which might explain why you keep struggling with semantics. If that is so, I apologise because definitions are difficult when it comes to language, let alone ESL.
I didn't dispute that NNs can arrive at a theorem. I debate whether they truly understand the theorem they have encoded in their graphs as you claim.
This is a philosophical/semantical debate as to what "understanding" actually is because there's not really any evidence that they are any more than clever pattern recognition algorithms driven by mathematics.