And no one should be surprised by this. The NN advancement of late doesn't help addressing human-style symbolic reasoning at all. All we have is a much more powerful function approximator with a drastic increased capacity (very deep networks with billions of parameters) and scalable training scheme (SGD and its variants). Such architecture works great for differentiable data, such's images/audios, but the improvement…
Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
51–60 of 181 posts
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#52Not to mention that we don't even know if general intelligence exists. All we know is that mental abilities tend to correlate, but not why they tend to correlate. And if you think about designing machines, in general, the idea of general intelligence is utterly ridiculous. Does a fast car have general speediness? Of course not, it has dozens or hundreds of discrete optimizations that all contribute in some degree to…
edit: In terms of Turing-completeness analogues, the best candidate for AGI I think would be simply brute force capability: can this agent try all possible solutions until it solves this problem? (obviously using a heuristic to prioritize) -- that is, it'd employ a form of Universal Search[1] (aka Levin Search). Humans don't necessarily pass this test rigorously because we'd always get bored with a problem and because we have finite memory. But then CPUs are not truly Turing complete either (it's "just" a good model).
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#53Earlier quoted context omitted.
We know the brain is doing something - if you don't want to call it computation, then you might as well call it magic.
There are other possibilities. For example, there can be an immaterial mind that operates as a halting oracle and interfaces with the world through the brain. Halting oracles are well defined, and we can empirically test for their existence. So, no reason why we have to assume everything humans do is reducible to some sort of automata. The only reason we make the assumption is because of prior materialistic commitmen…
Making any program halting program is trivial: add executed instructions counter, halt program at some value of the counter. Proving that an arbitrary program halts is an entirely different task.
> So, the fact that we cannot solve some problems does not imply we are not halting oracles.
If it's allowed to not solve some problems, then I can write such an oracle:
Run a program for a million steps. If program has halted, output "Halts", otherwise output "Don't know".
It can't solve some problems, but by your logic it doesn't imply it's not a halting oracle. You are missing something.
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#54Don't believe me? Check out this series of marketing videos on YouTube by GM Matthew Sadler.
1. “Hi, I’m GM Matthew Sadler, and in this series of videos we’re taking a look at new games between AlphaZero, DeepMind’s general purpose artificial intelligence system, and Stockfish” (1)
2. “Hi, I’m GM Matthew Sadler, and welcome to this review of the World Champinship match between Magnus Carlsen and Fabiano Caruana. And it’s a review with a difference, because we are taking a look at the games together with AlphaZero, DeepMind’s general purpose artificial intelligence system...” (2)
3. “Hi, I’m GM Matthew Sadler, and in this video we’ll be taking a look at a game between AlphaZero, DeepMind’s general purpose artificial intelligence system, and Stockfish” (3)
I could go on, but you get my point. Search youtube for "Sadler DeepMind" and you'll see all the rest. This is a script.
But wait, you say, that's just some random unaffiliated independent grandmaster who just happens to be using an inaccurate script on his own, no DeepMind connection at all! And to that I would say, check out this same random GM being quoted directly on DeepMind's blog waxing eloquently and rapturously about AlphaZero's incredible qualities. (4)
Let's be clear. I am in no way dismissing AlphaZero's truy remarkable abilities in both chess and other games like go and shogi. Nor do I have a problem with Demis Hassabis making headlines for stating the obvious about deep learning (that it's good at solving certain limited types of puzzles, but we are a long way from AGI, why is this controversial).
My problem is that Hassabis is speaking out of both sides of his mouth. Increasing DeepMind/Google's value by many millions with his marketing message, while acting like he's not doing that. It feels intellectually dishonest.
To solve this, all DeepMind needs to stop instructing its Grandmaster mouthpieces to refer to AlphaZero as a "general articial intelligence system". Let's see how long that takes.
(1) https://www.youtube.com/watch?v=2-wFUdvKTVQ&t=0m10s (2) https://www.youtube.com/watch?v=X4T0_IoGQCE&t=0m05s (3) https://www.youtube.com/watch?v=jS26Ct34YrQ&t=0m05s (4) https://deepmind.com/blog/alphazero-shedding-new-light-grand...
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#55And no one should be surprised by this. The NN advancement of late doesn't help addressing human-style symbolic reasoning at all. All we have is a much more powerful function approximator with a drastic increased capacity (very deep networks with billions of parameters) and scalable training scheme (SGD and its variants). Such architecture works great for differentiable data, such's images/audios, but the improvement…
Hmm, it seems like natural language translation has been getting quite a bit better with statistical techniques, though? I guess it depends what you mean by "only incremental".
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#56Behind every successful neural network is a human brain. Neural networks are a tool, an advanced tool for sure, but still just a tool. If we are looking for AGI, and assuming the brain is an AGI, then there are still many differences to resolve. For example, back propagation has not been observed in nature. Nor has gradient descent. So the core mechanisms for learning in nature have still to reveal their secrets.
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#57Earlier quoted context omitted.
We know the brain is doing something - if you don't want to call it computation, then you might as well call it magic.
There are other possibilities. For example, there can be an immaterial mind that operates as a halting oracle and interfaces with the world through the brain. Halting oracles are well defined, and we can empirically test for their existence. So, no reason why we have to assume everything humans do is reducible to some sort of automata. The only reason we make the assumption is because of prior materialistic commitmen…
Why not? Are you aware of a proof of this? I think you are limiting the capabilities of Turing machines without evidence.
> Unlike the game AIs that repeatedly try to walk through walls.
Game AIs capabilities are a small subset of what a Turing machine can do. Most game AIs can't do speech recognition or solve math equations either.
> We programmers write halting programs with great regularity.
So do other programs. Writing a halting program is not an uncomputable problem, and doesn't require solving the halting problem.
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#58And no one should be surprised by this. The NN advancement of late doesn't help addressing human-style symbolic reasoning at all. All we have is a much more powerful function approximator with a drastic increased capacity (very deep networks with billions of parameters) and scalable training scheme (SGD and its variants). Such architecture works great for differentiable data, such's images/audios, but the improvement…
You think symbolic reasoning is not a function? In what sense do you think 'symbolic reasoning' is a distinct thing from 'function approximation'?
Re: Geoffrey Hinton and Demis Hassabis: AGI is nowhere close to being a reality
#59Behind every successful neural network is a human brain. Neural networks are a tool, an advanced tool for sure, but still just a tool. If we are looking for AGI, and assuming the brain is an AGI, then there are still many differences to resolve. For example, back propagation has not been observed in nature. Nor has gradient descent. So the core mechanisms for learning in nature have still to reveal their secrets.
But yes, it's extremely unlikely that nature implements backpropagation directly, as it relies on non-local gradients.