We know how to solve the problem of computability using LLMs. I would argue that

We know how to solve the problem of computability using LLMs. I would argue that the foundation model producers don’t understand the problem which is why they can’t solve it.
We did. And it’s really, really, hard.