No it’s actually shit right now, and what he’s talking about is the solution, needed now.
Seriously if you code, do a Codex (or whatever) project in a language and framework you know nothing about just using AI, no coding. It wows at first but starts diverging more and more from your mental model, until small requests require complete redesign each time and it starts breaking. In other words it happily diverges from human representational understanding of the project, to the point you realize your own requests were contradictory with earlier ones you made, because without the mental model you build of a project by coding it, you don’t track on it, your commands become inconsistent. That’s happening in math, it’s going outside the space of what anyone understands, and so the enrichment of the mathematicians internal model is lost. This road ends in Matrix level total misalignment, humans have to be able to communicate what they will to it, and their will has to be shaped by what is, it’s a back and forth of shaping each others understanding. Without that abundance really is a wire jacked into your skull in a pod.
Seriously if you code, do a Codex (or whatever) project in a language and framework you know nothing about just using AI, no coding. It wows at first but starts diverging more and more from your mental model, until small requests require complete redesign each time and it starts breaking. In other words it happily diverges from human representational understanding of the project, to the point you realize your own requests were contradictory with earlier ones you made, because without the mental model you build of a project by coding it, you don’t track on it, your commands become inconsistent. That’s happening in math, it’s going outside the space of what anyone understands, and so the enrichment of the mathematicians internal model is lost. This road ends in Matrix level total misalignment, humans have to be able to communicate what they will to it, and their will has to be shaped by what is, it’s a back and forth of shaping each others understanding. Without that abundance really is a wire jacked into your skull in a pod.