It’s more reasonable to extrapolate based on past evidence than arbitrary conjecture.
Self driving cars are great!
…but fully autonomous (level 4+) driving turns out to be really much harder to do that the initial 6-12 of self driving demos suggested it would be.
Its always easier to get the first prototypes and demos up, and its literally ALWAYS wrong to extrapolate exponential improvement based on that initial set of results.
It should be a surprise to no one that AI coding follows a diminishing returns log curve, and that improvements are merely incremental after the initial burst of improvement.
I am still not sure what their opinion or point is, because they vagueposted instead of telling us.
Last year, the frontier llms could produce working code, but the code looked brittle and overly defensive. Earlier this year, it got better and started to take more of the codebase into account. Since Claude 5.5, the quality improved substantially.
A lot of these things could be improved with prompt engineering and steering, but much less so nowadays.
But I don't think code quality is easy to measure, so the best we have is people's experience.
Certainly in 2024 I did not foresee AI coding ending up as reliably good as I find it in recent months.
I'd like to have some understanding of whether this improvement is likely to continue or we've reached plateau.
Of course, back in the 50's an 60's, they extrapolated that we'd have flying cars today, so you're not wrong to be careful about extrapolating...
llm's are only good for closed systems with robust automated verification loops, which makes me doubt it's general applicability. at least for now, humans seem much better at navigating domains without an easy way to verify systems.
i remember a year ago i'd have to tell the llm to use the bash tool to compile to see failures. these days, for every task it
1. throughly inspects git history
2. runs the full test suite to get a baseline
3a. for each change, runs (a subset if i'm lucky) the testsuite
3b. writes about 3 billion lines of tests, including tests to test tests
4a. uses the harness's screenshot tool to check each visual change
4b. for webapps, spends several minutes poking at it with some kind of browser devtool
5. runs the entire "smoke test" suite, which often takes several minutes and regularly interrupts my keyboard focus
6. runs the full test suite at the end
even small changes take at least 10+ minutes to complete, but with much higher accuracy than a year ago.
to me these things are dumb but persistent, useful but not intelligent.
Then you have a very uncommon definition of the term "intelligent", because that's roughly what I would expect an intelligent, conscientious developer to do. Many, many bugs stem from developers who believe themselves to be too "intelligent" to need an extensive test suite.
same with anything else really. a better chef can nail a dish in one or two attempts, whereas a worse but persistent chef might take 100 attempts to achieve the same quality.
or likewise, i'm not as good as a basketball player if it takes me 100 attempts to nail a three pointer when an nba player does it 35% of the time - despite both of us eventually achieving the goal.
Not quite right - RLHF is about aligning with human preferences (because it trains, as the name implies, on signal from humans). This does not necessarily correlate with behavior. We use RLHF across any number of domains and with any number of goals, not just alignment.
RLVR is a (more recent, better in some cases) way to automate the training loop without the human being involved, because you give the model a way to verify its own results and train on that as a signal.
The harnesses have improved and I suspect there’s a decent amount of logic pushed there.
Models are larger, so the generalization that happens is better.
Lots of effort has been put towards training on coding tasks.