Alpin Yukseloglu

fundamentally a social issue.

And it's sort of tied to all of these dynamics around like, you know, you see someone who gets extremely wealthy, who you don't think should get extremely wealthy.

Like maybe it was like there's a lot of volatility in the industry and like there's some person who you don't respect who made a lot of money.

Like these are all kinds of things that go on in the minds of like the AI researchers at these labs that lead them to think that the whole industry is a scam.

And, you know, obviously there's, this has made it an incredible environment to be investing in crypto because it's just not in the Overton window of anyone in the Valley.

But, but I think, I think that's a core dynamic.

Yeah, I mean, historically there has been.

And part of the reason, you know, one component of what motivated us to start this work was the realization like, man, these models are so good at Python and so bad at Solidity and so bad at, for example, like Solana related code.

Honestly, anything that touches crypto.

And...

Part of my expectation at the time was that we were going to have to go crowdsource a bunch of data from the industry and spoon feed it into the labs to get the models really good at this.

But it turned out that because the substrate is so verifiable and also because there's sort of generality in these models,

they ended up getting quite good, much faster than we expected with much less input than we expected.

So there's this dynamic where if you teach a model, a poem in English, and then biology in Spanish, it figures out how to write a poem in Spanish, even though you never described how to write poetry in Spanish to the model.

And I think that kind of dynamic is happening here as well, where it's sort of like, quote unquote, learning the language of crypto without as much direct training data

And also just because like very hard to like underrate the verifiability of the thing, right?

Most software is hard to verify.

You need human labelers to go in and check, is this thing correct?

Is it running?

Kind of the only threshold of verifiability you have is does the program compile and does it pass the tests?