Earlier quoted context omitted.
I'm no expert on math but "math is pattern matching" really sounds wrong. Maybe programming is mostly pattern matching but modern math is built on theory and proofs right?
Nah, its all pattern matching. This is how automated theorem provers like Isabelle are built, applying operations to lemmas/expressions to reach proofs.
Unfortunately that has nothing to do with the topic of discussions, which is the capabilities of LLMs, which may require a more narrow definition of pattern matching.