I can't agree there's a plateau just a few weeks after two companies got gold medals at IOI and IMO using natural language (no Lean). Seems like progress is continuing nicely.
Than propaganda is working nicely on you
I am using the current models and they are still as useful as 6 or 12 months ago
The deal is still about the same: if you bother to do most of the hard part (thinking it through) the code generators can just about generate all the boilerplate
Yeah. Amazing.
still