
Ep 186: Brett, Naval and more on AI & AGI
ToKCast
Syntactic Logic and Reasoning
The chat JPT has to be given the prompt. It's riffing on stuff that's already there, invented by Seinfeld and Larry David. We can give it tasks to do because we have the problem, but it doesn't have the problem. And even the really impressive stuff that it does, like I said, who would ever think of constructing a mathematical proof using poetry? Well, I know who does, a person does. But it's not chat JPT that thought of doing that.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.