Marcel Waldvogel on Nostr: npub1qhmzu…p0eyw npub19qm2t…9sn8k Reasoning is a two-step (at least) process: ...
npub1qhmzuxtahvn8ncphsw9sgv7h8054rm2smn7nzsy0wu6xttqdjcrswp0eyw (npub1qhm…0eyw) npub19qm2trjs3p32nwqwry4ufxl4fk9q4utkq53ywueg0yk8cvggra5s79sn8k (npub19qm…sn8k) Reasoning is a two-step (at least) process:
First, you try to determine which combination of patterns might match your problem. For this, ML/LLM style soft pattern matching techniques *may* produce some reasonable matches.
But the next step is to do verification, whether/how your idea turns out. In this step, hard pattern matching is required. Math, symbolic computation, theorem provers, that kind of thing. Not suited for LLMs and friends.
First, you try to determine which combination of patterns might match your problem. For this, ML/LLM style soft pattern matching techniques *may* produce some reasonable matches.
But the next step is to do verification, whether/how your idea turns out. In this step, hard pattern matching is required. Math, symbolic computation, theorem provers, that kind of thing. Not suited for LLMs and friends.