"I think we're probably looking at AGI 2030 around the time uh that we're going to be releasing like maybe AR 6 or AR 7. You're not going to stop uh AI progress. I think I think it's too late for that...."

"Today we're lucky to be joined by France Chole, founder of the ARK Prize, a global competition to solve the ARC AGI benchmark. His latest project is NDIA, a lab exploring a new paradigm in frontier AI..."

">> right? So NDI is this new AGI research lab and we are trying some very different ideas and so our goal is basically to build this new branch of machine learning that will be much closer to optimal ..."

"where I got to 40,000 stars this morning >> on uh GStack. So it's like, oh, this is an open source project that now is one of the biggest ones and I have more than a 100 PRs from contributors to deal ..."

"we're replacing the parametric curve with a symbolic model that is meant to be as small as possible. It's like the simplest uh possible uh model to explain the data to model what's going on. uh and of..."

"optimality and so I'm trying to sort of like leaprog directly uh to optimality like to build to build the foundations of optimal AI today but in general you know our vision is very ambitious and I'm n..."

"there's bugs compiles etc and mathematics as well where there all the theorems and proofs work out I guess it becomes more nebulous when you go couple degrees off where there fields that are not natur..."

"and so on. And so that means that uh the model was not just working from human pro annotations. It was actually trying its own things uh verifying the answer and uh and generating a lot lot more strin..."

"potentially uh round to do. >> Do you think it's possible that we will accomplish the first definition of AGI, the automate most economically useful work before we accomplish your definition? >> Absol..."

"you know around that time around like 2015 2016 was that deep learning was extremely general that you could do everything with deep learning that you didn't need in anything else. It was training comp..."

"help with uh reasoning problems and in particular uh first order logic problems uh uh theorem proving and so on. And I started finding that you could not really get cryion descent to encode uh uh sort..."

"models so performance of of basel lamps on on v1 stayed very very low even though in the meantime you know we had scaled up these models by 50,000x right so it was really telling you that you know mor..."

"getting any smarter right now like at you know age 45. But you know I can learn how to do things and that's sort of what's happening with the models as of like late. >> Yeah, absolutely. When it comes..."

"ability to model its environment we're also looking at uh its exploration efficiency its ability to acquire goals on its own like goal setting and of course its ability to plan uh through the model of..."

"involved uh in these games. >> It's like one of those uh IQ tests that are just pattern matching but now it has time series. >> Yeah. Uh it's not just time series it's interactive. must create your ow..."

">> Yeah. Yeah. >> Do you ever think about it in terms of like well it would fit on a floppy disc? >> Well, okay. There there are two things to separate. There's the sort of like fluid intelligence eng..."

"four, five, six? Can you keep making it harder? >> Yeah. Yeah. I think there there will absolutely be ARK 4 and and AR five. I mean, we're currently planning ARK 5. Um the the point of the AKGI benchm..."

"amount of comput and resources that we've thrown at uh deep learning and and gradient descent and and scaling that up if you had thrown the same amount of investment into almost anything else you woul..."

"top of the current stack with their slightly alternative like uh state space models for instance uh there's the the XLSM architecture like you you can basically you know current frontier is it's it's ..."

"simple and intuitive. There was this big big focus on usability and this was inspired by scikitlearn like scikitlearn was sort of like the og uh machine learning library for python and what made it su..."

"this new development into an opportunity into into a tool they can use for themselves to improve their own lives. I think that's that's the right mindset because you know you're not going to stop uh A..."