I doubt Richard is proposing to ignore coding automation trends; I took him to be arguing that recent progress isn’t necessarily on track to deliver on AGI in a few years. I’m also skeptical of confident short timelines, especially on the basis of these kinds of arguments. The relationship between “coding automation” and “AGI” seems tenuous to me in a way that people often brush past. E.g. people often talk about “coding automation” as one coherent thing, much like people talk about “horizon length” as one coherent thing. But these are massive clusters of tasks spanning all kinds of knowledge work, and the kind of knowledge work AI automates might matter a lot for how quickly RSI goes (or if it goes at all).
Also, I agree with Richard that the disconnect between measured ability and real-world impact is weird; I think this should count some against the usefulness/powerfulness of this paradigm, and the counter-arguments I’ve heard aren’t very good. E.g. a popular one is that every automation step just moves us to a new bottleneck, such that despite models becoming more powerful we still might not end up seeing much increased output from the organization/economy overall. But this logic applies to every automation advance ever (e.g. mechanized weaving, farming, computers) and yet almost all such advances had pretty obvious, macroscopic effects, and were obviously on track to early on. Most of the time people just fall back on “the gods of straight lines” type arguments—i.e. that any setbacks we currently see are just going to resolve with scale—which I agree are suggestive, but are also really far from providing an argument that we should confidently expect this.
Could you give some examples, ideally pretty concretely, about what creative steps they took in recent proofs? I can’t evaluate any of this directly without spending considerable effort, so I’ve mostly been trying to get a sense of it from reading various mathematician’s takes which afaict are pretty mixed. Some of what I find difficult to assess for myself is how much creativity I should assign to things like “the model combined two known techniques in an interesting way,” or “it took a direction no one had tried before.” I can see the case for that being anywhere from extremely impressive to something more like brute force ++.
I agree there is no secret sauce to creativity in principle, but that doesn’t necessarily mean AI systems have it. I also don’t think it’s obvious that the impressiveness of the results mean the cognition was commensurately impressive. E.g. the results of Deep Blue were clearly impressive, while its way of producing them was far less so. Ofc all else equal the ability to do a ton of problems that are very hard for us is suggestive of using cognition we’d consider impressive, but it’s not obvious to me that it necessarily implies this as opposed to to e.g. the relative cognitive advantages LLMs have. But I’d like to know!