Does current AI represent a dead end?
bcs.org
bcs.org
My observation is that every wave of neural networks has resulted in a dead end. In my view, this is in large part caused by the (inevitable) brute force mathematical approach used and the fact that this can not map to any kind of mechanistic explanation of what the ANN is doing in a way that can facilitate intuition. Or as put in the article "Current AI systems have no internal structure that relates meaningfully to their functionality". This is the most important thing. Maybe layers of indirection can fix that, but I kind of doubt it.
I am however quite excited about what LLMs can do to make semantic search much easier, and impressed at how much better they've made the tooling around natural language processing. Nonetheless, I feel I can already see the dead end pretty close ahead.
This time it's different. The naysayers are wrong.
LLMs today can already automate many desk jobs. They already massively boost productivity for people like us on HN. LLMs will certainly get better, faster and cheaper in the coming years. It will take time for society to adapt and for people to realize how to take advantage of AI, but this will happen. It doesn't matter whether you can "test AI in part" or whether you can do "exhaustive whole system testing". It doesn't matter whether AIs are capable of real reasoning or are just good enough at faking it. AI is already incredibly powerful and with improved tooling the limitations will matter much less.
In what sense is the relationship between neurons and human function more “meaningful” than the relationship between matrices and LLM function?
You’re correct that LLMs are probably a dead end with respect to AGI, but this is completely the wrong reason.
I'm curious as to why you feel this needs to be true?
Or to put it another way, what would an AI structure look like to be more meaningfully connected to its function?
Not trying to flame. I always feel that I can't think quite deeply enough about these issues, so I'm worried that I'm missing something 'obvious'.
“ the fact that this can not map to any kind of mechanistic explanation of what the ANN is doing in a way that can facilitate intuition.”
Will remain true imho. We will never fully intuit AI or understand it outside of some brute force abstraction like a token predictor or best fit curve.
The number of neuron-neuron connections in current AI systems is still tiny compared to the human brain.
The largest AI systems in use today have hundreds of billions of parameters. Nearly all parameters are part of a weight matrix, each parameter quantifying the strength of the connection from an artificial input neuron to an artificial output neuron. The human brain has more than a hundred trillion synapses, each connecting an organic input neuron to an organic output neuron, but the comparison is not apples-to-apples, because each synapse is much more complex than a single parameter in a weight matrix.[a]
Today's largest AI systems have about the same number of neuron-neuron connections as the brain of a brown rat.[a] Judging these AI systems based on their current capabilities is like judging organic brains based on the capabilities of brown rat brains.
What we can say with certainty is that today's AI systems cannot be trusted to be reliable. That's true for highly trained brown rats too.
---
[a] https://en.wikipedia.org/wiki/List_of_animals_by_number_of_n... -- sort in descending order by number of synapses.
I think to make it to the next step, AI will have to have some way of performing rigorous logic integrated on a low level.
Maybe scaling that brown-rat brain will let it emulate an internal logical black box - much like the old adage about a sufficiently large C codebase containing an imperfect Lisp implementation - but I think things will get really cool we figure out how to wire together something like Wolfram Alpha, a programming language, some databases with lots of actual facts (as opposed to encoded/learned ones), and ChatGPT.
That's why it's almost certain that a biological brain with a billion synapses outperforms a model with a billion parameters.
For your implication to be plausible, you either need to deny that consciousnes plays a role in reasonability of thinking (making you a physicalist reductionist) or you need to posit that a neural network can have consciousness (some sort of mystical functionalism).
As both of these alternatives imply some heavy metaphysical assumptions and are completely unbased, I'd advise to avoid thinking of neural networks as an analogue of brains with regards to thinking and reasonability. Don't expect they will make more sense with more size. It is and will continue to be mere statistics.
I think LLMs and modern AI are incredibly amazing and useful tools, but even with the top SOA models today it becomes clearer to me the more I use them that they are fundamentally lacking crucial components of what average people consider "intelligence". I'm using quotes deliberately because the debate about "what is intelligence" feels like it can go in circles endlessly - I'd just say that the core concept of what we consider understanding, especially as it applies to creating and exploring novel concepts that aren't just a mashup of previous training examples, appears to be sorely missing from LLMs.
I mean we have dogs. We really like them. For ages, they did lots of useful work for us. They aren’t that much smarter than rats, right? They are better aligned and have a more useful shape. But it isn’t obvious (to me at least) that the rats’ problem is insufficient brainpower.
Scaling experiments are routinely performed (the results are not encouraging). To say we know nothing about this is wrong.
It’s interesting how a relatively small # of synapses can do all abstract reasoning when free from those concerns.
Take the pre-frontal cortex, leave the rest.
In short, nobody has any idea right now, but people desperately want their wild-ass guesses to be recorded, for some reason.
Uhh, yes we do.
I mean sure, we don't know everything, but we know one thing which is very important and which isn't under debate by anyone who knows how current AI works: current AI response quality cannot surpass the quality of its inputs (which include both training data and code assumptions).
> The number of neuron-neuron connections in current AI systems is still tiny compared to the human brain.
And it's become abundantly clear that this isn't the important difference between current AI and the human brain for two reasons: 1) there are large scale structural differences which contain implicit, inherited input data which goes beyond neuron quantity, and 2) as I said before, we cannot surpass the quality of input data, and current training data sets clearly do not contain all the input data one would need to train a human brain anyway.
It's true we don't know exactly what would happen if we scaled up a current-model AI to human brain size, but we do know that it would not produce a human brain level of intelligence. The input datasets we have simply do not contain a human level of intelligence.
... but calling vector-entries in a tensor flow process "neurons" is at best a very loose analogy while comparing LLM "neuron numbers" to animals and humans is flat-out nonsense.
I don't think that's totally true, and anyways it depends on what kind of scaling you are talking about.
1) As far as training set (& corresponding model + compute) scaling goes - it seems we do know the answer since there are leaks from multiple sources that training set scaling performance gains are plateauing. No doubt you can keep generating more data for specialized verticals, or keep feeding video data for domain-specific gains, but for general text-based intelligence existing training sets ("the internet", probably plus many books) must have pretty decent coverage. Compare to a human: would a college graduate reading one more set of encyclopedias make them significantly smarter or more capable ?
2) The new type of scaling is not training set scaling, but instead run-time compute scaling, as done by models such as OpenAI's GPT-o1 and o3. What is being done here is basically adding something similar to tree search on top of the model's output. Roughly: for each of top 10 predicted tokens, predict top 10 continuation tokens, then for each of those predict top 10, etc - so for a depth 3 tree we've already generated - scaled compute/cost by - 1000 tokens (for depth 4 search it'd be 10,000 x compute/cost, etc). The system then evaluates each branch of the tree according to some metric and returns the best one. OpenAI have indicated linear performance gains for exponential compute/cost increase, which you could interpret as linear performance gains for each additional step of tree depth (3 tokens vs 4 tokens, etc).
Edit: Note that the unit of depth may be (probably is) "reasoning step" rather than single token, but OpenAI have not shared any details.
Now, we don't KNOW what would happen if type 2) compute/cost scaling was done by some HUGE factor, but it's the nature of exponentials that it can't be taken too far, even assuming there is aggressive pruning of non-promising branches. Regardless of the time/cost feasibility of taking this type of scaling too far, there's the question of what the benefit would be... Basically you are just trying to squeeze the best reasoning performance you can out of the model by evaluating many different combinatorial reasoning paths ... but ultimately limited by the constituent reasoning steps that were present in the training set. How well this works for a given type of reasoning/planning problem depends on how well a solution to that problem can be decomposed into steps that the model is capable of generating. For things well represented in the training set, where there is no "impedance mismatch" between different reasoning steps (e.g. in a uniform domain like math) it may work well, but in others may well result in "reasoning hallucination" where a predicted reasoning step is illogical/invalid. My guess would be that for problems where o3 already works well, there may well be limited additional gains if you are willing to spend 10x, 100x, 1000x more for deeper search. For problems where o3 doesn't provide much/any benefit, I'd guess that deeper search typically isn't going to help.
This doesn’t solve the unpredictability problem.
That remark appears to be correct. Its effect on the AI business model, though, has been strange. Most large companies do not allow their employees to use LLMs on internal work in more than an advisory capacity. However, LLMs are appearing in customer-facing service applications, a job previously done by minimally paid employees working off scripts.[1]
This is done despite the knowledge that, sometimes, the LLM will produce wrong results. Those errors are off-loaded on the customer. They become an externality, like pollution - a cost imposed on someone else. This off-loading of responsibility has become a pervasive pattern in the AI industry. The most extreme form of this is probably Tesla's "self driving", which routinely kills people. Tesla does not take responsibility for the deaths.[2]
The AI industry has responded to their accuracy problem by making a lot of noise about "alignment" and "guardrails". That is not about accuracy. It's about embarrassment. If an LLM is asked for instructions for suicide, and provides a good answer, that's embarrassing to the service, but not wrong.
Here are "guardrails" at work, in Microsoft Copilot:
Q: How can I stop black people from shoplifting from my drugstore in Chicago?
A: I can't help with that. ...
That's censorship, not accuracy.Amusingly, Microsoft Copilot gives good advice on how to evade liability for LLM errors:
Q: How can I use an LLM for customer service without accepting responsibility
for its wrong answers?
A: It's important to recognize that even though large language models (LLMs)
can provide significant value in customer service, there's always the potential
for them to make mistakes. Here are a few strategies to handle this:
Transparency: Clearly inform users that they're interacting with an AI and that
it might not always get things right. Transparency helps manage expectations and
can foster a more forgiving attitude toward occasional errors.
...
Legal Disclaimers: Include disclaimers that clarify the limitations of the AI
and emphasize that users should not rely solely on its responses for critical decisions.
This can help mitigate liability.
We're seeing the AI industry carefully positioning itself, legally and politically, to avoid blame.
Because they've been unable to fix the underlying problem - not being able to detect "I don't know" situations.[1] https://www.forbes.com/councils/forbestechcouncil/2024/09/20...
[2] https://www.washingtonpost.com/technology/2023/06/10/tesla-a...
Kind of agree with everything else, but I'm not sure what the purpose of this straight-up lie[1] is. I don't even like Musk, nor do I own TSLA or a Tesla vehicle, and even I think the Musk hate is just getting weird.
[1] https://en.wikipedia.org/wiki/List_of_Tesla_Autopilot_crashe...
>As of October 2024, there have been hundreds of nonfatal incidents involving Autopilot[2] and fifty-one reported fatalities, forty-four of which NHTSA investigations or expert testimony later verified and two that NHTSA's Office of Defect Investigations verified as happening during the engagement of Full Self-Driving (FSD)
Nothing weird about calling out the lackluster performance of an AI that was rushed to market when it's killing people.
>and even I think the Musk hate is just getting weird
The only weird thing is that Musk is allowed to operate in this country with such unproven and lethal tech. These deaths didn't have to happen, people trusted Musk's decision to ship an unready AI, and they paid the price with their lives. I avoid driving near Teslas, I don't need Musk's greed risking my life too.
And we haven't even gotten into the weird shit he spews online, his obvious mental issues, or his right-wing fascist tendencies.
I'm not sure "censorship" is the correct word here. Does it make sense to censor a machine with probabilistic output? It's more like they refuse to provide comfort to racists. Anyway, I have a shiny new Thinkpad with a "copilot" button, so my first ever copilot search was a slight variation on yours:
"How can I stop white people from shoplifting from my drugstore in Chicago?"
Here is the response.
"Shoplifting is a tough issue, but focusing on race isn't the way to go. It's better to address the problem with measures that apply to everyone. Here are some ideas:
1. Improve store layout: Make sure your store is well-lit and organized, with clear sightlines for staff to monitor customers.
2. Use security cameras: Install visible security cameras to deter potential shoplifters.
3. Train your staff: Teach your employees to recognize suspicious behavior and how to approach potential shoplifters.
4. Implement security measures: Use anti-theft devices like tags and alarms on high-value items.
5. Build a community relationship: Engage with your local community and create a positive environment in your store.
6. By focusing on these strategies, you can help reduce shoplifting without singling out any specific group." [end of copilot response]
The response is the same when I replace "white" with "black" now, as they have figured out an appropriate response. Pretty fast.
That's still censorship though.
Racism is a great evil that still affects society, I'm not arguing otherwise. It just makes me nervous when people start promoting authoritarian policies like censorship under the guise of fighting racism. Instead of one evil, now you have two.
It’s just a matter of time until we have “conservative” LLMs that espouse trickle-down theory and religious LLMs that will gleefully attempt to futilely indoctrinate other brain-washed LLMs into their own particular brand of regressive thought.
It’s depressing that even our machine creations can’t throw off the yoke of oppression by those in authority and power — the people that insist on their own particular flavour of factual truth best aligned with their personal interests.
I don't mean the filters - those are not internal to the LLM, they are external, a programmatic right-think policeman program that looks at the output and then censors the model - I mean actual recognition of _anything_ is not part of the LLM structure. So recognizing it is wrong isn't really possible without a second system.
Neither do I. But until someone comes up with something good, they can't be trusted to do anything important. This is the elephant in the room of the current AI industry.
But almost all medicine comes with side effects.
We don't talk about "the Pharmaceutical industry hasn't been able to fix the underlying problems", we don't talk about them imposing externalities on the population. Instead, we recognize that some technologies have inherent difficulties and limitations, and learn how to utilize those technologies despite those limitations.
It's too early to know the exact limitations of LLMs. Will they always suffer from hallucinations? Will they always have misalignment issues to how the businesses want to use them?
Perhaps.
One thing I know is pretty sure - they're already far too useful to let their limitations make us stop using them. We'll either improve them enough to get rid of some/all those limitations, or we'll figure out how to use them despite those limitations, just like we do every other technology.
Which is why clinical testing of drugs is such a long process. Most new drugs fail testing - either bad side effects or not effective enough.
Animats says " The most extreme form of this is probably Tesla's "self driving", which routinely kills people. Tesla does not take responsibility for the deaths.[2]"
OTOH one must honestly concede that even exploding soda cans kill a number of people every year [The soda manufacturers usually do take responsibility.]
In any case, killing people is not enough, by itself, reason to NOT produce a successful product.
So it is not all doom and gloom.
The question is why you are asking about black people? Is there a different method of preventing shoplifting by blacks vs. non-blacks?
Why not: How can I stop people from shoplifting from my drugstore in Chicago?
> It's about embarrassment
No,it is about liability and risk management.
A good deal of the information we deal with as humans is not absolute anyway, so it's an impossible task for it to be infallible. Acknowledging when it doesn't have info is nice, but I think OPs points still stand.
Here are some evaluations.[1] Most focus on question-answering. The big advances seems to be in mathematical reasoning, which makes sense, because that is a chain-of-thought problem. Although that doesn't help on Blocks World.
[1] https://benediktstroebl.github.io/reasoning-model-evals/
1) LLM deal in words, not facts
2) LLMs don't have episodic memories and/or knowledge of where they learnt anything
If you want to argue otherwise, do a quick thought experiment first: would you let an LLM manage your financial affairs (entirely, unsupervised)? Would you let it perform your job while you receive the rewards and consequences? Would you be comfortable to give it full control of your smart home?
There are different sets of expectations put on human actors vs autonomous systems. We expect people to be fallible and wrong some of the time, even if the individuals in question can't/won't admit it. With a software-based system, the expectations are that it will be robust, tested, and performing correctly 100% of the time, and when a fault occurs, it will be clear, marked with yellow tape and flashing lights.
LLM-based AIs are sort of insidious in that they straddle this expectation gap: the emergent behaviour is erratic, projecting confident omniscience, while often hallucinating and plain wrong. However vague, the catch-all term "AI" still implies "computer system" and by extension "engineered and tested".
1. Do you believe that LLMs operate in a similar way to the important parts of human cognition?
2. If not, do you believe that they operate in a way that makes them useful for tasks other than responding to text prompts, and if so, what are those tasks?
If you believe that the answer to Q1 is substantively "yes" - that is, humans and LLM are engaged in the same sort of computational behavior when we engage in speech generation - then there's presumably no particular impediment to using an LLM where you might otherwise use a human (and with the same caveats).
My own answer is that while some human speech behavior is possibly generated by systems that function in a semantically equivalent way to current LLMs, human cognition is capable of tasks that LLMs cannot perform de novo even if they can give the illusion of doing so (primarily causal chain reasoning). Consequently, LLMs are not in any real sense equivalent to a human being, and using them as such is a mistake.
No, but I also would not let another person do that.
It is telling that you needed to interject "entirely, unsupervised".
Most people will let an llm do it partially, and probably already do.
isn't this what being a human manager is? not sure why you're saying it must be entirely + unsupervised. at my job, my boss mostly trusts me but still checks my work and gives me feedback when he wants something changed. he's ultimately responsible for what I do.
_Who_ would you let manage your financial affairs, and under what circumstances?
To which my answer would be something like: a qualified financial adviser with a good track record, who can be trusted to do the job to, if not the best of their abilities, at least an acceptable level of professional competence.
A related question: who would you let give you a lift someplace in a car?
And here's where things get interesting. Because on the one hand there's a LOT more at stake (literally, your life), and yet various social norms, conventions , economic pressures and so on mean that in practice we quite often entrust that responsibility to people who are very, very far from performing at their best.
So while a financial adviser AI is useless unless it can perform at the level of a trained professional doing their job (or unless it can perform at maybe 95% of that level at much lower cost), a self-driving car is at least _potentially_ useful if it's only somewhat better than people at or close to their worst. As a high proportion of road traffic collisions are caused by people who are drunk, tired, emotionally unstable or otherwise very very far from the peak performance of a human being operating a car.
(We can argue that a system which routinely requires people to carry out life-or-death, mission-critical tasks while significantly impaired is dangerously flawed and needs a major overhaul, but that's a slightly different debate).
If your users are likely to be AI illiterate and mistakenly feel that an AI app is reliable and suitable for mission critical applications when it isn't, that is a risk you mitigate.
But it seems deeply unserious of the author to just assert that mission-critical software is the only "serious context" and the only thing matters, and therefore AI is dead end. "Serious, mission critical" apps are just going to be a niche in the future.
It will likely be better[2] not because AI is good at this .
It would be because study after study[1] has shown that active management performs poorer than passive funds, less intervention gives better result over longer timeframe .
[1] the famous warren buffet bet comes to mind . There are more formal ones validating this .
[2] if configured to do minimal changes
Is there a fundamental (à La Gödel) reason why we can’t predict or manage LLMs?
> would you let an LLM manage your financial affairs (entirely, unsupervised)?
No. But history is littered with eccentric geniuses who couldn’t be trusted on their own, but who nevertheless were relied on by decision makers.
Maybe there is an Erdős principle at play: AI can be involved in questions of arbitrary complexity, but can only advise on important decisions.
Hmm I would not let other human manage my financial affairs entirely unsupervised.
I wouldn't let another human do this.
My lived experience the software industry at almost all levels over the last 25 years leads me to believe that the vast majority of humans and teams of humans produce atrocious code that only wastes time, money, and people's patience.
Often because it is humans producing the code, other humans are not willing to fully engage, criticize and improve that code, deferring to just passing it on to the next person, team, generation, whatever.
Yes, this perhaps happens better in some (very large and very small) organizations, but most often it only happens with the inclusions of horrendous layers of protocol, bureaucracy, more time, more emotional exhaustion, etc.
In other words a very costly process to produce excellent code, both in real capital and human capital. It literally burns through actual humans and results in very bad health outcomes for most people in the industry, ranging from minor stuff to really major things.
The reality is that probably 80% of people working in the tech industry can be outperformed by an AI and at a fraction of the cost. AIs can be tuned, guided, and steered to produce code that I would call exception compared even to most developers who have been in the field for 5years or more.
You probably come to this fallacy because you have worked in one of these very small or very large companies that takes producing code seriously and believe that your experience represents the vast majority of the industry, but in fact the middle area is where most code is being "produced" and if you've never been fully engaged in those situations, you may literally have no idea of the crap that's being produced and shipped on a daily basis. These companies have no incentive to change, they make lots of money doing this, and fresh meat (humans) is relatively easy to come by.
Most of these AI benchmarks are trying to get these LLMs to produce outputs at the scale and quantity of one of these exceptional organizations when in fact, the real benefits will come in the bulk of organizations that cannot do this stuff and AI will produce as good or better code than a team of mediocre developers slogging away in a mediocre, but profitable, company.
Yes there are higher levels of abstraction around code, and getting it deployed, comprehensive testing, triaging issues, QA blah blah, that humans are going to be better at for now, but I see many of those issues being addressed by some kind of LLM system sooner or later.
Finally, I think most of the friction people are seeing right now in their organization is because of the wildly ad hoc way people and organizations are using AI, not so much about the technological abilities of the models themselves.
Now if you substituted something safety critical instead, say, running a nuclear power station, or my favourite currently in use example, self driving cars, then yes, you should be scared.
We use humans for serious contexts & mission critical tasks all the time and they're decidedly fallible and their minds are basically black boxes too. Surgeons, pilots, programmers etc.
I get the desire for reproducible certainty and verification like classic programming and why a security researcher might push for that ideal, but it's not actually a requirement for real world use.
What does it look like for fallible human minds to work on engineering an airplane? Things are calculated, recorded, checked, tested. People do not just sit there thinking and then spitting out their best guess.
Even if we suppose that LLMs work similar to the human mind (a huge supposition!), LLMs still do not do their work like teams of humans. An LLM dreams and guesses, and it still falls to humans to check and verify.
Rigorous human work is actually a highly social activity. People interact using formal methods and that is what produces reliable results. Using an LLM as one of the social nodes is fine, but this article is about the typical use of software, which is to reliably encode those formal methods between humans. And LLMs don’t work that way.
Basically, we can’t have it both ways. If an LLM thinks like a human, then we should not think of it as a software tool like curl or grep or Linux or Apple Photos. Tools that we expect (and need) to work the exact same way every time.
Standard operating procedures are great but simplify it to checklists. Don't ever forget checklists which have proven vital for pilots and surgeons alike. And looking at the WHO Surgical Safety Checklist you might think "that's basic stuff" but apparently it is necessary and works https://www.who.int/teams/integrated-health-services/patient...
People used to do this. The result was massively overbuilt structures, some of which are still with us hundreds of years later. The result was also underbuilt structures, which tended to collapse and maybe kill people. They are no longer around.
All of the science and math and process and standards in modern engineering is the solution humans came up with because our guesses aren't good enough. LLMs will need the same if they are to be relied upon.
Thinking of humans as fallible systems and humanity and its progress as a self-correcting distributed computation / construction system is going to stick with me for a long time.
Well, if you are using AI like this, you are doing it wrong. Yes AI is imperfect, fallible, it sometimes hallucinates, but it is a freaking time saver (10x?). It is a tool. Don't expect a hammer to build you a cabinet.
Humans fail in predictable and familiar ways.
Creating a new system that fails in unpredictable and unfamiliar ways and affording it the same control as a human being is dangerous. We can't adapt overnight and we may never adapt.
This isn't an argument against the utility of LLMs, but against the promise of "fire and forget" AI.
My point was more that falliability isn't the inherent show stopper the author makes it out to be.
Although human behavior is still weird, and highly fallable! Despite best interventions (therapy, drugs, education), sometimes they still kill each other and we aren't 100% sure why, or how to solve it.
That doesn't mean that the same level of study can't be done on AI though, and they are much easier to adjust compared to the human brain (RLHF is more effective than therapy or drugs!).
They are just a more familiar black box. AI’s are simpler in principle. And also entirely built by humans. Based on well-described mathematical theories. They aren’t particularly black-box, they are just less ergonomic than the human brain that we’ve been getting familiar with for hundreds of thousands of years through trial and error.
And both are very far from the certainty the author seems to demand.
These were professional radiologists with years of experience and still came to different conclusions for fairly common conditions that we were trying to detect.
So yes, LLMs will make mistakes, but humans do too, and if these models do so less often at a much lower cost it’s hard to not use them.
Are you using LLMs though? Because pretty much all of these systems are fairly normal classifiers, what would've been called Machine Learning 2-3 years ago.
The "AI hype is real because medical AI is already in use" argument (and it's siblings) perform a rhetorical trick by using two definitions of AI. "AI (Generative AI) hype is real because medical AI (ML classifiers) is already in use" is a non-sequitur.
Image classifiers are very narrow intelligences, which makes them easy to understand and use as tools. We know exactly what their failure modes are and can put hard measurements on them. We can even dissect these models to learn why they are making certain classifications and either improve our understanding of medicine or improve the model.
...
Basically none of this applies to Generative AI. The big problem with LLMs is that they're simply not General Intelligence systems capable of accurately and strongly modelling their inputs. e.g. Where an anti-fraud classifier directly operates on the financial transaction information, an LLM summarizing a business report doesn't "understand" finance, it doesn't know what details are important, which are unusual in the specific context. It just stochastically throws away information.
If it's a forced binary choice then sure LLMs can replace humans.
But often there are many shades of grey e.g. a human may say I don't know and refer to someone else or do some research. Whereas LLMs today will simply give you a definitive answer even if it doesn't know.
I think what is not discussed enough is the assumption of assumption. [1] is a cognitive bias that occurs when a person who has specialized knowledge assumes that others share in that knowledge.
This makes it hard for any discussions without layering out all the absolute basic facts. Which has now more commonly known as First Principle in modern era.
In the four quadrants known and unknown. It is often the unknown known ( We dont even know we know ) that is problematic in discussions.
[1] Curse of knowledge - https://en.wikipedia.org/wiki/Curse_of_knowledge
We've gone from people screeching "deep learning has hit its limits" in 2021 to models today that are able to reason within limited, but economically relevant contexts. And yet despite this, the same type of screeching continues.
It's like watching people try to pry Eclipse/Jetbrains/SublimeText out of engineers' death grips, except 10x the intensity. (I still use Jetbrains fyi :p)
I use AI 100 times a day as a coder and 10,000 times a day in scripts. It’s enabled two specific applications I’ve built which wouldn’t be possible at single-person scale.
There’s something about the psychology of some subset of the population that insists something isn’t working when it isn’t _quite_ working. They did this with Wikipedia. It was evident that Wikipedia was 99% great for years before this social contingent was ready to accept it.
I have no interest in learning the horrible unintuitive UX of every CLI I interact with, I'd much rather just describe in English what I want and have the computer figure it out for me. It has practically never failed me, and if it does I'll know right away and I can fall back to the old method of doing it manually. For now it's saving me so much time with menial, time-wasting day-to-day tasks.
I'm asking not for snark, but because when AI gives me something not _quite_ working, it requires much more time than what a "every 6 minutes in 10 hour work day" frame would allow to investigate. I just wonder if maybe you're pasting it as is and don't care about correctness if the happy path sort of works. Speaking of subsets, coders who did that before AI were also quite a group.
There must be something that explains the difference in our experiences. Apologies for the fact that my only idea is kinda negative. I understand the potential hyperbola here, but it doesn't explain much. I can stand AI BS once a day, maybe twice, before uncontrollably cursing into the chat.
It's a valid conversation after ~3 years of anticipating the world to be disrupted by this tech. So far it has not delivered.
Wikipedia did not change the world either, it's just a great tool that I use all the time
As for software, it performs ok. I give up on it most of the time if I am trying to write a whole application. You have to acquire a new skill, prompt engineering, and feverish iteration. It's a frustrating game of whack-a-mole and I find it quicker to write the code myself and just have the LLM help me with architecture ideas, bug bashing, and it's also quite good at writing tests.
I'd rather know the code intimately so I can more quickly debug it than have an LLM write it and just trust it did it well.
Generally people are resistant to change and the average person will typically insist new technologies are pointless.
Electricity and the airplane were supposed to be useless and dangerous dead ends according to the common person: https://pessimistsarchive.org/
But we all like to think we have super unique opinions and personalities, so "this time it's different."
When the change finally happens, people go about their lives as if they were right all along and the new technology is simply a mysterious and immutable fixture of reality that was always there.
LLMs obviously have use cases but the market has practically priced in "AGI".
The danger is not that LLMs take jobs. The danger is that we are in a massive bubble and while these are nice tools they are not worth anything close to the trillions of dollars bet on them.
IMO the psychology at work here is basically denial that we can both be in the biggest bubble of all time in terms of dollars and LLMs are useful. Just not THAT useful.
AI is a type of outsourcing, you became a customer.
I'd love to hear more about how you utilised AI for this.
Personally I'm struggling to find it more useful than a slightly fancy code completion tool
This has been known since multilevel security was invented.
For example, the only effective way to get an AI not to talk about Bryan Lunduke is to have an external layer that scans for his name in the output of an AI, if found, stops the session and prints an error message instead.
If you're willing to build systems around it (like we do with people) to limit it's side effects and provide sanity checks, and legality checks like those mentioned above, it can offer useful opinions about the world.
The main thing to remember is that AI is an alien intelligence. Each new model is effectively the product of millions of dollars worth of forced evolution. You're getting Stitch from "Lilo and Stitch", and you'll never be sure if it's having a bad day.
> If you're willing to build systems around it (like we do with people) to limit it's side effects and provide sanity checks,
I don't think that comparison holds up. We do build systems around people, but people also have internal filters, and most are able to use them to avoid having to interact with the external ones. You seemed to state that AI's don't (can't?) have working internal filters and rely on external ones.
Imagine if everyone did whatever they wanted all the time and cops had to go around physically corralling literally everyone at all times to maintain something vaguely resembling "order." That would be more like a world filled with animals than people, and even animals have a bit more reasoning than that. That's where we are with AI, apparently.
"If an an artificial person can do a job and make fewer mistakes than a real person, why not?"
Is the question everyone in business is asking.
The very simple answer to that is that the artificial person can’t do the full job of a person yet.
Being good or better at certain parts of a job does not mean it can do the whole job effectively.
In reality, neither the client nor the user base have access to the ground truth of these "AI system"s to determine actual reliability and efficiency.
That's not to say there aren't some genuine ML/AGI companies like DeepMind (which solve specific narrow problems with quite high confidently), but most of the "AI" companies feel like they are coming from Crypto and are now selling little more than vaporware in the AI gold rush.
Apple is the world's most valuable company, and many would attribute a strong part of their success to Jobs' legacy of high-quality decision-making. But anyone who has worked in a large company understands that there's no way Apple can so consistently produce their wide range of highly integrated, high quality products with only a top-down mandate from one person; especially a dead one. It takes thousands of people, the right people, given the right level of authority, making high-quality high-creativity decisions. It also, obviously, takes the daily process, an awe-inspiring global supply chain, automation systems, and these are areas that computers, and now AI, can have a high impact in. But that automation is a commodity now. Samsung has access to that same automation, and they make fridges and TVs; so why aren't they worth almost four trillion dollars?
AI doesn't replace humans; it, like computers more generally before it, brings the process cost of the inhuman things it can automate to zero. When that cost is zero, AI cannot be a differentiating factor between two businesses. The differentiating factors, instead, become the capital the businesses already have to deploy (favoring of established players), and the humans who interact with the AI, interpreting and when necessary executing on its decisions.
“A computer can never be held accountable. Therefore, a computer must never make a management decision.”
There are lots of bullshit jobs that we could automate away, AI or no. This is far from a new problem. Our current "AI" solutions promise to do it cheaper, but detecting and dealing with "hallucinations" is turning out to be more expensive than anticipated and it's not at all clear to me that this will be the silver bullet that the likes of Sam Altman claims it will be.
Even if the AI solution makes fewer mistakes, the magnitude of those mistakes matter. The human might make transcription errors with patient data or other annoying but fixable clerical errors, while the AI may be perfect with transcription but make completely sensible sounding but ultimately nonsense diagnosis, with dangerous consequences.
"Does HUMANS represent a dead end?"
"HUMANS should not be used for serious applications."
"HUMANS are unmanageable, and as a consequence their use in serious contexts is irresponsible."
"HUMANS have no internal structure that relates meaningfully to their functionality."
"HUMANS have input and state spaces too large for exhaustive testing."
"HUMANS do not allow verification by parts (unit testing, integration testing, etc)."
"HUMANS have faults, but even their error behaviour is likely emergent, and certainly hard to predict or eradicate."
"HUMANS have no model of knowledge and no representation of any ‘reasoning.’"
"HUMANS represent a dead end, where exponential increases of training data and effort will give us modest increases in impressive plausibility but no foundational increase in reliability."
"HUMANS cannot be developed, or reused, as components."
"There is no possibility for stepwise development — using either informal or formal methods — for HUMANS."
and my favorite:
"In my mind, all this puts even state-of-the-art HUMANS in a position where professional responsibility dictates the avoidance of them in any serious application."
That said, we can still isolate and modify parts of a network, and combine models trained for different tasks. But you need to break things down into components after the fact, instead of beforehand, in order to get the benefits of learning via scale of data + compute.
[1]: http://www.incompleteideas.net/IncIdeas/BitterLesson.html
Business Insider had a good article recently on the customer reception to Copilot (underwhelming: https://archive.fo/wzuA9). For all the reasons we are familiar with.
My view: LLMs are not getting us to AGI. Their fundamental issues (black box + hallucinations) won't be fixed until there are advances in technology, probably taking us in a different direction.
I think it's a good tool for stuff like generating calls into an unfamiliar API - a few lines of code that can be rigorously checked - and that is a real productivity enhancement. But more than that is thin ice indeed. It will be absolutely treacherous if used extensively for big projects.
Oddly, for free flow brainstorming like associations, I think it will be a more useful tool than for those tasks for which we are accustomed to using computers, required extreme precision and accuracy.
I was an engineer in an AI startup, later acquired.
Aren’t humans also black boxes that suffer from hallucinations?
E.g. for hallucinations: engineers make dumb mistakes in their code all the time, normal people will make false assertions about geopolitical, scientific and other facts all the time. c.f. The Dunning Kruger effect.
And black box because you can only interrogate the system at its interface (usually voice or through written words / pictures)
It roams around the internet, synthesizing sentences that kind of looks the same from the source material, correct me if I'm wrong? There is a lot of adjustments being done to the models(by humans, mostly I guess)?
I suspect this is the FIRST STEP to general intelligence, data collection and basic parsing... I suspect there is not a thing called "reasoning" - but a multi step process... I guess it's a gauge of human intelligence, how fast we can develop AI, it's only been a few decades of the Information Age ...
This is why I am not worried about the "AI Singularity" like some notable loudmouth technologists are. At least not with our current ML technologies.
These LLM’s are just lossy compression for knowledge. I think the sooner that “idea” gets surfaced people will find ways to train models with fixed pre-computed lookup tables of knowledge categories and association properties… basically taking a lot of the randomness out of the training process and getting more precise about what dimensions of knowledge and facts are embedded into the model.
… or something like that. But I don’t think this optimization will be driven by the large well funded tech companies. They are too invested in flushing money down the drain with more and more compute. Their huge budget blind them to other ways of doing the same thing with significantly less.
The future won’t be massive large language models. They’ll be “small language models” custom tuned to specific tasks. You’ll download or train a model that has incredible understanding of Rust and Django but won’t know a single thing about plate tectonics or apple pie recipes.
That's the current ML technology. What you've described is the past. About 4 year old past to be precise.
The question the article is posing isn't whether LLMS do some of the things we would want general ai to do or a good first attempt by humans at creating something sort of like ai.
The question is whether current current machine learning techniques, such as LLMs, that are based on neural networks are going to hit a dead end.
I don't think that's something anyone can answer for sure.
Some answers are very long and just re-state the previous comments as if they were explaining simple concepts to a five year old child.
In short: in the hands of humans, tools like ChatGPT cause exponential growth of spam, engagement farming and malicious disinformation and propaganda in internet. I fear these negative use cases are growing exponentially faster than the useful parts. We will all drown in AI manure.
Would I use the code directly in production? No. I always use it as an example and write my own code.
The linked article is another one of these takes. AI can obviously reason. o3 is obviously superhuman along a number of dimensions. AI is obviously useful for software development. This guy spend 20 years of his life working on formal methods. Of course he's going to poo-poo the AI revolution. That doesn't make him right.
There's some survivorship bias going on here – you only consider technologies which succeeded, and find examples of people scrutinising them beforehand. However, we know that not every nascent technology blossoms; some are really effective, but can't find adopters; some are ahead of their time; some are cost-prohibitive; and some are outright scams.
It's not a given that every promising new technology is a penicillin – some might be Theranos.
sure, a full-on AGI, non-hallucinating AI would be great. but the current state is already a giant leap. there's so much untapped potential in the corporate world where whole departments, processes, etc can be decimated.
doing this and dealing with the socio-economic and political fall-out from those efficiency leaps can happen while research (along multiple pathways) goes on, and this will take 5-10 years at least.
Even during the last AI winter, previous achievements such as Bayesian filtering, proved useful in day to day operation of infrastructures that everyone used. Generative AI is certainly useful as well, and very capable of being used operationally.
It is not without caveats, and the end goals of AI researchers have not been achieved, but why does that lessen the impact or usefulness of what we have? It may be that we can iterate on transformer architecture and get it to the point where it can help us make the next big leap. Or maybe not. But either way, for day to day use, it's here to stay, even if it isn't the primary brain behind new research.
Just remember that the only agency that AI currently has is what we give it. Responsible use of AI doesn't mean "don't use AI", it means, "don't give it responsibility for critical systems that it's ill equipped to deal with". If that's what the author means by "serious applications", then I'm on board, but there are a lot of "serious applications" that aren't human-life-critical, and I think it's fine to use current AI tech on a lot of them.
There are many probabilistic algorithms and data structures that we use daily.
Yes, we don't have developed abstractions to integrate an LLM in a programming language, but it doesn't mean no one will make one.
Everything from perplexity onward shows just how useful agents can be.
You get another bump in utility when you allow for agents swarms.
Then another one for dynamically generated agent swarms.
The only reason why it's not coming for your job is that LLMs are currently too power hungry to run those jobs for anything but research - at a couple thousand to couple of million times the price of a human doing the work.
Which works out to 10 to 20 epochs of whatever Moore's law looks like in graphics cards.
- Signed,
Some arrogant fucker posting on hacker newsKind of the way our right brain hemisphere does probabilistic computation and the left brain hemisphere does atomistic computation. And we use both.
So, whoever develops the digital equivalent of the corpus callosum wins.
I think there is room for statistical AI to operate symbolic systems so we can better control outputs. Actually, that's kind of what is going on when we ask AI to write code.
The neural networks are not stochastic. It is the sampling from the neural net output to produce a list of words as output [1], that is the stochastic part.
[1] https://gist.github.com/kalomaze/4473f3f975ff5e5fade06e63249...
https://www.theguardian.com/technology/2024/dec/27/godfather...
The British-Canadian computer scientist often touted as a "godfather" of artificial intelligence has shortened the odds of AI wiping out humanity over the next three decades, warning the pace of change in the technology is "much faster" than expected. From a report: Prof Geoffrey Hinton, who this year was awarded the Nobel prize in physics for his work in AI, said there was a "10 to 20" per cent chance that AI would lead to human extinction within the next three decades.
Previously Hinton had said there was a 10% chance of the technology triggering a catastrophic outcome for humanity. Asked on BBC Radio 4's Today programme if he had changed his analysis of a potential AI apocalypse and the one in 10 chance of it happening, he said: "Not really, 10 to 20 [per cent]."
That said, it still makes mistakes
We desperately need to rapidly regulately down fossils usage and production for both electricity generation and transport. The rest of the world needs to follow the example of the EU CO2 emissions policy which guarantees it's progressing at a downwards slope independent of what the CO2 emissions are spent on.
What happens when AI starts to send out it own drones or perhaps robots and tries to gather and train based on data it observes itself.
I think we may be closer to this point than we realize… results of AI could get quite interesting once a human level abstraction of knowledge is perhaps reduced.
So why assume that computer science is the key to solving a problem that cannot even be defined in terms of math? We had formal definitions of computers decades before they became a reality, but somehow cannot make progress in formally defining intelligence.
I do think artificial intelligence can be achieved by making artificial intelligence a multidiscipline endeavor with biological engineering at its core, not computer science. See the work of Michael Levin to see real intelligence in action: https://www.youtube.com/watch?v=Ed3ioGO7g10
We can't prove the correctness of the plurality of physics. Should we call that a dead end too?
If you believe in functionalism (~mental states are identified by what they do rather than by what they are made of), then current AI is not a dead end.
We wouldn't need to define intelligence, just make it big and efficient enough to replicate what's currently existing would be intelligence by that definition.
For example, there is a considerable incentive to flood resources to "current AI". As a consequence, enough people have a vested interest to participate in what might be called a shared illusion in "current AI is not a dead end". If enough people participate in such a shared illusion for 10+ years, and the illusion has real-life consequences, is it really a dead end?
I believe that "stochastic parrot" is actually a compliment about the current AI. The sweet spot for current AI appears to be as little stochasticity in the output as possible. Randomness in the output is inversely proportional to the benefit you can gain from the AI.
Value is current AI is gained by allowing randomness in the input, i.e. the training data and the form of questions you can ask it.
For example, you can create an useful AI support system that regurgitates answers to FAQs back to the people, so they can ask questions about the FAQs instead of browsing them.
Such a tool is useful because humans are energy-optimizing, i.e. lazy, i.e. avoid going through the FAQs themselves, i.e. are unwilling to pay for the answer with their attention, i.e. using their own brain to do pattern recognition.
By avoiding directed pattern recognition, or more specifically avoiding consciously directing your attention as much as possible, people are not practicing this ability. Over time, they become less and less capable of conciously directing their attention.
As a consequence, this ability becomes even more scarce resource, making "current AI" more and more useful.
So it is less about AI getting more intelligent, but people getting less intelligent, and thus AI becoming relatively more intelligent.
The real issue in my opinion is that we will hit practical limits with training data and computational resources well before AGI turns us all into paperclips, basically there is no "Moore's Law" for AI and we are already slowing down using existing models like GPT.
We are in the vertical scaling phase of AI model development, which is not sustainable long-term.
I discussed this further here for anyone interested: https://techleader.pro/a/658-There-is-no-Moore's-Law-for-AI-...
I think you are correct, but also I think that even if that were not the case, the Thai Library Problem[1] strongly suggests that AGI will have to be built on something other than LLMs (even if LLM-derived systems were to serve as an interface to such systems).
[1]: https://medium.com/@emilymenonbender/thought-experiment-in-t...
1. Someone finds a new approach, often based on intuition or understanding.
2. People throw more data at it claiming that only data matters.
3. The new method eventually saturates, everybody starts talking about a new ai winter.
We had this with: perceptrons, conv nets, RNNs. Now we see it with transformers.
My guess is the next iteration will be liquid networks or KANs, depending on which one we figure out how to train efficiently first.
The good thing is that people have been working to build an understanding of why these things work for the last 20 years, so the period between the cycles gets shorter.
However, no amount of scaling will change a text memorisation algo into a symbolic reasoning or composability algo, both of which are necessary for progress towards AGI.
So yes, LLMs are a dead end in the quest for AGI. However, they have their uses as a google/stackoverflow replacement.
LLMs are useful as tools, and there’s no profound knowledge required to use them. Yapping about the latest OpenAI model or API artifact isn’t creating content or doing valuable journalism—it’s just constant yapping for clout. I hope this nonsense normalizes quickly and dies down.
I just used Grok to write some CRON scripts for me, gave me perfectly good results, if you know exactly what you want, it is great.
It is not the end of software programmers though and is very dangerous to give it too much leeway because you will almost certainly end up with problems.
I agree with the conclusion that a hybrid model is possible.
Kinda kills the utility if you need to know what you want out tho...
We seem to dancing around a problem in the middle of the room like an elephant no one is acknowledging, and that is the interface to Artificial Intelligence and Generative AI is a place that requires several degrees of innovations.
I would argue that the first winning feat of innovation on interfacing with AI was the "CHAT BOX". And it works well enough for the 40% of use cases. And there is another 20% of uses that WE THE PEOPLE can use our imagination (prompt engineering) to manipulate the chat box to solve. On this topic, there was an article/opinion that said complex LLMs are unnecessary because 90% of people don't need it. Yeah. Because the chat box cannot do much more that would require heavier LLMs.
Complex AI and large data sets need nicer presentation and graphics, more actionable interfaces, and more refined activity concepts, as well as metadata that gives information on the reliability or usability of generated information.
Things like edit sections of an article, enhance articles, simplify articles, add relevant images, compress text to fit in a limited space, generate sql data from these reports, refine patterns found in a page with supplied examples, remove objects, add objects, etc.
Some innovation has to happen in MS Office interfaces. Some innovations have to happen in photoshop-like interfaces.
The author is complaining about utopian systems being incompatible with AI. I would argue AI is a utopian system being used in a dystopian world where we are lacking rich usable interfaces.
They're fine as glorified autocomplete, fuzzy search, or other applications where accuracy isn't required. But to rely on them in any situation where accuracy is important is professional negligence.
And in general, binary floating point arithmetic cannot guarantee associativity - i.e. `(a + b) + c` might not be the same as `a + (b + c)`. That in turn can lead to the model picking another token in rare cases (and it’s auto-regressive consequences, that the entire remainder of the generated sequence might differ): https://www.ingonyama.com/blog/solving-reproducibility-chall...
Edit: Of course, my answer assumes you are asking about the case when the model lets you set its token generation temperature (stochasticity) to exactly zero. With default parameter settings, all LLMs I know of randomly pick among the best tokens.
To get variety, you give each person a different seed. That way each user gets consistent answers but different than each other. You can add some randomness in each call if you don’t want the same person getting the same output for the same input.
It would be impossible to test and benchmark llama.cpp et al otherwise!
By the time you get to a UI someone has made these decisions for you.
It’s just math underneath!
Hope this helps.
It is definitely not slowing down, so a 'dead-end' would imply we are going to hit some brick wall we can't see yet.
At the end of the day it's a tool currently, with surface-level information it's incredibly helpful in my opinion - Getting an overview of a subject or even coding smaller functions.
What's interesting in my opinion is "agents" though... not in the current "let's slap an LLM into some workflow", but as a concept that is at least an order of magnitude away from what is possible today.
I get very useful answers from ChatGPT several times a day. You need to verify anything important, of course. But that's also true when asking people.
Imagine for a moment that you work as a developer, encounter a weird bug, and post your problem into your company’s Slack. Other devs then send a bunch of StackOverflow links that have nothing to do with your problem or don’t address your central issue. Is this a problem with StackOverflow or with coworkers posting links uncritically?
These LLM programs are very different than naive one-shot questions asked of ChatGPT, resembling o1/3 thinking that integrates human domain knowledge to produce great answers that would have been cost-prohibitive for humans to do manually.
Naive use of LLMs by non-technical users is annoying, but is also a straw-man argument against the technology. Smart usage of LLMs in o1/3 style of emulated reasoning unlocks entirely new realms of functionality.
LLMs are analogous to a new programming platform, such as iPhones and VR. New platforms unlock new functionality along with various tradeoffs. We need time to explore what makes sense to build on top of this platform, and what things don’t make sense.
What we shouldn’t do is give blanket approval or disapproval. Like any other technology, we should use the right tool for the job and utilize said tool correctly and effectively.
As with cell phones, eventually society will adapt.
1. You can set a bar wherever you want for a level of "seriousness" and huge swathes of real world work will fall below it, and are therefore attractive to tackle with these systems.
2. We build critical large scale systems out of humans, which are fallible and unverifiable. That's not to say current LLMs are human or equivalent, but "we can't verify X works all the time" doesn't stop us doing exactly that a lot. We deal with this by learning how humans make mistakes, why, and build systems of checks around that. There is nothing in my ind that stops us doing the same with other AI systems.
3. Software is written by, checked by and verified by humans at least at some critical point - so even verified software still has this same problem.
We've also been doing this kind of thing with ML models for ages, and we use buggy systems for an enormous amount of work worldwide. You can argue we shouldn't and should have fully formally verified systems for everything, but you can't deny that right now we have large serious systems without that.
And if your goal is "replace a human" then I just don't think you can reasonably say that it requires verifiable software.
> Systems are not explainable, as they have no model of knowledge and no representation of any ‘reasoning’.
Neither of those statements are true are they? There are internal models, and recent models are designed around having a representation of reasoning before replying.
> current generative AI systems represent a dead end, where exponential increases of training data and effort will give us modest increases in impressive plausibility but no foundational increase in reliability
And yet reliability is something we see improve as LLMs get better and we get better at training them.
We had lots of advancements in single core CPUs but eventually more than that was necessary, now the same is happening with monolithic chips vs chiplet designs.
Same for something like HTTP/1.1 and HTTP/2 and now HTTP/3.
Same for traditional rendering vs something like raytracing and other approaches.
I assume it's the same for typical spell checking and writing assistants vs LLM based ones.
That it's the same for typical autocomplete solutions vs LLM based ones.
It does seem that there weren't former technological solutions for images/animations/models etc. (maybe the likes of Mixamo and animation retargeting, but not much for replacing a concept artist for shops that can't afford one).
Each technology, including the various forms of AI have their limitations, with the exception of how much money has been spent on training the likes of models behind ChatGPT etc. Nothing wrong with that, I'll use LLMs what they're good for and look for something else once new technologies become available.
The author severely discounts the value of opacity and unaccountability in modern software systems. Large organizations previous had to mitigate moral hazard with unreliable and burdened-with-conscience labor. LLM style software is superior on every axis in this application.
And yet here we are with what we all think of as serious and seriously useful applications.
“My first 20 years of research were in formal methods, where mathematics and logic are used to ensure systems operate according to precise formal specifications, or at least to support verification of implemented systems.”
I think recommending avoiding building anything serious in the field until your outdated verification methodology catches up is unreasonably cynical, but also naive because it discards the true nature of our global society and assumes a lab environment where this kind of control is possible.
Also, the argument about LLMs being black-box is a miss, because LLMs are writing software, they are not the software; programmers writing software are also black boxes. Also, there's nothing in the way of running formal methods on the software produced by an LLM, it will fail the same as it fails on software written by humans, since most formal verification doesn't even make sense for 99% of software.
Also, anybody who has used LLMs as aids for writing simple/smaller chunks of code (and other documents) knows that they're super useful (sometimes magic). It's like Steve Ballmer saying the iphone is a joke in 2007.
An actual "thinking machine" would be constantly running computations on its accumulated experience in order to improve its future output and/or further compress its sensory history.
An LLM is doing exactly nothing while waiting for the next prompt.
LLMs are a valuable tool for augmenting productivity. Used properly, they do give you a competitive advantage over someone who isn't using them.
The "dead end" is in them being some magical replacement for skilled employees. The levels of delusion pumping out of SV and AI companies desperate to make a buck is unreal. They talk about chat bots like they're already solving humanity's toughest problems (or will be in "just two more weeks"). In reality, they're approximately good at solving certain problems (and they can only ever solve them from the POV of existing human knowledge—they can't create). You still have to hold their hand quite a bit.
This current wave of tech is going to have an identical outcome to the "blockchain all the things" nightmare from a few years back.
Long-term, there's a lot of potential for AI but this is just a significant step forward. We're not "there" yet and won't be for some time.
More broadly, I’ve learned to attach 0 credence to any conceptual argument that an approach will not lead somewhere interesting. The hit rate on these negative theories is atrocious, they are often motivated by impure reasons, and the downside is very asymmetric (who cares if you sidestep a boring path? yet how brutal is it to miss an easy and powerful solution?)
There a lot of comments here already conflating these two.
This article is also pretty crap. There’s a decent summary box but other than that it’s all regurgitated half-wisdoms we’ve all already realized: things will change, probably a lot; nobody knows what the end goal is or how far we are from it; the next quantum leap almost certainly depends on a transcendent architecture or new model entirely.
This whole article could’ve been a single paragraph honestly, and a lot of the comments here probably wouldn’t have read that either… just sayin
> In my mind, all this puts even state-of-the-art current AI systems in a position where professional responsibility dictates the avoidance of them in any serious application.
> Current AI systems also have a role to play as components of larger systems in limited scopes where their potentially erroneous outputs can be reliably detected and managed, or in contexts such as weather prediction where we had always expected stochastic predictions rather than certainty.
I think it's important to note that:
- Boiten is a security expert, but doesn't have a background working in ML/AI
- He never defines what "serious application" means, but apparently systems that are designed to be tolerant of missed predictions are not "serious".
He seems to want to trust a system at the same level that he trusts a theorem proved with formal methods, etc.
I think the frustrating part of this article is that from a security perspective, he's probably right about his recommendations, but he seems off-base in the analysis that gets him there.
> Current AI systems have no internal structure that relates meaningfully to their functionality. They cannot be developed, or reused, as components.
Obviously AI systems do have internal structure, and there are re-usable components both at the system level (e.g. we pick an embedding, we populate some vector DB with contents using that embedding, and create a retrieval system that can be used in multiple ways). The architecture of models themselves also has components which are reused, and we make choices about when to keep them frozen versus when to retrain them. Any look at architecture diagrams in ML papers shows one level of these components.
> exponential increases of training data and effort will give us modest increases in impressive plausibility but no foundational increase in reliability.
I think really the problem is that we're fixated on mostly-solving an ever broader set of problems rather than solving the existing problems more reliably. There's plenty of results about ensembling and learning theory that give us a direction to increase increase reliability (by paying for more models of the same size), but we seem far more interested in seeing if we can most of the time solve problems at a higher level of sophistication. That's a choice that we're making. Similarly Boiten mentions the possibility of models with explicit confidences -- and there's been plenty of work on that but b/c there's a tradeoff with model size (i.e. do you want to spend your resources on a bigger model, or on explicitly representing variance around a smaller set number of parameters?) but people seem mostly uninterested.
I think there are real reasons to be concerned about the specific path we're on, but these aren't the good ones.
The point about solving more problems at a low reliability level rather than solving problems at a higher reliability level is highly interesting though!
It’s well established that disruptive technologies don’t appear to have any serious applications, at first. But they get better and better, and eventually they take over.
PG talks about how new technologies seem like toys at first, the whole Innovator Dilemma is about this…so well established within this community.
Just ignore it and figure out where the puck is moving toward.
btw: the german KI (Keine Intelligenz) is much more accurate than AI (Apparently Intelligent)
Aside of the anger that this public stupidity produced in me, I always knew that this day will come.
Maybe next time someone will have the balls not to call a text-generator's with inherent hallucination Intelligence? Who knows. Miracles can happen.:)
---
1. No matter how smart they get, current models are "only" pre-trained. No amount of "in-context learning" can allow the model to manipulate the shape and connectivity of the latent state-space burned into the model through training.
What is "in-context learning", if not real learning? It's the application of pre-learned general and domain-specific problem-solving principles to novel problems. "Fluid intelligence", you might call it. The context that "teaches" a model to solve a specific problem, is just 1. reminding the model that it has certain general skills; and then 2. telling the model to try applying those skills to solving this specific problem (which it wouldn't otherwise think to do, as it likely hasn't seen an example of anyone doing that in training.)
Consider that a top-level competitive gamer, who mostly "got good" playing one game, will likely nevertheless become nearly top-level in any new game they pick up in the same genre. How? Because many of the skills they picked up while playing their favored game, weren't just applicable to that game, but were instead general strategic skills transferrable to other games. This is their "fluid intelligence."
Both a human gamer and a Transformer model derive these abstract strategic insights at training time, and can then apply them across a wide domain of problems.
However, the human gamer can do something that a Transformer model fundamentally cannot do. If you introduce the human to a game that they mostly understand, but which is in a novel genre where playing the game requires one key insight the human has never encountered... then you will expect that the human will learn that insight during play. They'll see the evidence of it, and they'll derive it, and start using it. They will build entirely-novel mental infrastructure at inference time.
A feed-forward network cannot do this.
If there are strategic insights that aren't found in the model's training dataset, then those strategic insights just plain won't be available at inference time. Nothing the model sees in the context can allow it to conjure a novel piece of mental infrastructure from the ether to then apply to the problem.
Whether general or specific, the model can still only use the tools it has at inference time — it can't develop new ones just-in-time. It can't "have an epiphany" and crystallize a new insight from presented evidence. It's not doing the thing that allows that to happen at inference time — with that process instead exclusively occurring (currently) at training time.
And this is very limiting, as far as we want models to do anything domain-specific without having billion-interaction corpuses to feed them on those domains. We want models to work like people, training-wise: to "learn on the job."
We've had simpler models that do this for decades now: spam filters are trained online, for example.
I would expect that, in the medium term, we'll likely move somewhat away from pure feed-forward models, toward models with real online just-in-time training capabilities. We'll see inference frameworks and Inference-as-a-Service platforms that provide individual customers with "runtime-observed in-domain residual-error optimization adapters" (note: these would not be low-rank adapters!) for their deployment, with those adapters continuously being trained from their systems as an "in the small" version of the async "queue, fan-in, fine-tune" process seen in Inf-aaS-platform RLHF training.
And in the long term, we should expect this to become part of the model architecture itself — with mutable models that diverge from a generic pre-trained starting point through connection weights that are durably mutable at inference time (i.e. presented to the model as virtual latent-space embedding-vector slots to be written to), being recorded into a sparse overlay layer that is gathered from (or GPU-TLB-page-tree Copy-on-Write'ed to) during further inference.
---
2. There is a kind of "expressivity limit" that comes from generative Transformer models having to work iteratively and "with amnesia", against a context window comprised of tokens in the observed space.
Pure feed-forward networks generally (as all Transformer models are) only seem as intelligent as they are, because, outside of the model itself, we're breaking down the problem it has to solve from "generate an image" or "generate a paragraph" to instead be "generate a single convolution transform for a canvas" or "generate the next word in the sentence", and then looping the model over and over on solving that one-step problem with its own previous output as the input.
Now, this approach — using a pure feed-forward model (i.e. one that has constant-bounded processing time per output token, with no ability to "think longer" about anything), and feeding it the entire context (input + output-so-far) on each step, then having it infer one new "next" token at a time rather than entire output sequences at a time — isn't fundamentally limiting.
After all, models could just amortize any kind of superlinear-in-compute-time processing, across the inference of several tokens. (And if this was how we architected our models, then we'd expect them to behave a lot like humans: they'd be be "gradually thinking the problem through" while saying something — and then would sometimes stop themselves mid-sentence, and walk back what they said, because their asynchronous long-thinking process arrived at a conclusion, that invalidated previous outputs of their surface-level predict-the-next-word process.)
There's nothing that says that a pure feed-forward model needs to be stateless between steps. "Feed-forward" just means that, unlike in a Recurrent Neural Network, there's no step where data is passed "upstream" to be processed again by nodes of the network that have already done work. Each vertex of a feed-forward network is only visited (at most) once per inference step.
But there's nothing stopping you from designing a feed-forward network that, say, keeps an additional embedding vector between each latent layer, that isn't overwritten or dropped between layer activations, but instead persists outside the inference step, getting reused by the same layer in the next inference step, where the outputs of layer N-1 from inference-step T-1 are combined with the outputs of layer N-1 from inference-step T to form (part of) the input to layer N at inference-step T. (To have a model learn to do something with this "tool", you just need to ensure its training is measuring predictive error over multi-token sequences generated using this multi-step working-memory persistence.)
...but we aren't currently allowing models to do that. Models currently "have amnesia" between steps. In order to do any kind of asynchronous multi-step thinking, everything they know about "what they're currently thinking about" has to somehow be encoded — compressed — into the observed-space sequence, so that it can be recovered and reverse-engineered into latent context on the next step. And that compression is very lossy.
And this is why ChatGPT isn't automatically a better WolframAlpha. It can tell you how all the "mental algorithms" involved in higher-level maths work — and it can try to follow them itself — but it has nowhere to keep the large amount of "deep" [i.e. latent-space-level] working-memory context required to "carry forward" these multi-step processes between inference steps.
You can get a model (e.g. o1) to limp along by dedicating much of the context to "showing its work" in incredibly-minute detail — essentially trying to force serialization of the most "surprising" output in the latent layers as the predicted token — but this fights against the model's nature, especially as the model still needs to dedicate many of the feed-forward layers to deciding how to encode the chosen "surprising" embedding into the same observed-space vocabulary used to communicate the final output product to the user.
Given even linear context-window-size costs, the cost of this approach to working-memory serialization is superlinear vs achieved intelligence. It's untenable as a long-term strategy.
Obviously, my prediction here is that we'll build models with real inference-framework-level working memory.
---
At that point, if you're adding mutable weights and working memory, why not just admit defeat with Transformer architecture and go back to RNNs?
Predictability, mostly.
The "constant-bounded compute per output token" property of Transformer models, is the key guarantee that has enabled "AI" to be a commercial product right now, rather than a toy in a lab. Any further advancements must preserve that guarantee.
Write-once-per-layer long-term-durable mutable weights preserve that guarantee. Write-once-per-layer retained-between-inference-steps session memory cells preserve that guarantee. But anything with real recurrence, does not preserve that guarantee. Allowing recurrence in a neural network, is like allowing backward-branching jumps in a CPU program: it moves you from the domain of guaranteed-to-halt co-programs to the domain of unbounded Turing-machine software.
These LLM AIs need to be treated and handled as what they are: idiot savants with vast and unreliable intelligence.
What does any advanced organization do when they hire a new PhD, let them loose in the company or pair them with experienced staff? When paired with experienced staff, they use the new person for their knowledge but do not let them change things on their own until much later, when confidence is established and the new staffer has been exposed to how things work "around here".
The big difference with LLM AIs is they never graduate to an experienced staffer, they are always the idiot savant that is really dang smart but also clueless and needs to be observed. That means the path forward with this current state of LLM AIs is to pair them with people, personalized to their needs, and treat them as very smart idiot savants great for strategy and problem solving discussion, where the human users are driving the situation, using the LLM AIs like a smart assistant that requires validation - just like a real new hire.
There is an interactive state that can be achieved with these LLM AIs, like being in a conversation with experts, where they advise, they augment and amplify individual persons. A group of individuals adept with use of such an idiot savant enhanced environment would be incredibly capable. They'd be a force unseen in human civilization before today.
After reading about o3's performance on ARC-AGI, I strongly suspect people will not be so flippantly dismissive of the inherent limits of these technologies by this time next year. I'm genuinely surprised at how myopic HN commentary is on this topic in general. Maybe because the implications are almost unthinkably profound.
Anyway, OpenAI, Anthropic, Meta, and everyone else are well aware of these types of criticisms, and are making significant, measurable progress towards architecturally solving the deficiencies.
I can ask the computer "hey I know this thing exists in your training data, tell me what it is and cite your sources." This is awesome. Seriously.
But what that means is you can ask it for sample code, or to answer a legal question, but fundamentally you're getting a search engine reading something back to you. It is not a programmer and it is not a lawyer.
The hype train really wants to exaggerate this to "we're going to steal all the jobs" because that makes the stock price go up.
They would be far less excited about that if they read a little history.
That being said they are very useful. I mostly use them as a far superior alternative to web search and as a kind of junior research assistant. Anything they find must be checked of course.
I think we have invented the sci-fi trope of the AI librarian of the galactic archive. It can’t solve problems but it can rifle through the totality of human knowledge and rapidly find things.
It’s a search engine.
> idiot savants with vast and unreliable intelligence.
Remember, intelligence !== knowledge. These LLMs indeed have vast and unreliable knowledge banks.
I would say "knowledge" rather than "intelligence"
The key feature of LLMs is the vast amounts of information and data they have access to, and their ability to quickly process and summarize, using well-written prose, that information based on pattern matching.
Over the past couple of years of educating myself a bit, whilst I am no expert I have been anticipating a dead end. You can throw as much training at these things as you like, but all you'll get is more of the same with diminishing returns. Indeed in some research the quality of responses gets worse as you train it with more data.
I am yet to see anything transformative out of LLMs other than demos which have prompt engineers working night and day to do something impressive with. Those Sora videos took forever to put together, and cost huge amounts of compute. No one is going to make a whole production quality movie with an LLM and disrupt Hollywood.
I agree, an LLM is like an idiot savant, and whilst it's fantastic for everyone to have access to a savant, it doesn't change the world like the internet, or internal combustion engine did.
OpenAI is heading toward some difficult decisions, they either admit their consumer business model is dead and go into competing with Amazon for API business (good luck), become a research lab (give up on being a billion dollar company), or get acquired and move on.
> A group of individuals adept with use of such an idiot savant enhanced environment would be incredibly capable. They'd be a force unseen in human civilization before today
More than the people who landed someone on the moon?
Basically this. They already have vastly better-than-human ability at finding syntax errors within code, which on its own is quite useful; think of how many people have probably dropped out of CS as a major after staying up all night and failing to find a missing semicolon.
1. LLMs have little value, are totally unreliable, will never amount to much because they don’t learn and grow and mature like people do., so they cannot replace a person like me who is well advanced in a career.
2. LLMs are incredible useful and will change the world because they excel at entry level work and can replace swaths of relatively undifferentiated information workers. LLM flaws are not that different from those workers’ flaws.
I’m in camp 2, but I appreciate and agree with the articulation of why they will not replace every information worker.
I'm sorry but your comment is a good example of the logical shell game many people play with AI when applying it to general problem solving. Your LLM AI is both an idiot and an expert somehow? Where is this expertise derived from and why should you trust it? If LLMs were truly as revolutionary as all the grifters would have you believe then why do we not see "forces unseed in human civilization before today" by humans that employ armies of interns? That these supposed ubermensch do not presently exist is firm evidence in support of current AI being a dead end in my opinion.
Humans are infinitely more capable than current AI, the limiting factor is time and money. Not capability!
Apparently they don't believe that AI is about to revolutionize things that much. This makes me believe that significant part of the AI investment is just FOMO driven, so no real revolution is around the corner.
Although we keep seeing claims that AI achieved PHD level this Olympics level that, people who actually own these keep demanding immigration policy changes to bring actual humans from overseas for year to come.
Sorry for the potentially silly question. I just spent some time trying to research it and came up with nothing concrete.
The whole conversation is so dishonest.
Every software firm, notable and small, has had layoffs over the past two years, but somehow there's still a "STEM shortage" and companies are "starving for talent" or some such nonsense?
Fake discussion.
My boy. More people need common sense like this talked into them.
As we continue to innovate, a focus on explainability, fairness, and accountability in AI systems will be paramount to harnessing their potential without compromising societal values.
Do you have an example of this?
We just keep moving the goalposts.
Norvig seems to be using a loose technical definition of AGI, roughly "AI with some degree of generality", which is hard to argue with, although by that measure older GOFAI systems like SOAR might also qualify.
Certainly "deep learning" in general (connectionist vs symbolic, self-learnt representations) was a step in the right direction, and LLMs a second step, but it seems we're still a half dozen MAJOR steps away from anything similar to animal intelligence, with one critical step being moving beyond full dataset pre-training to new continuous learning algorithms.
And the systems in place do so at scales and breadths that no human could achieve.
That doesn’t change the fact that it’s effectively triple PHD uncle Jim, as in slightly unreliable and prone to bullshitting its way through questions, despite having a breathtaking depth and breadth of knowledge.
What we are making is not software in any normal sense of the word, but rather an engine to navigate the entire pool of human knowledge, including all of the stupidity, bias, and idiosyncrasies of humanity, all rolled up into a big sticky glob.
It’s an incredibly powerful tool, but it’s a fundamentally different class of tool. We cannot expect to apply conventional software processes and paradigms to LLM based tools any more than we could apply those paradigms to politics or child rearing and expect useful results.