Yi Tay

speaker

925 appearances 1 recordings 1 series first heard Jan 2026 last heard 23 Jan

Yi Tay’s voice in public audio — every appearance, attributed to the second.

Trend

recordings per month · last 12 months

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

Appearances

newest first · ▶ plays the moment

Latent Space: The AI Engineer Podcast · Captaining IMO Gold, Deep Think, On-Policy RL, Feeling the AGI in Singapore — Yi Tay · 23 Jan 2026 podcast

I think yeah.

I mean AI researchers are quite good at hill climbing.

want to give a little bit like a special disclaimer is that I know nothing of the

Right.

So I think the wonderful thing about this era of LM is that like you can be a like

uh AI researcher and engineer and you don't have any domain knowledge and you can still yeah source or get a gold medal in the universal tool that you don't know anything about.

I I can't pass this at all.

Like this is foreign to me.

But like uh maybe a proof is a particular kind

So I think there's good there's a lot of aside from proofs, there's a lot of domains that are like non verifiable and I think not not easy to verify.

So it's like when m people mean non verifiable, it's like non trivial to verify or like just not as it not as easy as like the solution of like a math r problem because proofs are long form and it's also that's why it's non trivial to to verify unless you convert it to lean and then you do all the kinds of things, right?

So I think there's a lot of work to be done.

In like this start non verifiable domains, yeah.

I'm getting to this territory where I'm not sure whether what I can say or what I cannot say.

Okay, so we

I was not directly involved in the I C P C but I was

related.

To some extent,

How does the F Right?

So I think there were four captains for the IMO, two from London, Jonathan was from Mountain View, I was from Singapore.

Showing 201–220 of 925 · page 11 of 47