Ilia Shumailov: belief

Transcript context

…The the Well, no. But that that that's part of my point is they specifically chose problems for which they had verifiers that had pretty predictable completion times. But that's not the case for many important problems we care about in the sciences. Right? So I'm just saying we're we're skewed a bit towards things that we do know a lot about because we are faced with this fundamental problem that there's lots of problems that you just can't predict. Right? Yeah. I'm not sure. I I think, like, I understand in the limit Okay. It it really matters. Like, in generality, this is really mattering. But in practice, like, it's the same with antiviruses. Right? Like, antiviruses in theory also limited by halting problem. Like, in theory, it should be impossible. You look at something to tell what it does. At the same time, if you look at, like, the amount of, excuse my French, shitty malware you can find for which these antiviruses are totally useful. Like, even a static check for a signature of a method is is is totally fine. Right? Okay. You can't find this polymorphic magical cryptos. Right? But, like, the proportion of people using this thing is, like, is super tiny. Well, but I mean, come on. Let's be honest. A lot of those are are easy because virus creators like to sign their work. So you just look around for their their sort of like signature string and things like that.…

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