Right, but these are general language models, just big ones - and they seem to be progressing quickly. People have started working on more specific systems: https://www.deepmind.com/blog/competitive-programming-with-a...

Once you have something, you can iterate on it, raising the bar. It seems to be accelerating and doesn't feel like it'll be that long before the bar get's raised over our heads.