[0x3f]

> Whether these were unsolved due to being seriously untried by humanity, or because of their difficulty, isn't relevant

That seems very relevant to my evaluation. I can pull out my calculator right now and solve a problem no human ever has.

[827a]

True! But calculators are already priced in. LLMs now unlock a whole new class of problems that we can automate the solutions to; what we're seeing is the markets trying to figure out how to price that.