AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
3min chapter
#381 – Chris Lattner: Future of Programming and AI
Lex Fridman Podcast
The Future of LMS
I'm not super optimistic about AGI being solved next year. I don't think that's going to happen personally. There has been work on building algebraic reasoning systems and kind of like figuring out more things that feel like proofs. But if you chase that rabbit hole down, the question then becomes, how do you express your intent to the machine? So maybe you want LMS to provide the spec, but you have a different kind of net that actually implements the code.
00:00
Transcript
Episode notes
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode