|
|
|
|
|
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"? |
|