Hacker News new | ask | show | jobs
by XMPPwocky 34 days ago
> The difference is that when a human reasoner goes to solve a problem, they'll think "this kind of proof usually goes this way" - following an explicit rule enforcement.

How is this different from "probabilistic pattern selection"?

1 comments

Because... it's just different, that's all! OK?