Alpin Yukseloglu

So even small...

Additions of friction lead to, you know, when you need to cut scope in some capacity, you kind of have to cut it in the direction of the stuff that you can do more easily first.

That being said, I think the point about the fact that, you know, one, crypto's verifiability is a huge edge, and two, these models are becoming less and less data hungry when it comes to learning new programming languages.

I think it may end up being more even of a playing field than it might seem.

Yeah.

And I think, you know, at least we have an intent and interest in actually going across ecosystems and down the stack to the protocol layer and making this sort of more expansive of a crypto flagship benchmark.

But yeah, right now there are obviously network effects around the EVM.

One other example of a counterintuitive reason why someone like Solano might be able to catch up is that

At first glance, it may seem really bad that most of the contracts are closed source.

But if you take the worldview of actually, if it's open source, it gets in the training set, then the closed source benchmarks and training and contracts for training might actually be more valuable for a model's development.

because it's not in the train.

Now, for example, we have these sort of what are called canary tags in various parts of our evaluation that filter them out of the training process of most models.

So there are tricks you can do.

But still, it's possible that the bugs in EVM Bench over time leak into the pre-training of the models.

Whereas if it were a closed source, it would not leak in at all.

So my expectation is actually that, you know, there will be some asymmetry at first, but actually the models will get really good at all of it.

And there will be sort of a merit-based sort of, you know, the best will rise to the top.

Well, I mean, I think it is.

I think it is a real thing.

Last year, we invested in a company called Harmonic, which is a foundation math model co-founded by Vlad Tanev of Robinhood and Tudor.