Ilia Shumailov: belief

Transcript context

…Well, I have the opposite problem, which is when an app asks me for stuff I don't understand, I don't install it. So unfortunately, I just can't have many, you know, theoretically useful apps. I think in your case, you're an unusual person. Yeah. Most of the people are not like this. Yeah. Exactly. Like, kind of some kind of Luddite or something. But I wanna just push back on 1 thing about the the halting problem. Because I find actually that it has very practical consequences. So for example, when we were talking to the Alpha Evolve team. Yeah. Right? Like, you know, they're As part of the Alpha Evolve system, which is very interesting, I recommend people watch that episode, you know, it goes and runs external verifiers. Yeah. Right? But the problem is, you don't know if the external verifier is gonna complete. Yeah. So what do you do? Well, you have to put in some arbitrary computational budgets, thresholds. If it doesn't complete within, you know, 5 seconds, then you just terminate it and, you know, look at other runs. So while you can do that, I think it also introduces biases and the types of programs we can discover. Right? Because maybe if I had set my budget to 7 seconds instead of 5, I would have found like a more optimal solution. Right? So I think the halting problem, while theoretical, like, also has very important practical consequences just when you sit down and try and run a program. Right?…

Stored transcript either side of the excerpt. The highlighted words are the published quote; the surrounding text is unedited source, never generated.