Amnon Shashua19:44
So I'll divide the answer into two. First, I just want to be clear, everybody here is a developer, they're very worried. Yeah, yeah, yeah. So okay, so I'll tell you first, at Mobileye we did a test of using Copilot, right? By the way, today we're not using Copilot, there are open-source alternatives that are even better than Copilot and they cost much less. So we're not using Copilot anymore, we're using open source. But we did a test on using Copilot and what we found out is that it introduces more bugs than a regular developer. And the amount of time it takes you to discover those bugs, and some of the bugs are really very, very subtle, because it looks great and the syntax is correct, and the time it takes to remove the bugs is more than the time it takes to write the code, right? So it actually slows down development, because again we're talking about production code, right? Not something that kind of works, right? It has to be production code, it's in cars, it has to work perfectly and so forth, right? But now, to your question, well, a year ago I founded another company which is still in stealth, because I don't have 100% guarantee we'll be quiet about it, you can just share everything here. It's called Double AI. It's three of my former PhD students, my colleague Shai Shalev-Shwartz, you know, professor at the Hebrew University, is also CTO of Mobileye, we are together for more than 25 years, and it's about seven employees to tackle exactly this problem. How to build, so instead, I don't subscribe to AGI because I think the G is ill-defined. I do subscribe to AI expert. So the kind of question, I remember about a year and a half ago I gave a kind of a lecture at IDC, today it's called Reichman University, right, at IDC about language models. So it was just the beginning, ChatGPT came out, and Gil Kalai was in the audience. So Gil Kalai is a mathematician, and when I finished he told me, do you see any time in the future where this kind of technology can be a great mathematician, can be a great physicist, a great scientist? I said I don't think so, right? I don't know, but it kind of lingered in my head that maybe you can. So this is what Double AI is trying to do, especially in the coding area. And what is missing in order to, you know, give it a problem and getting a solution that is correct, solution means a piece of code that is correct, there are two pieces. One is the precision that I mentioned before, right? Because take for example o1 and give it some problems from Codeforces. So Codeforces, everybody here knows Codeforces. You give a problem from Codeforces, say take 100 problems from Codeforces. It's a bit tricky because if it's old problems, then during pre-training, you know, you already got the problem, the model already learned the solution. Yeah. But let's assume you take new problems which are after the cutoff date of training, and you'll see, o1, which is the best, will solve 20% of the problems, all right? But the other 80%, it doesn't know, it didn't solve it, will give you simply the wrong solution, right? So this is not useful. So you need precision, not only recall. You need to say I don't know how to solve it, that's okay, but if you do give me a solution, I want guarantees that it's correct, because for me checking the solution will take more time than writing the solution. So first is the precision, how to build precision into the language model, this is one task what this team of seven people are doing. And second, this definition of intelligence that I mentioned before, how to create generalization during inference, because this is how an expert works, right? You receive a problem, the first thing you do after you understand the problem is you write down a number of kind of input-output examples, kind of toy examples, so you can start thinking of it, and then you try to discover a rule that will fit those samples, right? So this is exactly the process of generalization, right? But you do it during inference. So those are the two areas that the company is working on. I cannot guarantee now that there will be success, but it looks positive, it looks very, very promising. So hopefully maybe in a few months I can reach to a point where I say yes, we have found out the right thing, and then really go and raise money.