Mike Knoop

speaker
927 appearances 4 recordings 1 series first heard Mar 2025 last heard 18 Nov

Mike Knoop’s voice in public audio — every appearance, attributed to the second.

Trend

recordings per month · last 12 months
1 · Nov OctJan 26AprJulnow

Recordings per month over the last 12 months — 1 in all, peaking in Nov 2025 with 1.

Appearances

newest first · ▶ plays the moment
You're gonna continue to see amazing frontier headlines just just on just on this fact.
There's really no new sort of I I think discovery that's that's quite needed there.
Um
You know, I think the uh if you're kind of pushing more towards the AGI side, then like what's what's sort of missing, like
W one question I have, um, that is an open question.
Is
So we've got like
You would think that based on like a hundred X to three hundred X increase in efficiency we've seen from AI reasoning systems over the last twelve months, that we would trade that increase in efficiency for inference tokens to do
more like search coverage over the problem space when we're giving these systems tasks or problems that we want them to solve.
And this is one of the big reasons why I sort of expected if we can solve half of V two, you'd get 100% on V1.
And it seems like these air reasoning systems are are are like not
sort of fully exploring all of the search space uh that they could in order to sort of look for solutions.
Um and so I have like kind of an open question of like, well, how much of the search space can they cover?
And what do you need to change about the training methodology or process to like actually guarantee that you can get full coverage over the search space of like possible programs or possible solutions?
Um and I and so that's kinda what that's like one interesting thing that I'm paying a lot of attention to right now.
results you've heard about in the last 12 months are kind of at this merger of like deep learning and like symbolic program synthesis style methods.
The ICP ICPC, the IMO gold, the Gemini three stuff today.
Like
these are all systems that are you know, it's still fundamentally using an old language model, but they're adding symbolic knowledge recomposition systems on top of these things.
They all work slightly differently.
Showing 221–240 of 927 · page 12 of 47 ← Previous Next →