Justin Drake

But I don't want to say this out loud.

You don't want to live in that pessimism.

Yeah, exactly.

I don't want to discourage myself and make my life miserable.

And maybe more importantly, I don't want to discourage other people and have them lose hope.

And so...

I think we should just be doing our best with what we have.

The future is highly, highly, highly unpredictable.

And so even though like my PDM kind of went way up in the last few weeks and months, this is a strong opinion weekly held.

And I want very smart people to come forward and tell me why I should not be so scared and much be more optimistic and more hopeful.

And just as I said,

I've only been thinking about this for literally weeks and months.

I'm just scratching the surface.

The big wake-up call for me was Opus 4.5, where Emil told me,

From this point onwards, AI is actually helping me becoming more productive.

Before that, it was kind of net slowing me down.

And then what we've seen in the last few weeks is more and more impressive results.

So for example, about a month ago, one of the key lemmas in the hash-based snarks, it's called the Polyshock Spillman lemma, that was proven, formally verified, in eight hours, and it cost $200.

Something that would have cost...

a hundred times more if a human were to do it and would have taken a hundred times more time if a human were to do it.