Lex Fridman Podcast
#447 – Cursor Team: Future of Programming with AI
Aman Sanger
Like math is a great domain because especially like formal theorem proving because you get this fantastic signal of actually verifying if the thing was correct. And so this means something like RL can work really, really well. And I think like you could have systems that are perhaps very superhuman in math and still not technically have AGI.
0
💬
0
Comments
Log in to comment.
There are no comments yet.