not that a human couldn’t solve it, but that they didn’t bother
I'd agree, but with the caveat that that's still impressive and useful. There's kind of an LLM of the gaps thing going on, where LLMs obviously can't produce novel mathematical results, right up until they can. There's limitations and caveats, and one shouldn't trust most anything tech ceos say, but the models continue to progress in capabilities. This is the stuff of science fiction a few years ago.
One day a real AGI is going to be created.
IMO this is real AGI. It's just not ASI. It's a general intelligence because it's capable of handling a huge variety of tasks fairly well without needing to be trained specifically for each one. It's clearly not as smart as humans, and thus isn't an ASI. The specific terms I'm not really attached to, moreso the point is that we need more specific ways of talking about intelligence.