Latest / Agentic Conversations (formally mlops.community) / Greg Kamradt: Benchmarking Intelligence | ARC Prize
Transcript
- 0:10That's how we know it's legit now.
- 0:12Well. I mean, tell you what, I was
- 0:15looking forward. To this dude, I can't tell you
- 0:17how stoked I am. Tell me exactly how it went down
- 0:20that you were on a live stream with Sam Baldman.
- 0:23Yeah. So I run Arc Prize right now,
- 0:26right? And we run an AI benchmark
- 0:28called ARC AGI. Which is.
- 0:31We want AGI progress pulled forward like we, we want tech
- 0:34progress pulled forward because we believe it's going to be one
- 0:36of the best technologies that humanity's ever had, right.
- 0:40There's a big question on, well, how the heck do you make
- 0:41progress go faster? And so our route that we've
- 0:44chosen is from a benchmark and it's by created by Francois
- 0:48Chalet in 2019. It takes a very interesting
- 0:52approach. There's a lot of benchmarks out
- 0:53there. They go PhD plus plus problems.
- 0:54And so they'll ask you like the hardest questions and then even
- 0:57harder and they'll say this is the last Test we're ever going
- 0:59to have to take because we can't come with any harder questions.
- 1:03AI ends up solving those. Like it ends up doing it well.
- 1:05Like the ceiling on AI is like really high.
- 1:08Like it's insane. It's already doing some
- 1:10superhuman stuff. So we take a different approach
- 1:13on that. We want to know what types of
- 1:16problems are easy for humans but hard for AII.
- 1:19Love that. And the reason why just getting
- 1:22into it like they'll stick behind it is because we have 1
- 1:24proof point of general intelligence right now and
- 1:27that's the freaking human brain. So these are things like
- 1:29strawberry. I would say that that is a class
- 1:32of problems where if you can find things like that, it's
- 1:34like, Dang, AI can't do that but humans still can.
- 1:37We probably don't have AGI if we can convert those problems right
- 1:40now. The hard part, the hard part is
- 1:43those are one off questions. And so it's, it's easy to find
- 1:45one off questions. But if you want to find a domain
- 1:48where you can come up with like 200 questions in the same class
- 1:51that you can actually quantify this for, then that becomes a
- 1:55lot more difficult. And so our theory about AGI, and
- 1:59this is more of a working, this is an observational definition
- 2:01rather than like a inherent 1, is when we can no longer come up
- 2:05with problems that humans can do but AI can't, then we have AGI.
- 2:11Wow. OK.
- 2:12The the inverse of that though is if we can come up with
- 2:15problems that humans can do and AI can't do, then we don't have.
- 2:18AGI there yet? And by virtue of Arc AGI one,
- 2:22our first, our first version of our benchmark being out there,
- 2:25the fact that it's even out there and unsolved, that's a
- 2:28class of problems that humans can do.
- 2:29We just came out with ARC AGI 2 and we actually went and
- 2:32gathered, we gathered up 400 different people and tested them
- 2:35on ARC AGI 2 on every single task within there.
- 2:38And we made sure, because if we're going to claim that humans
- 2:40can do this. Humans better be able to do it.
- 2:42Better be able to do it. So we went we got 400 different
- 2:44people down in San Diego and we tested on tested them on all
- 2:47this and every task that was in there was solved by at least two
- 2:49people in under 2 attempts. So humans can do it.
- 2:52We have first party data for that, but AI still can't do it,
- 2:56so we claim that we don't have AGF.
- 2:58But they're kind of hard tasks. They get harder for sure.
- 3:01Yeah, well, that's what's crazy is the way that I think about it
- 3:03is there's a gap in between what humans can do and what AI can't.
- 3:06That gap is narrowing. And so we need to make sure that
- 3:09humans can still do it within a reasonable attempt.
- 3:12We're not looking at pH DS look, we're not looking at 2 year olds
- 3:14to see if they can do this a a competent person give them these
- 3:18tasks and see if they can actually do it.
- 3:20So just. If you pluck somebody off the
- 3:21streets, they have college education type thing.
- 3:24More or less. So like when we did our, when we
- 3:26did our filtering, we made sure that they could use the Internet
- 3:28like like things like that, like we didn't.
- 3:30Want my mom is out we. Didn't want to teach them how to
- 3:33use a computer when we taught them what art was, You know what
- 3:35I mean? And so that that doesn't allow
- 3:39us to make the claim about the average human.
- 3:41So we're careful about not saying that that's not what
- 3:43we're going for. Yeah.
- 3:45We're going for a capable human. Yeah.
- 3:47Some people like to argue on it, but that's a different
- 3:49conversation on it. So run this benchmark RKGI one.
- 3:53OK, great. We get an e-mail from one of
- 3:58Open the Eyes board members who we have a relationship with in
- 4:02early December and it more or less said, hey, we have a new
- 4:04model if you want to test it on ARC.
- 4:07And back in that day, it was strawberry.
- 4:09It was the. Strawberry model.
- 4:10There's so many names going around.
- 4:11I mean, there's Orion even at that point.
- 4:13There was Strawberry. There was what did Ilia see?
- 4:15You know, there's so much stuff going around.
- 4:16It's like who? Who the heck knows?
- 4:17Like what? What refers what rumor refers to
- 4:19what production? Version and it hasn't gotten
- 4:22better. To be honest, the official names
- 4:24are probably worse than the rumors.
- 4:25And I think that that tells you don't expect it to get better
- 4:28because it it won't get better. So again, the e-mail says we got
- 4:32a new model, we want to test it. OK, cool.
- 4:34Yeah, sounds great. It's Open AI, they have a new
- 4:36model and they claim to have a very good score, but they didn't
- 4:38say what the score was in the e-mail and so.
- 4:41On the arc. Press on Arc Press because we
- 4:43have public data. And so the, the, the way we run
- 4:44our benchmark is there's a bunch of public data that you can go
- 4:46train on and you can go kind of test yourself on it.
- 4:49But then we have a hidden holdout set.
- 4:51Nice that we can get into why that's important in the 1st
- 4:55place. It's the only way to do it.
- 4:56It's the only way to do it. You have a hidden holdout set
- 4:58for it. And they said we want to see,
- 4:59are we overfit to this because we think we're doing pretty
- 5:01good, but we want to try it on your holdout set.
- 5:03Will you come and test it for us?
- 5:05So we spent the next two weeks testing it, basically working
- 5:08with their team to go do it. This is through nerbs 2024 of
- 5:11last year too. So I'm like at nerbs like in
- 5:13Vancouver, thinking I'm going to relax and just watch talks all
- 5:15the time. I'm like literally testing and
- 5:16hitting open as API endpoints for that.
- 5:20But we get through and it's like, holy shit, this is good.
- 5:25I mean freaking soda. It.
- 5:26Was multiples better than we had ever seen another model do
- 5:29beforehand? And keep in mind that this thing
- 5:32had been this thing had been out there for five years so far and
- 5:34there hadn't been this type of progress on it.
- 5:35So we're like, holy cow. And so I get on a meeting with
- 5:40Jerry and Nat to kind of just like kind of like pre brief
- 5:45before we go and do the testing and I say, what score do you do
- 5:49you claim on RKGI? Because we're going to go and
- 5:51verify that because if they claim what it's different and
- 5:53that'd be a big story. They claimed 87% and keep in
- 5:57mind like the high, the highest on here with a publicly
- 5:59available models like in the 20s and then custom built solutions
- 6:03purpose built just to try to be arc, we're scoring in the 40s
- 6:07and 50s at that time and and they're claiming 87%.
- 6:10And so it's like, all right, this is a really big deal for
- 6:11us. Anyway, Long story short, we go
- 6:13through it and what's interesting is in inference time
- 6:17compute world, you can no longer just say, here's our model,
- 6:20here's our score. It's here's the model, here's
- 6:22how much inference time compute we spent, here's our score.
- 6:25So now there's another, there's another variable on it.
- 6:28And what we confirmed for them is that on low compute, and we
- 6:31can get into what low compute actually means in a second here,
- 6:33they scored 75% and on high compute we saw Yep, more or less
- 6:37we validated their 87% score, which was like, okay, Yep, it's
- 6:41validated. So we write up our blog post and
- 6:44just like a one page or Google doc and somehow, not somehow,
- 6:49but just like along the lines, Sam ended up getting pulled up
- 6:51on the thread, like on the e-mail thread that we had going
- 6:53back and forth and we said we have our results here they are.
- 6:56We want to discuss them live. He goes, great, I'm free Tuesday
- 6:58at 5:30 or whatever. And it's like, let's go, yeah,
- 7:01let's go. Like it's, it's wonderful.
- 7:03I mean, it's like, it's a huge opportunity.
- 7:04It's like we put together A blog post and we get inside the room
- 7:07and we show them basically put up on the screen.
- 7:09We show a blog post, everyone reads through it and discussion,
- 7:12discussion. And he goes, OK, great.
- 7:15You guys should join our live stream on Friday.
- 7:22And so we're sitting there not even like we hadn't even
- 7:23considered they were going to be testing this new model.
- 7:25Like, you know, if you and then he says, you know, on Tuesday,
- 7:28you guys should come join us on Friday.
- 7:30And our one requirement was that we didn't want to just go up
- 7:32there and have them tell us what to say.
- 7:34Like we didn't want them to write the script for us.
- 7:36And so Mike and I, Mike Knoop, who Co founded Arc prize, we
- 7:41basically wrote the script that we were happy, we were
- 7:43comfortable with. We gave it to him.
- 7:45They said yeah, looks great. Yeah.
- 7:47All right, cool. That's that and see Friday.
- 7:50Exactly. Well, so they they had a very
- 7:53big production No, I wouldn't say big production crew, but you
- 7:55know, call it, you know, 12 people between marketing comms
- 8:00like videographers and events and sound and everything that
- 8:03are that are in there. And so we had two rehearsals
- 8:06that went through for that. Two rehearsals went through,
- 8:09went great, made edits. And then, you know, the live
- 8:12stream comes out on Friday or it went out on Friday.
- 8:15It was funny because there was a room that wasn't much bigger
- 8:17than this, but it was, it was a much bigger room, but there was
- 8:20partitioned off on all the sides, you know, with like kind
- 8:22of just like, you know. Stage or whatever set design
- 8:27meant to look all it was like it was just a table You guys are
- 8:30sitting around Yeah just. A table, yeah, they did a really
- 8:32good job with that. But so I'm on the other side of
- 8:34the partition. I'm hearing Sam and Mark talk
- 8:36about it. Mark Tender at the time, their
- 8:38SVP of Research and they're like, now we'd like to invite
- 8:41Greg and then just walk from behind the wizard, like behind
- 8:43the curtain and just go jump on there.
- 8:45And what's wild is that you knew how many people were watching on
- 8:47the live stream, but it was it was a small room.
- 8:49Like it was like, like I said, only like 10 people in there,
- 8:51but it was cool. So did that.
- 8:53And but this was an unreleased model.
- 8:55So now we call it O3 preview because there's a preview model
- 9:00for it. And it was more of a
- 9:02capabilities demonstration about what if you push this to the
- 9:05Max, what could you actually do for it?
- 9:06And to put this into perspective on the low compute, it was they
- 9:10were spending about $20 per task on this and we verified with 500
- 9:13tasks. And so that's about 10,000 bucks
- 9:14of compute that they spent on this just for ARC.
- 9:17It's like, Dang, that's a lot, right?
- 9:18Like, that's a you're not going to find that many people that
- 9:20don't want to spend 10 grand on solid arts tasks, right?
- 9:23But that was low compute. And then the O3 preview was the
- 9:27first reasoning model, no? No, no, it wasn't the first
- 9:29reasoning model because you know it depending on when you want to
- 9:33call. I believe their first reasoning
- 9:34model was when they did O1 preview.
- 9:36I don't even know when that was. That must have been early 2024,
- 9:39mid 2024, maybe even 2023. But so we tested O3 preview, low
- 9:45compute and then we also tested high compute.
- 9:48Which is way more money. That used, I forget the exact
- 9:51dollar amounts it was in the thousands of dollars per task.
- 9:54What per task? And again, remember, we, we, we
- 9:56tested, you know, 500 tasks or whatever.
- 9:58I think it was 170 times the amount of compute that was used
- 10:01on the low compute side. But either way, the TLD, it's
- 10:04like, OK, So what? That's a lot of money.
- 10:05What, what's the important part? The important part is it just
- 10:10reconfirmed that you can pay for better performance, which is
- 10:12crazy, right? And there's open questions as to
- 10:15where that scaling actually tops out.
- 10:17And so we haven't done as thorough analysis on that system
- 10:20as we'd like to. There's a big open question on
- 10:22does it asymptote or can you get to 100%?
- 10:25If you just threw more and more and more, but keep in mind it's
- 10:28log what you give it. So you, they, you know, let's
- 10:31just say you spent $1,000,000. In order to get a couple
- 10:34percentage points upgrade, you need to spend 10 million and
- 10:36then you spend 100 million. It's like, well, where did it
- 10:37actually end up stopping for us? Yeah.
- 10:39What's that trade off? Yeah, yeah.
- 10:40And also, are you going to have to wait a year before it gets
- 10:44done well? That's a long time.
- 10:45So for the high compute, the job took overnight more or less.
- 10:49Like more overnight. Maybe even took longer than.
- 10:52I forget the exact time on the duration for it, but it was not
- 10:54a short amount of time. You're not going to be sitting
- 10:56there waiting for the response. Yeah, it's something you do.
- 10:59You let it run, go out, have your life, and then come back
- 11:03and see if it was able to do it. But actually just today we
- 11:07opening out last week they launched their O3 production,
- 11:10great O3. And so there's like a big open
- 11:13question. It's like, OK, well, how does
- 11:15what we tested in December match to what was publicly released
- 11:18today? And we asked, opening how we
- 11:20asked Jerry for confirmation on this and a bunch of nuance.
- 11:23TLDR, it's not the same model exactly.
- 11:26It's not the same model and there's less compute being used.
- 11:28So we should expect not the same scores.
- 11:30And so we just, we tested on it today and yeah, as expected, it
- 11:34does really, really well. It doesn't do as well as the.
- 11:36Model that we tested at 87%. It's not 87%, but also they
- 11:41release O4 Mini. So they're just, they're
- 11:43freaking keeping the models coming, right.
- 11:45And so a lot of good testing, a lot of good stuff.
- 11:49But what's cool is that like RKGI is the tool that we're
- 11:52using to evaluate these things. We have RKGI 2 and all these
- 11:55models are still going really really low on RKGI 2.
- 11:57So basically Ark AGI 2 is meant to be like that next step, like
- 12:04order of difficulty more. So I I've been looking for the
- 12:08good analogy with it. So apologies, I don't have it
- 12:10down yet, but the way I think about it, and this may be an
- 12:13incorrect 1 so apologies if I butcher it, But like if ark AGI
- 12:161 measures is really good at measuring car speed between 20
- 12:21miles an hour and 40 miles an hour.
- 12:23Below 20, it's not very good. Over 40, it's not very good
- 12:26because it just maxed out. It's like literally redlining.
- 12:28It's over at the top. RKG I2 is measuring cars from 40
- 12:32miles an hour to 80 miles an hour.
- 12:34So below 40 miles an hour, you're not going to get much
- 12:36signal. You're going to get a little
- 12:37little bit of, you know, a little bit of stuff, so.
- 12:39It's got to be those premium models it.
- 12:41It's going to have to be premium models and we're we're not yet
- 12:44seeing the that models are making substantial progress on
- 12:47it. So I think that the, the best
- 12:48open source model right now I think is getting like 3 to 4%.
- 12:51I'm sorry, not best open source. Even when we tested O3 like
- 12:54medium, it was getting like 3 to 4% on this.
- 12:57And down at that range, we're only talking about 120 tasks on
- 13:00that. So like down at that range,
- 13:01we're talking about noise. It's not until it starts to get
- 13:04like 10-15 that you're really going to start to see something
- 13:06substantial from it, yeah. How did and how do you go about
- 13:10deciding these questions? Yeah.
- 13:13And then there's also the other side of it where you can't just
- 13:16have it be a super hard task. You have to almost.
- 13:19You have to be creative about. It that's not what like again,
- 13:21because we hold ourselves to the restriction that humans need to
- 13:24be able to do it and that restricts you from just doing
- 13:27hard, hard, hard, hard. Yeah, it can't be this PhD plus.
- 13:29It can't be the PhD plus, but as long as we can come up with
- 13:32those problems that tells you there is a gap between human
- 13:36intelligence and AI. And like people argue with me
- 13:39and say, oh, you don't need to aim for human intelligence if
- 13:41you want to aim for AGI because they're two different things.
- 13:44I agree. But like our hypothesis is that
- 13:47the fast track towards AGI is understanding how the human
- 13:49brain works and understanding where the gaps are.
- 13:51Because if we aim for those gaps, that's going to tell
- 13:53something interesting from there.
- 13:55We can talk about this later, but like it's nowhere.
- 13:57The human brain is nowhere near theoretically optimal
- 14:01intelligence. Like we got a lot of biological
- 14:02baggage. I could tell you that right now,
- 14:04man, I my human brain is not working to full capacity exactly
- 14:09ever. So by no means am I saying it's
- 14:11the best example, but it is our only example of general
- 14:15intelligence, and so we see it as a useful model to go after
- 14:18anyway. So how do we pick the problems?
- 14:19So in 2019, Francois Chalet came out with this paper called on
- 14:22the measure of intelligence, which is so fascinating because
- 14:24it's like, how do you come up with the problems?
- 14:26That's actually the not the question to start with.
- 14:29The question to start with is how do you define intelligence?
- 14:32Because if you can define it clearly, then you can come up
- 14:34with problems for it, which is, which is the freaking
- 14:37fascinating. So Francois came out of this
- 14:39paper on the measure of intelligence.
- 14:41And so his definition of intelligence was what is your
- 14:46ability to learn new things? It's not how good you are at
- 14:52chess. It's not how good you are at go,
- 14:54It's not how good you are at self driving.
- 14:57It's if I give you a new task in a new domain and new set of
- 15:00skills that you need to learn in order to do it, can you
- 15:03successfully learn that thing? Is it how fast you learn that?
- 15:05So now that's a great question. So my, my opening definition of
- 15:08intelligence is always just binary.
- 15:09Can you learn new things or can you not?
- 15:11But his actual definition of intelligence is your efficiency
- 15:15of learning new things. So just for example, I like to
- 15:18do efficiency in terms of 2 axis.
- 15:21Number one is the amount of energy required to learn new
- 15:25things, and we'll get into that in a second.
- 15:28But like the second dimension is the amount of training data that
- 15:32you need to learn that new thing.
- 15:34So basically how many times you need to do it before you learned
- 15:36it? Exactly.
- 15:37So a crude, crude, crude example is if I'm going to teach you how
- 15:42to play go, we might need like 6 hours, I'll teach you the rules
- 15:46and you'll become you'll become like basic at it.
- 15:48We can at least have a conversation around it.
- 15:51Think about how much training data went into the the system
- 15:53that ended up beating go a lot, a lot, right?
- 15:56And so of course that was better skill for it, but there's almost
- 15:58out outsized training that went into it.
- 16:01So another way to do this is do humans have an internet's worth
- 16:05of training data in their head to output the intelligence that
- 16:08you see from us right now? And the answer is no, No, it
- 16:10doesn't. Language models do.
- 16:12And so on the recent podcast, it was the internal one with open
- 16:15AI, Sam Allman, and I believe the name the, the fellow's name
- 16:18was Daniel, but he was talking about the efficiency of language
- 16:22and what is an LLM efficiency of language versus a humans
- 16:25efficiency of language. And he said by his estimate, I
- 16:28think this might be a little low, but he said that humans are
- 16:31100,000 times more efficient with language than with current
- 16:34LLMS, which speaks to, and one of the underlying things that
- 16:37they kept on talking in the pod was that look, compute isn't
- 16:41what's blocking us anymore. We have a shit ton of compute.
- 16:43Like we have a lot of compute like Stargate, all of NVIDIA.
- 16:47We have so much freaking compute.
- 16:49What's blocking us right now is more on the data side.
- 16:52But underlying all that, what's blocking us more is also on the
- 16:54algorithmic side. It's like we just literally need
- 16:57new. We just need new algorithms,
- 16:59basically breakthroughs in order to get to the human levels of
- 17:02efficiency on it. And just the random point that
- 17:04really drive this home is like the other reason why I love
- 17:06using the human brain has a benchmark for it is because you
- 17:09know how much energy the human brain takes, like literally
- 17:11calories. Like how many calories does a
- 17:13human brain consume? And you convert calories into
- 17:15energy. And then you compare that to
- 17:17what is the inference energy used to solve ARC.
- 17:21Like you can already tell you're you're miles ahead, you're miles
- 17:24and miles ahead. So human brains is a good
- 17:27benchmark for us. Also we should note like did
- 17:31this all just start you down this path from the needle in the
- 17:35haystack? Was that like what blew up, you
- 17:38know, needle? In a haystack was is is a fun
- 17:43bullet point on my journey like that I've been on so far.
- 17:46I I wouldn't call it the thing that did it right.
- 17:48I mean, it was cool, but it wasn't like it like it didn't
- 17:51make me rich like it didn't like blow me up.
- 17:53You know what I'm saying? It's like it was a small little
- 17:55thing like on like. You got a small little.
- 17:57Retweets. I got a few retweets from, you
- 17:58know, it's like, yeah, I got a few likes on Twitter, but it
- 18:01wasn't like it wasn't much from. So no.
- 18:05But like the inherent thing, like what whatever it is about
- 18:09what drives me and like whatever it is about me that makes me put
- 18:14my energy where I do needle in the haste that came out of that
- 18:16spot, Like other stuff comes out of that spot and like, you know,
- 18:19everything. And so like I would say that all
- 18:21like all the activities that happened were symptoms of where
- 18:24I choose to put my energy and consequences of it and those
- 18:27consequences line themselves up to put myself on the path of
- 18:30where I. AM and then it opens doors.
- 18:31It's like hey this happened cuz for those listeners also they
- 18:36should know that you were doing amazing tutorials.
- 18:39That was like I. Was doing YouTube work.
- 18:40Yeah, that's how I found you is back in the day when you were
- 18:43doing the YouTube tutorials, you were like the first guy making
- 18:46Ling chain. Tutorials.
- 18:47So that's another wild story. It's a super brief on that.
- 18:50I remember the first Ling chain. Well I saw I was scrolling
- 18:53hacker and it was just trolling or whatever and I saw it was
- 18:56this was October like 22. Yeah, it's like right when
- 19:00ChatGPT came out. Right when chat GB maybe even a
- 19:02hair before and it said show Hacker news Lang chain.
- 19:05So it's like literally like there's like the like launch
- 19:07blog post the Lang chain and I'm looking at this and I'm like,
- 19:10holy shit, this is solving a lot of the problems that I had
- 19:13building with the raw API at the time.
- 19:15Because keep keep in mind at the time there wasn't a chat model.
- 19:17It was just Da Vincio 3. It's like trying to work with
- 19:20that thing was obnoxious. Like you had to go.
- 19:23There's a lot of friction to get the value out of it.
- 19:24Anyway, Lang chain helped out with that a little bit more and
- 19:27I was like, this is so cool. And I had had a previous history
- 19:31of doing pandas tutorials on YouTube that went nowhere.
- 19:34They freaking sucked. Like, like it was talking about
- 19:36like me and like my mom's basement, like in my underwear,
- 19:38like making pandas at least. You're on.
- 19:40It, it wasn't exactly that, but it was along those lines.
- 19:43So I'd made, I think like some, I'm gonna make it call it like
- 19:4680 pandas tutorials or something like that, because that was my
- 19:48craft. Like data analysis was my craft
- 19:50at that time. That's what I pride myself on.
- 19:53And I saw, I went to YouTube and I typed in Lang Chain and there
- 19:56was 1 tutorial by a guy who ended up knowing a little bit
- 19:59later on. Super awesome.
- 20:00His name's James Briggs. And there was one Lang Chain
- 20:02tutorial and I kind of had just like one of those small little
- 20:05like little light bulb moments. And I was like, dude Greg, you
- 20:07should do what you did for Pandas, but you should do it for
- 20:10Lang Chain. And all I did for Pandas was
- 20:12just see what I was curious in, go and make a bunch of like
- 20:15tutorials and functions. And so at the time, just based
- 20:19off just riding my pandas, kind of like success or ripples.
- 20:21And it wasn't success. I just mean like, whatever was
- 20:23coming from it, I was getting like 3 or 4 new YouTube
- 20:25subscribers a day. And I did my first language
- 20:27tutorial and I got 16 new subscribers after that one.
- 20:30I was like, that's 4X success. That's 4X of where I was.
- 20:33Anyway, I did #2 and that next day I got 25.
- 20:36And then I did #3 and the next day I got 50.
- 20:38And keep in mind, like that's 10X what I was doing beforehand.
- 20:40I pulled my wife in the room. I'm like, holy shit, Eliza,
- 20:44there's something. Here like like.
- 20:45I've, I've retold the story a few times, but like there's a
- 20:48few times in life when you notice that the ROI in your
- 20:51energy that you get, that you get sometimes, often in life,
- 20:55it's like you put out one unit of energy, you're getting like
- 20:5720% back. Like it's really not much.
- 21:00Like you might get some money, but you're not getting like
- 21:02fulfillment, you know, blah, blah, blah.
- 21:03At that moment in life, I was putting on one unit of energy
- 21:06and I was getting like two or three times back.
- 21:08Because you were getting energy I.
- 21:09Was getting energy like I couldn't sleep.
- 21:11Like I was just like I got to wake up.
- 21:13What am I doing today? Like what tutorial am I making
- 21:15today? Upgraded my setup.
- 21:17Like I was so freaking jazzed on it.
- 21:18Like I know I was like met Harrison, did all this other
- 21:21stuff. And just through that, just
- 21:23natural questions came around, like, how do you do better
- 21:25retrieval? All these business questions
- 21:27that I had beforehand, how do you do better on that?
- 21:29And one of them was for Needle in the Haystack, which is
- 21:32everybody was talking about long context.
- 21:34Oh, it's longer, longer, longer, longer.
- 21:36And I'd seen some tweets that were like, yeah, but it's
- 21:38actually not that good at long context.
- 21:40And I was like, you guys are idiots.
- 21:42Let's just go and test this thing.
- 21:43Yeah, there's a process we. Can follow like I was like,
- 21:45remember, I'm a data dude, so that's my craft.
- 21:47And all I saw in my head was a heat map and I was like the
- 21:50length. And then there was that whole
- 21:51question around like if the position of where your needle
- 21:54was had a factor into it, I was like, might as well throw a two
- 21:56by two because it's going to look pretty if if nothing else.
- 21:59And so I ended up doing that, and that's where Needle and the
- 22:01haystack came around. That's so wild, man.
- 22:03So now we were talking before about the reasoning models and
- 22:07just this test time compute and you have thoughts?
- 22:10Here's the undisputable fact, you spend more money at
- 22:12inference time, you get better performance.
- 22:15The open questions are, and this is where people argue with me,
- 22:17but I still believe it's open is does like for top, top frontier
- 22:21models, does asymptote sub 100% or can you get to 100%?
- 22:25I think there's too much money that you need to go figure out
- 22:27to go try to answer that question.
- 22:29That's a big one. So it's it's so high risk that
- 22:32why even try? Well, not high risk you it, the
- 22:36cost is guaranteed. You're gonna spend a shit ton of
- 22:39money. What you, what you get returned
- 22:41TBD on where it is. It's not it's not worth it right
- 22:45now. But here, here's the other
- 22:46thing. It's like I harp a lot on AGI
- 22:47and a lot of that stuff we're gonna get.
- 22:49We have really, really useful, economically useful models right
- 22:52now without having AGI. That's cool.
- 22:55Like that's great. I love it.
- 22:55That's value to the world. I'm a capitalist at the heart.
- 22:57Like I want good tools to be used for the good of humanity.
- 23:01LLMSO, 3O4, Mini, all that stuff are great tools that are going
- 23:04to bring us really, really good progress.
- 23:07The AGI conversation is a separate conversation and that's
- 23:09more of a theoretical, philosophical, scientific one
- 23:11around, well, what is AGI? How do you actually define and
- 23:13how are we going for that? Yeah, what is intelligence?
- 23:15What is intelligence and what's wild?
- 23:17What blows my mind is I'm I'm you're freaking get me going,
- 23:19man. I'm like ranting.
- 23:21Well, what's wild? Revving them up.
- 23:22What's wild man is that we don't have a formal definition of
- 23:25intelligence that the community relies on.
- 23:27It's for something as hot topic as AGI and what we have right
- 23:31now. It's making me wonder if it can
- 23:34be formally defined, if it hasn't already beforehand.
- 23:37There's a few stories I can tell in my head.
- 23:38One is it can't be. But that also takes a very
- 23:41humans are really smart approach.
- 23:43And we've seen many times over and over again that like humans
- 23:45are not as smart as we think we are.
- 23:47So the alternative is that maybe we just don't have a sensitive
- 23:50enough understanding about like the actual tools about what we
- 23:52need for it. But then the other story is the
- 23:55other story that you play in your head is like, yeah, it can
- 23:57be. We just don't we.
- 23:58Just don't know potentially. And we're never going to.
- 24:02Know potentially, yeah. And then there's there's a whole
- 24:05different subclass of intelligence, which is human
- 24:07relevant intelligence. So like there's a certain class
- 24:09of intelligence that you need to survive on Earth right here.
- 24:11That's what humans have. That's what we have and built up
- 24:13there. But if you if you really expand
- 24:15out and this is where we get into like more philosophical
- 24:17like in the in the grand scheme of things, the Earth is, is a
- 24:21pretty small piece, right. So if you're talking about
- 24:23universal intelligence and talking about like theoretical
- 24:26intelligence, and let's not go here, but I'll just, I'll just
- 24:30light the match. But if you, if you jump into
- 24:33people are going to think I'm going over the edge of this.
- 24:35But if you jump into like simulation theory, what's the
- 24:39intelligence that governs that type of thing that would make
- 24:41our own world that come from there?
- 24:43I guarantee it's not human relevant intelligence.
- 24:44And there's a there's a theoretical optimum that's that
- 24:46we're not even going to touch. But that's the other thing too.
- 24:49You got to walk before you run. We're going to start with human
- 24:51intelligence first anyway, reason was, I mean, they're
- 24:57great. I mean, you can scale them,
- 24:59throw more money at them, you get better performance.
- 25:00They take longer thinking for longer.
- 25:02There's big open questions on how these reasoning models
- 25:05actually work. And so one simple way to do it
- 25:08is the very first reasoning model that people ever came up
- 25:11with was they told the model, please think out loud 1st and
- 25:14then give me your answer that ended up doing better
- 25:17performance. Crazy, right?
- 25:19And then what you go do is you go train on processes like that
- 25:22for much, much longer. And that's another way to scale
- 25:25these things up. You say think for longer, think
- 25:26for longer, wait, reflect A reflection step.
- 25:29You know, and you say you say keep on going.
- 25:31Another method to scale these things up is you say, all right,
- 25:34I'm going to tell 10 of you, I want you to, I want 10 of you to
- 25:36think out loud. And then I'm going to see what
- 25:38all 10 of you respond. And I'm going to pick the best
- 25:40answer that comes from there. There's even further ways to do
- 25:43it, which is like, I want you to think of the first step in your
- 25:46process. OK, Now what are 10 potential
- 25:48steps that would come after that first step?
- 25:51I'm going to pick the best, the best one of those ten.
- 25:53OK, now I'm on Step 2. Think of 10 potential step
- 25:56threes. I'm pick the best one and then
- 25:58boom boom, boom and go all the way down.
- 25:59There's always latency and cost trade-offs that come with those
- 26:01things. But either way, I it's
- 26:04undeniable the performance you're getting from these things
- 26:06and how good they are, even through vibe anecdotes and even
- 26:09through RKGI performance. So they're very impressive.
- 26:12Yeah, so it's almost subjective and objective.
- 26:16Don't get me started dude. I mean, this is another one of
- 26:19my things. RKGI is a verifiable domain.
- 26:21Like you can just go check is the right answer right?
- 26:23What blows my mind is like, there's no right answer for how
- 26:26good a summary is, right? There's no right.
- 26:28There's no right answer for how good an AI took notes on your
- 26:32call and then went and put them into sales force.
- 26:34Like how good are the notes, right?
- 26:36Yeah, and how good are they to who?
- 26:38Well, so that's the whole point is you have to keep in mind what
- 26:43is the background engine, what is your eval engine in which
- 26:46you're evaluating these things from?
- 26:48With ARC, we can it's, it's, it's an equality check.
- 26:50We can tell we have the right answer.
- 26:52It is not right. Much of what drives the economy
- 26:55and drives humans and everything, the eval engine is
- 26:57human preference. Well.
- 26:58That's what I was going to say with ARC.
- 26:59Don't you find that the answers can be subjective?
- 27:04So if you're just looking at whether or not the task is
- 27:07correct, yes, If you're looking at claims as this is human,
- 27:11solvable or whatever, then it's a lot more subjective.
- 27:14There's a lot more subjective that comes from there.
- 27:16But in terms of eval engines, I have a priority order of my
- 27:23favorite eval engines back there.
- 27:24Number 1 is going to be physics. And what I mean by that is I
- 27:28think that the coolest thing that we could have AI do for us
- 27:31is discover new knowledge about reality, basically about
- 27:34physics. So you think about what is the
- 27:35right answer? Well, it's what does the
- 27:38scientific process say about physics as the, as the eval
- 27:40engine? That's so freaking cool.
- 27:41There's no umbrella that encompasses physics.
- 27:43Physics is what we're in, right? And so I think that's, that's
- 27:45number one. That's super cool #2 capitalism.
- 27:49And so you think about capitalism is a human contract
- 27:52of a set of rules that we all, we all play by the kids system
- 27:55and there's laws and there's how we choose to do things.
- 27:58Running a business is an experiment playing in that
- 28:01world, right? And so it's like almost like
- 28:03capitalism is the eval engine and like, I'm going to go try to
- 28:06make a whole bunch of money, but you got to do within the rules,
- 28:08right? And so like there's certain
- 28:09things you need to go for. So I think capitalism is a
- 28:11really interesting eval engine. And then human preference after
- 28:14that, which is like, how good is this summary?
- 28:16But the wild thing about human preferences, there's no, there's
- 28:19no way to like at scale quantify that, which is really tough,
- 28:24which is why when you do RLHF, you got to go spin up like date,
- 28:29not data centers, but like huge, huge conference rooms of
- 28:32hundreds and thousands of people giving you preference
- 28:34optimizations on which one's better, right?
- 28:37That's how you do it, which that's crazy, but that's what it
- 28:39takes in order to do these things.
- 28:40So go back real fast to this capitalism one or even the
- 28:44physics one, because in a way we are assuming that what is
- 28:51happening to us as humans is discoverable or is the engine
- 28:58eval engine. But potentially it's not.
- 29:00It's just us as humans, yeah. So a big caveat with that is the
- 29:03way that I think about it is if it's true, what we see is what
- 29:06we get. Like if it's true, that like
- 29:09reality appears to be what it is.
- 29:11And I know there's going to be like, even as you start to delve
- 29:14into like the quantum stuff and we don't know what's on the
- 29:16multi world side, Like we don't know what's on that other
- 29:20pending something surprising coming out of there, which I
- 29:22would love because it's like, I want the truth.
- 29:24And if that's the truth and freaking so be it.
- 29:25That's freaking awesome. Pending all that, assuming what
- 29:28you see is what you get, then I think what I say still hold on.
- 29:32Like I still think that the reality is if there's some
- 29:36unexplainable thing that like it's just out of our reach to go
- 29:38do it. I'm a little I'm AI like answers
- 29:42less that we don't have an explanation for at least, but
- 29:45like I'm I'm not ruling it out. I'm saying yes, that is a
- 29:48caveat. I'm operating looking at this
- 29:50way for it though. When I think about it, it's like
- 29:52there's something beyond our understanding.
- 29:56Yeah, potentially that is what we are going to get helped to
- 30:00understand. AI can help us understand it,
- 30:04but it's going to be outside of what we are looking at.
- 30:07Just like when you have the the chess move that is played and
- 30:11then later it's like, Oh yeah, of course.
- 30:14What? I never would have thought of
- 30:15that or it would have taken us decades to figure that out.
- 30:18Now we get to see. But that's a wild.
- 30:23I'm with you man. And humans are traditionally
- 30:26very poor at forecasting the unknown unknowns.
- 30:29And right now that's all I know. No notes and countless examples.
- 30:32Go and ask somebody about something in the 1800s.
- 30:34What would today be like? They have to have no freaking
- 30:36idea. They just had no idea what came
- 30:37from so that will that will happen to us like whatever
- 30:40happens. And you know, even with how
- 30:42accelerated these timelines people talk about, I mean even
- 30:45called 10 years from now like. You know what, I I had a great
- 30:48dinner 2 nights ago with a friend and he was saying I had
- 30:52as a thought experiment to come up with headlines for what 20-30
- 31:00would be saying in different magazines.
- 31:02So he was saying I created one headline for Wired and it was
- 31:08that teen 3D prints microchip in their basement type thing.
- 31:14So that was one. And then another one was, and
- 31:17this is a complete tangent, but it's trying to think forward on
- 31:20like, oh, what could be possible.
- 31:22He was saying data center on the moon opened or second data
- 31:29center on the moon is opened by the US type thing.
- 31:32And so you're like, well, maybe that's not too far off.
- 31:35Yeah, I'm both. Those are very intractable to me
- 31:38because the path to do those is you could lay that out like it's
- 31:42straightforward. If you said something that
- 31:45didn't have a clear obvious like lineage to get towards that,
- 31:48then I would start to think about it a little bit more.
- 31:50But yeah, I'm over the David Deutsch philosophy that all
- 31:53problems are solvable. And that's the argument for
- 31:55optimism, is if you believe all problems are solvable, then
- 31:57there's nothing out there that like should really worry you
- 31:59that much, because you can go figure it out, Go do it all.
- 32:02After he told me that, I was trying to think what would my
- 32:06headline be for 2030? Where would I go with that?
- 32:09Only 5. Five years from now?
- 32:11Four years and 3/4. We're going to be specific.
- 32:14Yeah. I mean, I mean, you kind of got
- 32:16to be with these things. It's like that.
- 32:20Quarter could be a big. Because I've been, I've been
- 32:22listening, I've been going deep, really deep on there's a big
- 32:25conversation around intelligence explosion, 30% growth or GDP
- 32:30growth rates and all that. And one of the criticisms I have
- 32:33with some of the more outlandish ideas is that they're not as
- 32:36tactical and they're not as concrete as I really wish that
- 32:40some, some of these projections were.
- 32:42So getting concrete saying four years and three quarters, it's
- 32:44like, well, damn, opening eye just came out with O4 mini this
- 32:48past week. When is O4 coming out?
- 32:50When is O4 Pro coming out? Could it be like at the
- 32:52beginning of 20252026? If so, you only got 3 years left
- 32:56for, for with those types of things to go for it.
- 32:58And so concretely, like, how are the how is the GDP going to go
- 33:0230%? How is that data center going to
- 33:05get up to Mars? How many like windows at launch
- 33:07windows are there left or even up to the moon or whatever it
- 33:09may be? So it's like what what I'm
- 33:12thinking about one thing that's caught my that's nerds on me a
- 33:15little bit is like, so Elon wants to go.
- 33:16He has a Mars window that he wants to go shoot for.
- 33:18Humans are not going to be the first.
- 33:21Yeah, why would? We Why would you?
- 33:23We already have the Mars Rover. We have the Mars Rover, and so
- 33:25humans aren't going to be the first one.
- 33:26So that means they're going to send optimists out there.
- 33:30Could you? Are we going to have AGI on
- 33:32Earth before that window? If so, then you pretty much have
- 33:36AGI on optimists because like you just go send a bunch of
- 33:39commands and so next thing you know, I feel a little bit like
- 33:41almost insecure, but then I need to remind myself not to be so
- 33:44emotional. But it's like, damn, humans
- 33:45weren't the first on Mars, so. You missed that one.
- 33:50You know, I mean, I'm sort of it sounds so lame, but to think
- 33:52about it, But that's that was my first reaction.
- 33:54I was like, damn, there's gonna be this robot that is
- 33:56intelligent, that's its own human being, but it's not a
- 33:58human. And then I think it's like,
- 33:59damn, am I just specious? And I just love like the human
- 34:02race so much. Then I need to open.
- 34:03It to claim this I wanted to plant that US flag on Mars.
- 34:06You know, I don't know, even if it's just like humanity's flag
- 34:10or whatever, maybe. But if you think about it that
- 34:12way, there's already been the Mars Rover, so how is it
- 34:14different than the Mars Rover and?
- 34:16That's where my biological baggage is bringing me down, you
- 34:18know, It's just. Because it's like a humanoid
- 34:20shape. Humanoid.
- 34:21I think it's less the humanoid shape for me and it's more just
- 34:25a generally intelligent being. That can do.
- 34:28It that's art, that's artificial, that can do it need
- 34:30to be. But isn't the Mars Rover?
- 34:32The Mars Rover is not being controlled.
- 34:33I think it is. I think it is.
- 34:35Don't they send it instructions and tell it to go do?
- 34:38That's a good question. I I should figure that out?
- 34:40Because it moves pretty slow then probably like weights like
- 34:42for like. We got it.
- 34:45Fact checked that one. Just goes and takes actions,
- 34:48yeah. It's like, what next?
- 34:49And you're like 3 minutes later or 4 minutes later, OK, turn
- 34:53right or pick up the raw. I mean, whatever.
- 34:55I don't think it's that far off. I feel sure it's like that.
- 34:57That's funny. Yeah.
- 34:58I thought it was a bit more autonomous.
- 35:00Yeah. And or maybe they send 3 or 4
- 35:03instructions at once and if it fails, then resend them or
- 35:07figure out where we're at now. Something like that.
- 35:10Somebody will have to give us that one.
- 35:11Because that is that is hilarious.
- 35:13What else you've been thinking about?
- 35:15Yeah, well, in terms of headlines, I still haven't given
- 35:17you a headline I'm thinking about here.
- 35:19So headline 2030 Wired says it I, I don't think it's outside of
- 35:26the question that there could be a headline that says humans are
- 35:29no longer able to come up with questions that AI can't answer,
- 35:34which is, isn't that sensationalist.
- 35:36Like it's kind of muted from a sensation standpoint.
- 35:38Like if you use our definition, like the, the observational
- 35:41definition of AGI, that what what are the problems are there
- 35:45right? But I.
- 35:46Still wonder if there's a world where you have run out of
- 35:50questions but you're still not seeing it, where every once in a
- 35:53while you'll find that question. It's not that you can find 100
- 35:56of them, but there's still those stupid questions where it is
- 36:00like the strawberry or the 9.11, Yeah.
- 36:02And here's the thing, I don't want to give the viewer the
- 36:05impression that I'm relying on this as a formal definition.
- 36:07It's I think it's a pretty good working definition for sure.
- 36:10It's easy to communicate and it's easy for us to go against.
- 36:13I think we'll come up with a formal definition.
- 36:14But to your point, how often do you ask a human a question?
- 36:18And it's like, what were you thinking?
- 36:23You know what I mean? So like as efficiency is such a
- 36:26good big, big piece of this here.
- 36:28It's like that Will Smith I robot meme that keeps on going
- 36:30around. You know, it's like you ask me a
- 36:31question. Can you right.
- 36:33So. Yeah.
- 36:33So then I I could see that though, yeah, we can't come up
- 36:36with more questions or we have to have AI come up with the
- 36:40questions that it can't answer. Potentially and you know that
- 36:42that's a whole another I think that's a very under explored it
- 36:46it it's talked about using AI to help build AI to help align AI
- 36:51to help test it, you know, all that other stuff and that that
- 36:53will happen because like, again, definitions are important, but
- 36:56like, look at all the people using cursor right now to go
- 36:58build AI models. It's like, is that using AI to
- 37:00help you build AI? It's like, yeah, it is.
- 37:04So it just depends about how direct you want to use AI for.
- 37:06But yeah, So what we're thinking about for RKGI 3, because we're
- 37:10coming out with RKGI 2, it's going to get beaten one day,
- 37:12right? We know that RKGI 2 could be
- 37:14brute forced. So if you give a data center's
- 37:18worth of compute and energy and time like a month worth of data
- 37:21center, yeah, go brute force it and literally try all random
- 37:23permutations using one of the DSLS to like try to solve ARC,
- 37:27Yeah, you're going to figure it out.
- 37:29But that's why efficiency is a big piece of this.
- 37:31Then the energy and the cash that you need to do go do that,
- 37:33isn't it? Doesn't make us interested
- 37:35because it's a verifiable domain.
- 37:36Do you consider Arc 1 beaten because of that 87%?
- 37:41Like is 87% a pass grade? That's like AB?
- 37:44Plus for a long time we talked about 85% being basically human
- 37:49human threshold on RKGI 1. I think that much like the
- 37:54battle of MMLU where people were like we got 88.8, well we got
- 37:5888.9, well we got 90.1. It's like at that point you're
- 38:02redlining where your signal is actually telling me for you and
- 38:05you're actually losing signal and that you know, you get
- 38:07diminishing returns on the signal that comes from it.
- 38:09So I think the RKGI one for anything between like 5 to
- 38:15probably 90%, I think it gives you really good signal on where
- 38:18something is anything outside those bounds, it is not going
- 38:21to, it isn't giving you a ton of it for it.
- 38:22So I think it's still a really useful tool today for it.
- 38:26It'll eventually go out of vogue, though, once models get
- 38:29so good. At it, it's getting closer and
- 38:31closer, so it's almost like you see the end of this total
- 38:35lifespan. And like, here's the deal.
- 38:36It's like benchmark. There isn't 1 benchmark to rule
- 38:39them all. Like even if you wanted to
- 38:41understand a model's capabilities, you need a
- 38:43portfolio. Not only that, but look how many
- 38:45benchmarks like had their place and then we're phased out
- 38:49because they did their job. Like just even for example, look
- 38:52at Imagenet. What happened with that 2012, a
- 38:55big data set of images that had a huge impact on the industry
- 38:59and it did its job. Would anybody go and do they
- 39:01report? They didn't report on Imagenet
- 39:03today and that's OK. They have other types of
- 39:05benchmarks where they need to go deeper into like image vision
- 39:08capabilities in order to get a better job about it.
- 39:11So that's where RKG I2 sits. But like I said, we're not
- 39:13seeing meaningful, meaningful performance on it yet to to have
- 39:16it give us a ton of signal. Brute force it if you want, but
- 39:20then you're kind of defeating the purpose totally, and so even
- 39:24though you can do it, should you?
- 39:28So we run an, we run a Calico competition to try to beat our
- 39:30KGI too. The incentives there are to beat
- 39:33it at any means necessary because we have money on the
- 39:35line and within the competition rules.
- 39:37There's no type of solution requirements.
- 39:40So people brute force the crap out of that all the time.
- 39:42Like that's that's a whole other part of my life.
- 39:44It's like if anyone was talking to me about benchmarks, great.
- 39:46I love, I can talk about all day long.
- 39:47If anybody wants to talk to me about running an AI competition,
- 39:50talk to me about it all the time.
- 39:52We did it all last year. We put $1,000,000 up to anybody
- 39:55who could beat Arc AGI on Cagle and nobody was nobody was able
- 39:58to. But like we saw leaderboard
- 40:00probing, we saw people getting around the rules.
- 40:02We saw where our incentives were.
- 40:04We made assumptions about competitors, participants
- 40:07incentives. We're not in line with our
- 40:09assumptions. Wait, how?
- 40:11So? Yeah, basically, if somebody, if
- 40:15you wanted to win prize money, you needed to open source your
- 40:18solution. We thought that the money being
- 40:21a monetary incentive would be enough to make people open
- 40:23source their solution. There was one group out there
- 40:26who had a really strong solution, really, really
- 40:27awesome, and they made the choice.
- 40:30I'm not actually, I'm not exactly sure to the exact reason
- 40:33it was, it was one of two. It was either we think that we
- 40:35have a better chance at not open sourcing our solution and
- 40:38competing next year for the grand prize to do really good at
- 40:43it. And so they wanted the $700,000
- 40:45instead of just the the the yearly $100,000.
- 40:48Or it was because it was so close to their startups
- 40:51proprietary information that they didn't want to open source
- 40:54it. Both of which are not
- 40:57necessarily in spirit of what we were.
- 40:59Look, we were aiming for as a competition, but we did not
- 41:02properly construct the incentives enough or communicate
- 41:06early enough that this was an issue.
- 41:08And so we basically did what we could, which is we took him off
- 41:11the leaderboard because you're not, you're not placing if you
- 41:14don't open source. And then this year we made a lot
- 41:17more. We're being much more clear
- 41:18about our intentions with. How did?
- 41:20How are you aligning incentives though?
- 41:23Through better communication. And then not only that, this
- 41:26year we have a public and private leaderboard.
- 41:27So the leaderboard that's that's seen right now is all just based
- 41:30off of public data. But the final leaderboard that
- 41:33says whether or not you've you've even placed their done
- 41:35well is all in hidden data. And if you want to get your
- 41:37private score, you need to. Open source, OK, yeah.
- 41:41So we're, we're hoping that that does it either way.
- 41:44We're not talking about hundreds of thousands of teams here.
- 41:46We're talking about maybe 10 teams that are in the running.
- 41:49I can go and I can go and have conversations with each one of
- 41:51those 10's and make sure that they're seeing it the same way.
- 41:55And also the gaming of the leaderboard, you saw that?
- 41:58Yeah, I mean, so people get creative because like.
- 42:01Money's on the. Line money's on the line.
- 42:03And Caglers are professional competition people.
- 42:06They're really good at data science stuff and they're really
- 42:07good at playing competitions. And so one thing that I saw is
- 42:10that they will try to suss out attributes about ARC tasks one
- 42:15at a time. And what they'll do is, is
- 42:18they'll put in a wait statement in their script that says if you
- 42:21see this current task attribute wait 50 seconds.
- 42:24And then when they submit their solution to Cagle, they say, did
- 42:26it run instantly or did it wait 50 seconds?
- 42:28And then that's way that that's a way you can tease out some
- 42:31more information about it. Because the only other
- 42:33information you get is you get a score that you only get.
- 42:36You get a single integer, which is your score out the other end.
- 42:38You can't really tell that much information about that.
- 42:41Cagle tries to prevent that a little bit more with some
- 42:43obfuscation about how long it actually took.
- 42:45But people, people get creative like that.
- 42:48And now with the ARC prize two, yeah.
- 42:54Do you have to create a variety of different tasks or is it very
- 43:01much in all right? We're in this one field trying
- 43:04to. Do it well.
- 43:04So you brought up a question earlier which was good and I
- 43:06didn't answer it fully, which is does it take a lot of research
- 43:09and like deep thinking to build these things?
- 43:11So I would say for Francois's paper in 2019, that's what a lot
- 43:14of work to put that, that hypothesis together, that formal
- 43:17definite or that that definition of intelligence right out of
- 43:20that came, OK, using this definition of intelligence, what
- 43:24would a problem look like that would actually go and test these
- 43:26things? And that's where the arc
- 43:27paradigm came in. So what it is, is basically you
- 43:31have an input and you have an output grid and it's just, it
- 43:33looks like a checkerboard and you see, OK, the input turns
- 43:38into the output. Some way I need to figure out
- 43:40how to how do you transform the input into the output?
- 43:42You get a few examples and then you get a test.
- 43:45And on that test, you only have the input and what your goal is.
- 43:47You have to go sell by sell and type out what the output would
- 43:50be. The important part is that each
- 43:54separate problem on ARC AGI requires a different rule or a
- 43:59different transformation to actually solve.
- 44:01So what I mean by that is let's super variety, super variety.
- 44:06And it's almost like it's a meta thing.
- 44:07I'll get why this is important in a second.
- 44:09The the way that why this is important is let's just say 1
- 44:12arc task has a square on it and on the input outputs, all you're
- 44:15doing is you're just adding a border to the square.
- 44:17OK, now we're on the test input, we're going to give you a
- 44:19square, we're going to ask you and on output, you just need to
- 44:21put a border. OK, cool.
- 44:24That border transformation rule will only be asked once on
- 44:28another task. What we might ask you to do is
- 44:31fill in the corner of every single shape and go fill in the
- 44:33corners of all those different shapes.
- 44:35And So what we're what we're forcing the tester to do is
- 44:39learn the new mini skill in each one of those questions.
- 44:43And then we're forcing you to demonstrate that you've learned
- 44:45that skill on the test. By doing.
- 44:47It by doing it which goes back to the definition of Francois's
- 44:50Francois's definition of intelligence, which is learning
- 44:52new skills that. Is so simple for us, right?
- 44:58Like write a border on a square. But it is.
- 45:00But it's exactly that and the reason.
- 45:02Why it's so hard for machines is because humans are very good at
- 45:04abstraction and reasoning. It's like, oh, duh, just put a
- 45:07border. Yeah, OK, but that's actually
- 45:09really hard for AI to go do. Now arc one, people are like,
- 45:14oh, it's so simple. It's not a good test of AI.
- 45:15Well, keep in mind for five years it was unbeaten, right?
- 45:18And it actually pinpointed the moment like right when models
- 45:20started to get good was the exact moment that reasoning
- 45:23models took off. OK, that's just something really
- 45:26interesting about reasoning the models and using Arc 1 as a
- 45:29capabilities assertion. You can actually tell something
- 45:31about reasoning the models that there's a non zero level of
- 45:34fluid intelligence that actually comes from that, which is very
- 45:36cool. Arc 2 is a simple extension of
- 45:38the Arc One domain. We still have input output.
- 45:41We still ask you to do rules that the the difference with it
- 45:44is that the rules are much deeper and they require a bit
- 45:46more thought from a human perspective.
- 45:48Go to go do it. So instead of just doing a
- 45:50border, we might ask you to do a border and do the corners.
- 45:53So there's or put next and now there's 2 rules.
- 45:56I won't go to the details on it. We actually have a full Francois
- 45:59put it together. A we hosted a private preview of
- 46:02RKG I2 for donors for for our price because we're a nonprofit.
- 46:05I should have said that earlier nonprofit.
- 46:07And he gave a 30 minute presentation on RKG I2.
- 46:10Wow. But where I want to talk about
- 46:12RKGI 3. Of course, RKGI 3 is going to be
- 46:17departing from the RKGI 1 and RKGI 2 framework.
- 46:20Style of doing it. Style of doing it.
- 46:22So it's very scoped and narrow domain.
- 46:24If you just have matrices input, output, you know, if it's very
- 46:27scoped, you don't have very many axes of freedom for that.
- 46:30So we are taking inspiration from simulations and games.
- 46:38So back in 2000, I think 2017 DeepMind, they put together an
- 46:42exploration, they called it Agent 57.
- 46:44So they tried to get an agent, more or less an RL agent, to go
- 46:47and try to beat a bunch of different Atari games, right?
- 46:50There's like 4 that they didn't solve, which is super
- 46:52fascinating. What arc AGI one and two don't
- 46:57allow you to don't make you do is they don't make you figure
- 46:59out what is the goal. They don't make you figure out
- 47:01the rules of the environment. They don't make you have long
- 47:03term memory with hidden states. So like you learned something
- 47:06early on in the game and you have to remember that that thing
- 47:08still applies later on in the game.
- 47:10And So what I tell people is if, if you can make an AI that beats
- 47:13one game, well, we've done that a bunch.
- 47:15We've made AIB chess, we made AIB go.
- 47:17OK, cool. If you can make an AI that beats
- 47:2050 games, that's much more interesting.
- 47:25But the problem is that those 50 games are all public, and you
- 47:27can have developer intelligence and developer intuition as to
- 47:30how to go beat those 50 games. What arc AGI 3 is going to be is
- 47:34we're going to make AI beat 50 games it has never seen
- 47:37beforehand, and they're each novel from each other.
- 47:40And that is a much further extension and actually is a
- 47:45freedom about where we're taking this.
- 47:46What you can assert about the model that beats it is it will
- 47:49have had no choice but to interact with this environment.
- 47:52Learn the rules of the game in 50 different novel situations.
- 47:55But you're not letting it just simulate for hours and hours.
- 47:59Or maybe you are. That's the test time.
- 48:01Compute. Type thing we will, and that's
- 48:03where efficiency comes into it. And So what we're going to do is
- 48:05we're going to go test 400 humans on those 50 games and
- 48:08we're going to see how many actions does it take for a human
- 48:10to actually solve this and how many actions does it take for AI
- 48:13to go solve it. So that's where we get our
- 48:14efficiency that comes from it in addition to cost and energy that
- 48:16comes from that. I think we got to go.
- 48:19I just saw beautiful man boss man.
- 48:20That's a great way of ending it. We'll cut it there.
- 48:23This is too good. You were awesome, man.
- 48:26This is great. But it was perfect.
- 48:29It was like.