3 ms·
For a mathematician, it's not the output of pruning the search space, but understanding how the search space is pruned. Understanding how ML models work is a n
by yaseer 4y ago
For a mathematician, it's not the output of pruning the search space, but understanding how the search space is pruned.
Understanding how ML models work is a notorious problem.
A classical algorithm can be formally understood better - I think it's this mathematical understanding Gowers is looking for.
- amelius 4y agoBut isn't that how humans do it too? They have a hunch, pursue it, and if it doesn't work out, they backtrack. Of course, some people have better hunches than others, but that doesn't change the global idea.
- jhgb 4y ago...and they largely don't know where those hunches came from.
- tsukikage 4y ago...well, quite. But that's not really the "move along, nothing to see here" it first sounds like. "Hunch" is a label we use for "I don't know explicitly how I came up with this". Generally, when we have a label for a concept the description of which starts with "I don't know...", some people try and follow up with questions: is that a thing it is possible, in principle, to know? How could we find out for certain? If it's knowable, how do we get to know what it is? Sometimes, they succeed, and generations of such successes is how we end up with the modern world.
- yaseer 4y ago> They have a hunch, pursue it There's a lot to unpack in just this. Can we define an algorithm to generate hunches? (mathematical intuition). Given infinite hunches, can we define an algorithm to order hunches by priority, to search? That's the kind of question they'll be thinking about using the symbolic logic/classical algorithms in GOFAI approaches.