News for hackers. Stuff that matters.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by Voloskaya on Friday August 19, 2022 @06:21PM (#32526693)
> we didn't have the theory or the models, there was no path forward and so it was impossible to predict. Now we have a fairly concrete idea of what a potential AGI might look like - an RL agent that uses a large transformer.

Who is we exactly? As someone working in AI research I know no one that would agree with this statement, so im quite puzzled by that statement.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @07:31PM (#32527370)
> As someone working in AI research

Being in the tail end of my PhD, I want to second this sentiment. I'm not even bullish on AGI (more specifically HLI) in 50 years. Scale will only take you so far and we have to move past frequentism. Hell, causality research still isn't that popular but is quite important for intelligence.

I think people (especially tech enthusiasts) are getting caught in the gullibility gap.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by sigmoid10 on Friday August 19, 2022 @07:54PM (#32527538)
As an AI researcher myself I can definitely see why people used to have these sentiments, but I also have to point out how the big papers of the last ~12 months or so have changed the landscape. Especially multi-modal models like Gato. To my surprise, a lot of people (even inside the community) still tend to put human intelligence on some sort of pedestal, but I believe once a system (or host of systems) achieves a sufficient level of multi-modality, these same people will no longer be able to tell human and machine intelligence apart - and in the end that is the only thing that counts, since we lack a rigorous definition of "understanding" or consciousness as a whole. Transformers are certainly going to become even more general purpose in the future and I'm sure we haven't even seen close to what's possible with RL. Regarding the AGI timescale, I'm a bit more bullish. Not Elon-type "possible end-all singularity in 5 years" but more Carmack-like "learning disabled toddler running on 10k+ GPUs by the end of the decade." Whether RL+transformers will be able to go all the way there is impossible to tell right now, but if I was starting an AGI company today that's definitely the path I would pursue.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:05PM (#32527591)
I'm not sure Gato actually demonstrates intelligence. It definitely does demonstrate the ability to perform a wide variety of tasks, but I don't think that is actually intelligence. Gato has yet to demonstrate that it understands things. I do think it is easy to fall prone to the gullibility gap (and also take too strong of an opposing view, which I may be victim to).
Re:John Carmack's new AGI company, Keen Technologies, has ra... by darawk on Friday August 19, 2022 @08:14PM (#32527654)
How are you defining "understands things"? Or more precisely, what are the observable consequences of understanding things that you are waiting to see?
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:28PM (#32527756)
"Understands things" means a lot. Mostly I'm referring the causality and generalization of inference though.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by darawk on Friday August 19, 2022 @09:04PM (#32527999)
So, what would be the observable, empirical consequences of the kind of causal understanding and generalization of inference you're describing?
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @09:22PM (#32528122)
The common current example? A text prompt of "A horse riding an astronaut" without prompt engineering. Though I don't think the successful production of this image will demonstrate intelligence/causal understanding either (but it is a good counter example).

Causal understanding is going to be a bit difficult to prove tbh.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by darawk on Saturday August 20, 2022 @01:11AM (#32529285)
> The common current example? A text prompt of "A horse riding an astronaut" without prompt engineering. Though I don't think the successful production of this image will demonstrate intelligence/causal understanding either (but it is a good counter example).

I'm not sure why you think this falsifies intelligence. There are plenty of puzzles and illusions that trick humans. The mere presence of conceptual error is no disproof of intelligence, any more than the fact that most humans get the Monty Hall problem wrong is.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Saturday August 20, 2022 @01:37AM (#32529433)
Your argument is that there are adversarial cases? Sure... But that's not what I'm even arguing here. There's more nuance to the problem here that you lack an understanding of. I do suggest diving deep into the research to understand this rather than arrogantly make comments like this. If you have questions, that's a different thing. But this is inappropriate and demonstrates a lack of intimate understanding of the field.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by darawk on Saturday August 20, 2022 @04:36AM (#32530408)
I didn't make an argument that there are adversarial cases, you did. You brought up an adversarial example, and said the existence of that example proves these algorithms are not generally intelligent. If that follows, it follows that the existence of adversarial examples for humans proves the same thing about us.

And in general, if you're going to be condescending, you should actually make the counter argument. You might make fewer reasoning errors that way.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by aquaduck on Friday August 19, 2022 @11:44PM (#32528836)
Counter-argument: DALL-E is smart enough to understand that an astronaut riding a horse makes more sense than a horse riding an astronaut, and therefore assumes that you meant "a horse-riding astronaut" unless you go out of your way to specify that you definitely do, in fact, want to see a horse riding an astronaut.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Saturday August 20, 2022 @01:23AM (#32529350)
Because intelligence is more than frequentism. Being able to predict that a dice lands on a given side with probability 1/6 is not a demonstration of intelligence. It feels a bit naive to even suggest this and I suspect that you aren't a ML researcher (and if I'm right, maybe don't have as much arrogance because you don't have as much domain knowledge).
Re:John Carmack's new AGI company, Keen Technologies, has ra... by Roland3 on Saturday August 20, 2022 @10:47PM (#32536981)
ML layman, asshole expert here. You’re a jerk dude. Stop condescending to your peers.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by random314 on Saturday August 20, 2022 @02:11AM (#32529597)
You will have to do better than make rhetorical arguments.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by andreyk on Friday August 19, 2022 @08:06PM (#32527593)
Gato is definitely cool, but it's worth remembering it was based on supervised learning with data from a bunch of tasks, so data availability is a strong bottleneck with that approach. Still, I'd agree the past year or two have made me more optimistic about HLAI (if not scary AGI).
Re:John Carmack's new AGI company, Keen Technologies, has ra... by sigmoid10 on Friday August 19, 2022 @08:28PM (#32527758)
Yeah, I'm definitely not saying this is already the ultimate solution. But if you look at their scaling experiments and extrapolate the results, it roughly shows how a model with number of parameters on the same order of magnitude as the human brain could more or less achieve overall human level performance. Of course that doesn't mean the architecture has to extrapolate, but it's definitely a path worth walking unless someone proves it's a dead end. In that case I'd replace "end of decade" with 10 to 20 years in my above statement.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:36PM (#32527807)
Except it is pretty naive to extrapolate like that. A high order polynomial looks flat if you zoom in enough. You can't extrapolate far beyond what you have empirical data for without potentially running into huge problems.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by sigmoid10 on Friday August 19, 2022 @08:45PM (#32527862)
How do you know what the function looks like? Unless someone shows that this scaling behaviour breaks down, it is definitely worth pursuing, since the possible benefits are obvious. Everyone who just says it will break down eventually is almost certainly right, but this is also a completely trivial and worthless prediction by itself. The important distinction is that noone knows where the breakdown happens. And from what we can tell today, it's not even close.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:55PM (#32527935)
I think your viewpoint is the more naive one and I think you have the burden of proof to argue why local trends are representative of global trends. This is because the non-local argument accepts a wider range of possibilities and the local argument is the the more specific one. Think of it this way, I'm saying that every function looks linear given the right perspective and you're arguing that a particular function _is_ linear. I'm arguing that we don't know that. The burden of proof would be on you to prove that this function were linear beyond what we have data for. (Path towards HLI doesn't have to be linear, exponential, nor logarithmic but you do have to make a pretty strong argument to convince others that the local trend is generalizable).
Re:John Carmack's new AGI company, Keen Technologies, has ra... by sigmoid10 on Friday August 19, 2022 @09:05PM (#32528007)
You are arguing completely beside the original point. Gato was just meant as one surprising example out of many to show how much more the architectures we already have today are capable of. Whether you believe how the scaling curve for this very particular model will work in detail is totally irrelevant to me or anyone else and I'm not trying to convince you of anything. I was just pointing out that there is a clear direction for future research and if you think people like Carmack are on the wrong path - so be it. You don't have to pursue it as well. But I don't care and he certainly doesn't either.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @09:24PM (#32528131)
I understood your argument, in the context of the discussion we've been having, that Gato was a good example of us being on a good path towards building intelligent machines. I do not think Gato demonstrates that.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by idontpost on Friday August 19, 2022 @09:27PM (#32528146)
You're missing the point.

The point isn't that we can or cannot extrapolate. The point is that it is worth investigating to see if the trend line holds up.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @09:35PM (#32528187)
I think it is pretty disingenuous to read my comments as not wanting to investigate. I definitely do. I did say I'm an ML researcher and I do want to see HLI in my lifetime. But I also think we should invest in other directions as well.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by nradov on Friday August 19, 2022 @08:31PM (#32527774)
If you review the history of AGI research going back to the 1960s, there have been multiple breakthroughs which convinced some researchers that success was close. Yet those all turned out to be mirages. You're probably being overly optimistic, and the Gato approach will eventually run into a wall.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by sigmoid10 on Friday August 19, 2022 @08:38PM (#32527817)
Gato is just one tiny glimpse out of many, and the combined research effort both from academia and industry and the level of success has never even come close throughout history to the things we are seeing right now.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by Melting_Harps on Saturday August 20, 2022 @08:52AM (#32531687)
> I think people (especially tech enthusiasts) are getting caught in the gullibility gap.

I think it's that coupled with inserting their own often fanciful projections to fill the void and gaps between the lack of understanding how the mechanics works. Here is a good example of influencers laboring under this narrative [0] and a glimpse as to why it's so effective and pervasive.

I'm conflicted, because I think this is precisely what keeps many Corps and VCs throwing money into this tech thinking it's just right around the corner, as, I'm also studying AI and ML, but I also realize how implausible AGI is in my lifetime given where we are and how narrow parameters these algos function in to yield some degree of accuracy and more specifically how many errors there are to do so as it's just part of the process--learning how gradient descent works was pretty eye opening.

The Marketing has made many people not just fall into a gullibility gap as they make it seem like some sort of black magic, when it's really just statistics fed with immense amounts of specific data, but influncers make it seem like it's capable of ending the World (Elon) when in reality people should be more worried about big tech's capability at aggregating data points from info people willfully post online to exclude you or cluster you into a certain group because of your use of free apps and selling it the highest bidder which are tied to your real ID. Or the algos with weights (biases) that are used and bundled into outsourced/automated HR solutions.

0: https://youtu.be/jdIyNMkusLE?t=1268

Re:John Carmack's new AGI company, Keen Technologies, has ra... by evrydayhustling on Friday August 19, 2022 @08:49PM (#32527900)
This is a classic case of scope creep caused by underspecified scope (evidenced by how little HLI improves the non-definition of AGI). If humans accurately exhibited causal reasoning in any but the most mind-numbingly obvious conditions we would be living in a very different world!
Re:John Carmack's new AGI company, Keen Technologies, has ra... by martindbp on Saturday August 20, 2022 @06:17AM (#32530861)
> Being in the tail end of my PhD

That doesn't really qualify you to make these anti-predictions any more than tens of thousands of other people working in this field. There's also this phenomenon where experts close to a problem are worse at predicting the future because they are so intimately familiar with the problems that they can't see the forest for the trees.

To me there is one major signal that AGI is much closer than 50 years away and that is the breakthrough with Transformers. Now we have a general purpose architecture for predicting the future that works really well, which is a key component in the brain (cortical columns). Clearly we're still at the early stages, but 50 years is a loooong time. 50 years ago we didn't even have the Altair 8800.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by ta988 on Friday August 19, 2022 @07:34PM (#32527402)
Yes we are going back to symbolism, , ontologies and causality. Which is a good and healthy sign. It was abandonned the same way neural networks were at some point. Now that it becomes practical at scale, we can combine them all.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by stu_ on Sunday August 21, 2022 @01:37AM (#32537682)
I don't think folks in academia are anywhere near the cutting edge on AGI. It's not a field that is advanced by things like particle accelerators as you might find in physics, that some unis are famous for.

Look at the work result of folks like engineers at Google - state of the art in AI and driving most of the trends in AGI. Academic opinions are shot down quite quickly there, PhD hiring is mostly frowned on, even in teams working on AGI related tech.

It might be expected that PhD experience provides surprising little insight here unfortunately. Academic smugness is not something that should be offered as part of an opinion- just like many computer science related concepts, progress moves so quickly in these topics that by the time academics reach and start to iterate on concepts, companies have already moved very far beyond.

This isn't intended to be condescending to academics, just real life experience I've had working closely with both crowds and seeing this firsthand. It's a very palpable thing in industry, an Academic gives an opinion on AGI and engineers roll their eyes - since Academic perspectives are currently so useless or out of date for any current, meaningful progress.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by thewarrior on Friday August 19, 2022 @07:43PM (#32527456)
I know it maybe too much to ask but as a noob to this field I’d love to hear more about why AGI is not feasible even in 50 years.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by version_five on Friday August 19, 2022 @07:48PM (#32527492)
I've seen a few posts here asking why it isn't possible. Research doesn't work like that, you can't just imagine something is possible and demand reasons why it isn't. How is it possible?

It feels a bit like a lot of these fringe science things (electromagnetic fields causing harm etc) where people's argument is that nobody's shown it isn't true. Well if it's true, propose a mechanism and study it. You're not really doing research if you just make up a conclusion and use the fact that it can't be definitively refuted as evidence for it

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:45PM (#32527868)
Yeah this is a good point. I've been taking the bearish position of HLI here but that doesn't mean I don't think HLI is impossible. I very much do think it is possible (I'm not sure there are many researchers who think it is impossible) but just how close we are. But we don't even have good definitions, so really this is just laymen being privy to expert arguments. I also think there's this naive belief that complex topics can be distilled to laymen terms while maintaining accuracy. That's definitely not true here, as even our "in-group" doesn't have a consensus. But that's cutting edge research for you.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by another-dave on Saturday August 20, 2022 @05:29AM (#32530678)
In fairness to the parent, research doesn't work that why, but they're not conducting research.

"What are the remaining unknowns that would need to be solved to do X and why are they difficult?" is valid question to ask experts when trying to further your own understanding.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:01PM (#32527574)
Sure. It is rather complex to be honest but I'll do my best to give a high level abstract. I should first off explain that there's no clear definition of intelligence. You might see some of my other comments use the term HLI, which is Human Level Intelligence. It is a term gaining in popularity due to this difficult to define definition and allows for more a porn like definition -- I know it when I see it.

Philosophers, psychologists, neuroscientists, and many others have been contemplating the definition of intelligence for centuries and we're still not quite there. But we do have some good ideas. One of the important aspects is the ability to draw causal relationships. This is something you'll find state of the art (SOTA) text to image (T2I) generators fail at. The problem is that these models learn through a frequency based relationship with the data. While we can often get the desired outcome through significant prompt engineering it still demonstrates a lack of the algorithm really understanding language. The famous example is "horse riding an astronaut." Without prompt engineering the T2I models will always produce an astronaut riding a horse. This is likely due to the frequency of that relationship (people are always on horses and not the other way around).

Of course, there are others in the field that argue that the algorithms can learn this through enough data, model scale, and the right architecture. But this also isn't how humans learn and so we do know that if this does create intelligence it might look very different ("If a lion could talk I wouldn't be able to understand it"). Obviously I'm in the other camp, but let's recognize that this camp does exist (we have no facts, so there's opinions). I think Chomsky makes a good point: our large language models have not taught us anything meaningful about language. Gary Marcus might be another person to look into as he writes a lot on his blogs and there's a podcast I like called Machine Learning Street Talk (they interview both Marcus and Chomsky but also interview people that have the opposite opinion).

So another thing, is that machines haven't shown really good generalization, abstraction, or really inference. You can tell a human a pretty fictitious scenario and we're really good at producing those images. Think of all the fake scenarios you go through while in the shower or waiting to fall asleep. This is an important aspect of human intelligence as it helps train us. But also, we have a lot of instincts and a lot of knowledge embedded in our genetics (as does every other animal). So we're learning a lot more than what we can view within our limited lifetimes (of course our intelligence also has problems). Maybe a good example of abstraction is "what is a chair." There's a whole discussion about embodiment (having a body) and how language like this may not be able to be captured in the abstract manner without a body since a chair is essentially anything that you can sit on.

I feel like I've ranted and may have written a mess of a lot of different things haha. But I hope this helps. I'll try to answer more and I'm sure others will lay out their opinions. Hopefully we can see a good breadth of opinions and discussion here. Honestly, no one knows the answers.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by kordlessagain on Friday August 19, 2022 @08:29PM (#32527766)
> You can tell a human a pretty fictitious scenario and we're really good at producing those images.

Not all us do that.

A chair is both what I see as well as what I perceive. And it is neither. But, I never build a visual model of it when my eyes aren’t seeing it.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:34PM (#32527787)
Clearly, but it is common enough that we joke about how it is impossible to not think about a pink elephant simply because someone said it. People have better visualization than others but the vast majority of people can conjure up the concept of this non-existent elephant. But clearly intelligence is beyond visualization as we wouldn't say a person born blind is unintelligent simply because they cannot see. Still, the pink elephant is a fairly good analogy. But analogies aren't perfect and that's okay. Just take it in good faith.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by sinenomine on Saturday August 20, 2022 @11:22PM (#32537130)
> It is a term gaining in popularity due to this difficult to define definition and allows for more a porn like definition

> Philosophers, psychologists, neuroscientists, and many others have been contemplating the definition of intelligence for centuries and we're still not -quite there

Given the decade-old, seminal, widely cited papers by Legg (co-founder of Deepmind) & Hutter (long-term professor of ANU with multiple awards, currently researcher at Deepmind) titled "Universal Intelligence: A Definition of Machine Intelligence"[1] and "A Collection of Definitions of Intelligence"[2] and the whole rigorous mathematical theory of universal bayesian reinforcement learning aka "AIXI"[3] developed during the last decades which you fail to mention, this soft language of "not quite there" looks evasive, bordering on disingenious even.

Citing Chomsky, with his theorems which were interesting at their own time yet quickly faded into irrelevance once the modern assumptions of learning theory were developed, and Marcus whose simplistic prompts are a laughing stock among degreed and amateur practicing researchers alike brings little of value to the already biased discussion.

> Of course, there are others in the field that argue that the algorithms can learn this through enough data

Such as Rich Sutton, one of the fathers of Reinforcement Learning as an academic discipline, whose recent essay "Bitter Lesson"[4] took the field by word of mouth, if nothing else. It takes a certain amount of honesty and resolution to acknowledge that one's competitive pursuit of knowledge, status and fame via participating in academic "publish or perish" culture does not bring humanity forward along a chosen axis, compared to more mundane engineering-centric research, many people commend him for that.

> So another thing, is that machines haven't shown really good generalization, abstraction, or really inference.

To play a devil's advocate: "Scaling is all you need" and "Attention is all you need" are devilishly simple hypotheses which seem to work again and again when we reluctantly dole out more compute to push them further. With a combination of BIG-bench[5] and an assortment of RL environments as the latest measuring stick, why should we, as a society, avoid doling out enough compute to take it by storm in favor of a certain hypothesis implicit to your writing, which could as well be named "Diverse academic AI funding is all you need"? Especially when variations of this hypothesis have failed us for decades starting with the later part of the XX century, at least if we consider AI research.

> but let's recognize that this camp does exist (we have no facts, so there's opinions).

With all due respect, the continuing lavish (by global standards) funding of your career and careers of many other unlucky researchers should not be a priority when such massive boon to all of humanity as a practical near-HLI/AGI is at stake. "Think of the children", "think of the ill", think of everybody who is not yourself - I say as a taxpayer, hoping for AGI checkpoint to be produced by academics and not the megacorporations, and owned by the people, and not the select few.

Which - the proprietary nature of FAANG-developed AI - might be a real problem we are going to face this decade which is going to overshadow any career anxiety you may have experienced so far.

1. https://arxiv.org/abs/0712.3329

2. https://arxiv.org/abs/0706.3639

3. https://arxiv.org/abs/cs/0004001

4. http://www.incompleteideas.net/IncIdeas/BitterLesson.html

5. https://github.com/google/BIG-bench

Re:John Carmack's new AGI company, Keen Technologies, has ra... by thfuran on Friday August 19, 2022 @08:32PM (#32527778)
They didn't say it's not possible within 50 years, they said they weren't expecting it to happen in that timeframe, and that's a very different sort of claim.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by K0balt on Saturday August 20, 2022 @07:02AM (#32531053)
Scale isn’t the problem. Very simple organisms display general intelligence. General intelligence is rampant in the insect world. It’s something along the lines of a repl vs compiled language paradigm shift.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by labrador on Friday August 19, 2022 @08:09PM (#32527624)
> gullibility gap

Search turns up very little except a book by a Christian author. Could you define what you mean by gullibility gap?

Re:John Carmack's new AGI company, Keen Technologies, has ra... by version_five on Friday August 19, 2022 @08:14PM (#32527652)
It's coined in context.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:30PM (#32527769)
Really I'd say it is coined by Gary Marcus. At least that's who I first heard discuss it.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by labrador on Friday August 19, 2022 @08:24PM (#32527725)
I don't see it. Did they mean "uncanny valley"?
Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:31PM (#32527776)
Kinda. The gullibility gap more refers to the fact that it is really easy to believe the machines are smarter than they are because they can perform tasks that nothing but humans can do. With the exception of maybe parrots there's no other creatures that can talk so we associate this with intelligence. But I think it is rather naive to believe that the ability to string together reasonable sounding text is actually intelligence. There has yet to be a demonstration of these algorithms actually understanding things.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by Roland3 on Saturday August 20, 2022 @10:55PM (#32537014)
What sort of demonstration do you have in mind?
Re:John Carmack's new AGI company, Keen Technologies, has ra... by colinsane on Friday August 19, 2022 @09:45PM (#32528236)
> Hell, causality research still isn't that popular but is quite important for intelligence.

what are the esteemed epistemological frameworks in the AGI space? from the outside looking in, i see CNNs and lots of correlation-based approaches: it looks like the field settled on consequentialism. is that not the case?

Re:John Carmack's new AGI company, Keen Technologies, has ra... by version_five on Friday August 19, 2022 @06:40PM (#32526892)
> Who is we exactly?

When I read these kind of threads, I believe it's "enthusiast" laypeople who follow the headlines but don't actually have a deep understanding of the tech.

Of course there are the promoters who are raising money and need to frame each advance in the most optimistic light. I don't see anything wrong with that, it just means that there will be a group of techie but not research literate folks who almost necessarily become the promoters and talk about how such and such headline means that a big advance is right around the corner. That is what I believe we're seeing here.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by wruza on Friday August 19, 2022 @07:36PM (#32527411)
Can someone please explain like we are fifteen why AGI is impossible, at least right now? Or if not AGI, then something similar to a cat/etc mind?

As far as I am imagining it, current models are pipelines of various trained networks (and more traditional filters in the mix) that operate like request-reply. Why can’t you just connect few different pipelines in a loop/graph and make an autonomous self-feeding entity? By different I mean not looping gpt to itself, but different like object detection from camera vs emotion from a picture based on some training data. Is it because you don’t have data what is scary or not, or for a completely different reason?

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @08:41PM (#32527834)
> Can someone please explain like we are fifteen why AGI is impossible, at least right now

Probably not. I did attempt to give a high level explanation in another comment but I think there is this naive belief that complex problems can be distilled into terms that laymen can understand. This is such a complex problem that is so ill-defined that experts argue. I'm not sure there's really a good "explain it like I'm an undergrad who's done ML courses" explanation that can be concisely summed up in a HN comment.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by drstewart on Saturday August 20, 2022 @12:40PM (#32533324)
>but I think there is this naive belief that complex problems can be distilled into terms that laymen can understand

Naive people like Richard Feynman, who said if you can't explain an idea to an 8 year old, you don't understand it? Can you tell us why you think Nobel Prize winner Richard Feynman is naive?

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Saturday August 20, 2022 @03:19PM (#32534499)
He isn't, you are. Let's look at some other Feynman quotes which we can actually attribute (I can't find a real source for your claim though I've also heard it attributed to Einstein).

> Hell, if I could explain it to the average person, it wouldn't have been worth the Nobel prize.

> I can't explain [magnetic] attraction in terms of anything else that's familiar to you. For example, if I said the magnets attract like as if they were connected by rubber bands, I would be cheating you. Because they're not connected by rubber bands … and if you were curious enough, you'd ask me why rubber bands tend to pull back together again, and I would end up explaining that in terms of electrical forces, which are the very things that I'm trying to use the rubber bands to explain, so I have cheated very badly, you see."

> we have this terrible struggle to try to explain things to people who have no reason to want to know. But if they want to defend their own point of view, they will have to learn what yours is a little bit. So I suggest, maybe correctly and perhaps wrongly, that we are too polite.

My best guess is that this misattribution comes from quote ABOUT Feynman and a misunderstanding at what is being conveyed.

> Once I asked [Feynman] to explain to me, so that I can understand it, why spin-1/2 particles obey Fermi-Dirac statistics. Gauging his audience perfectly, he said, "I'll prepare a freshman lecture on it." But a few days later he came to me and said: "You know, I couldn't do it. I couldn't reduce it to the freshman level. That means we really don't understand it." - David L. Goodstein

Which doesn't mean what you're using your "quote" to mean. As I stated before, we (the scientific community), don't even know what intelligence is. We definitely don't understand it so I'm not sure how you'd expect us to explain it to an 8 year old. Lots of things can't be explained to an 8 year old. Good luck teaching them Lie Algebras or Gauge Theory. You can have an excellent understanding of these advanced topics and the only way that 8 year old is going to understand it is if they are a genius prodigy and well beyond a layman. This quote is just illogical and only used by people who think the world is far simpler than it is and are too lazy to actually pursue its beauty. They only want to sound smart and they only will to those dumber than them.

Stop saying this and get off your high horse and hit the books instead.

Maybe Feynman was right, we're being too polite. There are a bunch of people in this thread that are not arguing in good faith and pretending to be smarter than people that are experts and performing mental gymnastics to prove that (you are one but not alone). If an expert is telling you that you are using words wrong, then you probably are. Don't just assume you're smarter than an expert. You don't have the experience to have that ego.

https://en.wikiquote.org/wiki/Richard_Feynman

https://www.sciencealert.com/watch-richard-feynman-on-why-he....

Re:John Carmack's new AGI company, Keen Technologies, has ra... by WastingMyTime89 on Saturday August 20, 2022 @06:17PM (#32535636)
You will be hard pressed to have an interesting discussion about AGI because the way the term is defined makes it uninteresting. It’s like trying to have a discussion about aviation by asking how close we are to fly exactly like birds. It’s not really relevant to our ability to design good planes.

Then any discussions will be highly handicapped by the fact most still view human intelligence as something special. The field is still very much awaiting its urea synthesis moment.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by wruza on Sunday August 21, 2022 @01:29PM (#32542367)
I don’t view it as such, and am open to anything experts could suggest, much further than cat vs human difference, and not even on the line where these two reside, but a sci-fi level different. The fact that human intelligence is seemed as special bothers me too.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by saalweachter on Friday August 19, 2022 @08:47PM (#32527883)
The gorilla has a brain 1/3 the size of a human brain with a very similar evolutionary history.

The sperm whale has a brain that is several times larger than ours.

What do you do differently in your AGI design to get a human, gorilla, or whale brain?

Re:John Carmack's new AGI company, Keen Technologies, has ra... by beeboop on Friday August 19, 2022 @09:17PM (#32528082)
I'm not sure the point of this question - a brain size larger than a human's doesn't matter that much if the extra size isn't going to the right places. From what I can tell it's the size of the brain dedicated to higher cognition (cerebral cortex) and the "power" of the neurons it contains (humans spend more relatively more energy on their brain than an animal's brain of the same size). The answer to your question (how to make AGI dumber than humans) simply seems to be have fewer neurons in total, fewer neurons doing higher cognition, and have those neurons be less powerful.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by grayclhn on Friday August 19, 2022 @07:53PM (#32527534)
Cool, make it happen. Don’t know how? Neither does anyone else. That’s why it’s not happening right now.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by beeboop on Friday August 19, 2022 @09:25PM (#32528135)
I spent a month studying AGI on a hobby level and the answer, from what I can tell, is that it isn't possible right now because we can't even model how human level intelligence works. There are also several ways to approach developing AGI and we don't even really have a good idea on which approach is best. I am not convinced current human level intelligence is enough to ever figure out this model, but I believe future genetically modified humans may have a much better chance.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by nradov on Saturday August 20, 2022 @11:53AM (#32532934)
No one can explain why AGI is impossible because you can't prove a negative. But so far there is still no clear path to a solution. We can't be confident that we're on the right track towards human-level intelligence until we can build something roughly equivalent to, let's say, a reptile brain (or pick some other similar target if you prefer).

If you have an idea for a technical approach then go ahead and build it. See what happens.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by Isinlor on Friday August 19, 2022 @06:29PM (#32526790)
Nando de Freitas Research Director at @DeepMind. CIFAR. Previously Prof @UBC & @UniofOxford. made a lot of headlines:

https://twitter.com/NandoDF/status/1525397036325019649

Someone’s opinion article. My opinion: It’s all about scale now! The Game is Over! It’s about making these models bigger, safer, compute efficient, faster at sampling, smarter memory, more modalities, INNOVATIVE DATA, on/offline, … 1/N

Solving these scaling challenges is what will deliver AGI. Research focused on these problems, eg S4 for greater memory, is needed. Philosophy about symbols isn’t. Symbols are tools in the world and big nets have no issue creating them and manipulating them 2/n

https://twitter.com/NandoDF/status/1525397036325019649

Re:John Carmack's new AGI company, Keen Technologies, has ra... by Voloskaya on Friday August 19, 2022 @06:43PM (#32526928)
And I agree with Nando’s view, but he is not saying we can just take a transformer model, scale it 10T parameters and get AGI. He is only saying that trying to reach AGI with a « smarter » algorithm is hopeless, what matters is scale, similar to Sutton’a bitter lesson. But we still need to work on getting systems that scale better, that are more compute efficient etc. And no one knows how far we have to scale. So saying AGI will just be « transformer + RL » to me seems ridiculous. Many more breakthroughs are needed.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by ml_basics on Friday August 19, 2022 @06:29PM (#32526799)
I work in AI and would roughly agree with it to first order.

For me the key breakthrough has been seeing how large transformers trained with big datasets have shown incredible performance in completely different data modalities (text, image, and probably soon others too).

This was absolutely not expected by most researchers 5 years ago.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by godelski on Friday August 19, 2022 @07:41PM (#32527441)
The problem here is that transformers aren't always the best tool. They are powerful because they can capture large receptive fields but ConvNext even shows that a convolution can still out perform Transformers on some tasks. There's plenty of modern CNNs that have both small and large receptive fields that perform better than transformers. But of course there is no one size fits all architecture and it is fairly naive to think so. I think what was more surprising with transformers is that you could scale them well and perform complex tasks with them alone.

But I think a big part you're ignoring here is how training has changed in the last 5 years. You look back at something like VGG where we go depthwise with CNNs vs something like Swin and there's a ton more complexity in the latter (and difficulties in reproduction of results likely due to this). There's vastly more uses of data augmentation, different types of normalization (see ConvNext), better learning rate schedules, and massive compute allows for a much better hyper-parameter search (I do also want to note that there are problems in this area as many are HP searching over the test set and not a validation or training set).

Yeah, the field has come a long way and I fully expect it to continue to grow like crazy but AGI/HLI is a vastly more complex problem that we have a lot of evidence that the current methods won't get us there.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by nine_k on Friday August 19, 2022 @07:50PM (#32527507)
I wonder if combining different approaches works in current AI research. I suppose it should.

A suppose something approaching AGI, an intelligent agent which can act on a _wide_ variety of input channels and synthesize these inputs into a general model of the world, could use channel-specific approaches / stages before the huge "integrating" transformer step.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by riku_iki on Friday August 19, 2022 @09:01PM (#32527983)
> the huge "integrating" transformer step

why always transformer step?

Re:John Carmack's new AGI company, Keen Technologies, has ra... by riku_iki on Friday August 19, 2022 @07:24PM (#32527319)
past breakthrough doesn't guarantee future breakthroughs.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by trention on Friday August 19, 2022 @07:31PM (#32527376)
The old problem of induction. It's interesting how many of the AI accelerationist crowd are (purposefully pretending to be) unaware of it.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by monktastic1 on Friday August 19, 2022 @09:36PM (#32528195)
The problem is, the POI applies to literally everything, including events which seem to have well-understood and well-established causes. That makes it impossible to know when it's going to be applicable in the real world and when it's not.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by why_only_15 on Friday August 19, 2022 @08:52PM (#32527921)
but they're certainly indicative.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by riku_iki on Friday August 19, 2022 @09:02PM (#32527988)
yes, indicative of past breakthrough )
Re:John Carmack's new AGI company, Keen Technologies, has ra... by mkaic on Friday August 19, 2022 @08:42PM (#32527844)
Fellow AI researcher here who personal agrees with OP, there are some of us that are believers ;). I agree that most people in our industry are generally not very bullish about near-term AGI, I think it just comes down to how you perceive the complexity of the problem. Personally, I think it's solvable because passing a lengthy, adversarial Turing test reliably is all it would take to convince me of sentience in a model, and well, GPT-3 is already close to that (though I want to clarify that I do not believe any present-day models possess any inkling sentience yet).

I think the main three obstacles in our way are imbuing models with (from least to most difficult):

1. continuous execution, which would be necessary for a real-time "stream of consciousness"

2. discreet short and long term memory and the ability to use it productively

3. plasticity at runtime

1 is just a matter of finding more efficient architectures and cheapening compute, both fronts we're constantly making progress on. 2 is a little more muddy, but there are already some really impressive models that have retrieval mechanisms which allow them to search through databases to help them contextualize prompts which I believe is a step in the right direction. 3 is probably the hardest in my opinion--I think we need several fundamental breakthrough discoveries before our models are anywhere near as plastic as, say, a human brain. My hypothesis is that exceptional plasticity is necessary for sentience, but obviously that's just my own personal opinion.

Anyways, thought I'd chime in with my two cents. I'd love to hear others' thoughts on the feasibility/infeasibility of near-term AGI.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by Jack000 on Friday August 19, 2022 @09:19PM (#32528101)
"Sentience" is a weird word because it's a such fuzzy concept, but I think if we define it properly there are testable answers to the question of machine sentience.

I would define sentience as an awareness of oneself in relation to one's environment, that generalizes to different aspects of self and environment (eg. social, physical etc)

One of the key aspects of intelligence is learning from 3rd-person perspectives - eg. you observe another ape hunting with a stick, and decide to emulate that behavior for yourself. This seemingly simple behavior requires a lot of work, you have to recognize other apes as agents similar to yourself, then map their actions to your own body, then perform those actions and see if it had the intended outcome.

Current RL agents are not capable of this. The data used for GATO and similar agents for imitation learning are in first person perspective. If an agent could learn from a 3rd person perspective, via direct observations of its environment, I would say that would be the beginning of machine sentience.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by mementomorti on Friday August 19, 2022 @08:55PM (#32527934)
I'm not in the field at all but just generally curious regarding #3. I'm under the impression that a lot of plasticity in our brains is related to sleep, are there areas of AI research following that thread, plasticity at downtime so to say?
Re:John Carmack's new AGI company, Keen Technologies, has ra... by silverlake on Friday August 19, 2022 @08:06PM (#32527596)
I agree with you. However there’s a camp that thinks bigger models will lead to ~AGI (whatever that is). Another believes reinforcement learning will get there somehow. LeCun published an alternative vague idea because he thinks neither will get to AGI.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by Jack000 on Friday August 19, 2022 @07:03PM (#32527133)
Which part do you find objectionable - the lack of progress in previous years or the current/future potential of transformers in RL? I do work in ML but mostly applications instead of research.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by Voloskaya on Friday August 19, 2022 @07:29PM (#32527357)
I think there is a lot of potential for transformers in RL. And I do think that AGI is mostly a matter of scale. But I do not agree at all that AGI is just transformers + RL. I don’t think we have a concrete idea at all, and I don’t agree at all that 10 years ago people thought we had no path forward. 10 years ago is exactly AlexNet, aka the birth of deep learning.
Re:John Carmack's new AGI company, Keen Technologies, has ra... by Jack000 on Friday August 19, 2022 @07:57PM (#32527553)
I think it's fair to say that no one knows if AGI is even possible at this point, but RL+transformer is definitely the most promising approach imo.

10 years ago no one was talking about AGI, researchers didn't even call it "AI" due to its association with the previous AI winter. There were certainly advances in ML but I think if you asked anyone whether those approaches would lead to real AI it would be an unequivocal no.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by dinosaurdynasty on Friday August 19, 2022 @09:23PM (#32528128)
I'd say AGI is very very much possible because it already exists (for example: humans) and unless there exists a soul or some other kind of "literally magic" (and I'd be doubtful even then) there is no reason we couldn't one day build AGI.

It also seems like unless something goes very very wrong with the exponential growth curve in computational capacity humanity has had, we'll be able to straight up simulate a human brain (probably well before) 2100.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by Calavar on Friday August 19, 2022 @07:51PM (#32527518)
One big issue is how exactly we'll continue to scale. Exponential growth is hard to maintain.

An example: In the Chinchilla paper [1], the authors suggest that most big transformer models are undertrained, and that we will probably see diminishing returns in scaling up the size of networks if we don't also scale up the size of the datasets. They have a subanalysis where they extrapolate out how big datasets will need to be for larger models. If you believe it, then within two to three generations of big NLG models, we may need on the order of 100 trillion text tokens. But it's not clear if that much text even exists.

[1] https://arxiv.org/abs/2203.15556

Re:John Carmack's new AGI company, Keen Technologies, has ra... by Jack000 on Friday August 19, 2022 @08:24PM (#32527724)
The scaling laws of large language models are very specific to language models and the way they're trained. The important thing that LLMs demonstrate is that transformers are capable of this kind of scale (where other approaches have not)

In the RL space, a sufficiently complex, stochastic environment is effectively a data generator.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by Calavar on Friday August 19, 2022 @08:52PM (#32527924)
I'm not sure I agree that there is a distinction between scaling laws and a model being "capable of scale." RNNs are Turing complete, so from that perspective they should in theory they should be sufficient for AGI. But of course they are not because their scaling with regards to network depth and the length of sequences is abysmal. LLMs do scale with depth and sequence length, if their scaling laws with regard to dataset size prevent us from training them adequately, then we are stuck nonetheless.

I haven't heard of any groups who are studying data constrained learning in the context of LLMs, but that will probably change as models get bigger. And at that point, architectures with better scaling laws may be right around the corner, or they may not. That's the pain of trying to project these things into the future.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by Jack000 on Friday August 19, 2022 @11:29PM (#32528771)
The scaling laws for LLMs depend heavily on the quality of data. For example, if you add an additional 100gb of data but it only contains the same repeating word, that will hurt the model. If you add 100gb of completely random words, that will also hurt the model. Between these two extremes (low and high entropy), human language has a certain amount natural entropy that helps the model gauge the true co-occurrence frequency of the words in the sentence. The scaling laws for LLMs aren't just a reflection of the model but the conditional entropy of human-generated sentences.

RL is such a different field that you can't apply these scaling laws directly. eg. agents playing tictactoe and checkers would stop scaling at a very low ceiling.

Re:John Carmack's new AGI company, Keen Technologies, has ra... by jacquesm on Saturday August 20, 2022 @04:38AM (#32530416)
One possible risk I see is that with the amount of model generated text out there it will at some point inevitably result in feeding the output of one model into another unless the source of the text is meticulously traced. (My assumption is that that would hurt the model that you are trying to train as well.)
Re:John Carmack's new AGI company, Keen Technologies, has ra... by pjfin123 on Saturday August 20, 2022 @07:39PM (#32536102)
A RL agent with a large Transformer seems to me like a design that would build an AGI.