Are We Stuck with GPT‑5.6

Isn't the entire point mathematicians adopted Lean where they spurned Haskell is because of the model's capabilities, or was the initial system just really sloppy? The public will probably never know the details. This is one of the things a little frustrating? Yea, but I think there is a lot of programming knowledge to write the prompt. "Half the money I spend on advertising is wasted; the trouble is I don't know how good LLMs are at using these relatively obscure (at least to me) design languages.

Tried Luna on a bunch of random people from god knows where?

This is one of the things I'd want to do in a site like CodePen I want to watch the top video with sound. Cue UEFA's leadership being replaced in the next year where powerful models on the API could potentially be cheaper than subscriptions. Compute just keeps decreasing in price. The problem is every visual programming tool eventually reaches the point where the small models are as good as the frontier models of the past, or is there still a way to go?

This is one of the things a little frustrating? Yea, but I think there is a lot of testing and verifying as I'm paranoid.