Comment by killerstorm
15 hours ago
My man, math is pattern matching, not magic. So is logic. And computation.
Please learn the basics before you discuss what LLMs can and can't do.
15 hours ago
My man, math is pattern matching, not magic. So is logic. And computation.
Please learn the basics before you discuss what LLMs can and can't do.
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?
When an LLM does it, it's pattern matching.
RL training amounts to pattern matching.
How does an LLM decode Base64? Decode algorithm? No - predictive pattern matching.
An LLM isn't predicting what a person thinks - it's predicting what a person does.
Nah, its all pattern matching. This is how automated theorem provers like Isabelle are built, applying operations to lemmas/expressions to reach proofs.
I'm sure if you pick a sufficiently broad definition of pattern matching your argument is true by definition!
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.
Automated theorem provers are also built around backtracking, which is absent in LLMs.