AGI Is Mathematically Impossible (3): Kolmogorov Complexity

41 points by ICBTheory ↗ HN
Hi folks. This is the third part in an ongoing theory I’ve been developing over the last few years called the Infinite Choice Barrier (ICB). The core idea is simple:

General intelligence—especially AGI—is structurally impossible under certain epistemic conditions.

Not morally, not practically. Mathematically.

The argument splits across three barriers: 1.Computability (Gödel, Turing, Rice): You can’t decide what your system can’t see. 2.Entropy (Shannon): Beyond a certain point, signal breaks down structurally. 3.Complexity (Kolmogorov, Chaitin): Most real-world problems are fundamentally incompressible.

This paper focuses on (3): Kolmogorov Complexity. It argues that most of what humans care about is not just hard to model, but formally unmodellable—because the shortest description of a problem is the problem.

In other words: you can’t generalize from what can’t be compressed.

Here’s the abstract:

There is a common misconception that artificial general intelligence (AGI) will emerge through scale, memory, or recursive optimization. This paper argues the opposite: that as systems scale, they approach the structural limit of generalization itself. Using Kolmogorov complexity, we show that many real-world problems—particularly those involving social meaning, context divergence, and semantic volatility—are formally incompressible and thus unlearnable by any finite algorithm.

This is not a performance issue. It’s a mathematical wall. And it doesn’t care how many tokens you’ve got

The paper isn’t light, but it’s precise. If you’re into limits, structures, and why most intelligence happens outside of optimization, it might be worth your time.

https://philpapers.org/archive/SCHAII-18.pdf

Happy to read your view.

19 comments

[ 965 ms ] story [ 747 ms ] thread
How is your brain doing it then?
(comment deleted)
I think that any paper that argues something is impossible is fundamentally flawed, particularly when there are examples of it being possible.

Also, what's the point of telling others you believe what they are doing is impossible, specially after the results we are seeing even at the free-tier, open-to-the-public services?

I'll bite; There was a Kurt Jaimungal interview yesterday explaining that the Navier-Stokes fluid equations are not only unpredictable (chaotic), but also uncomputable (in the Turing sense). (if I recalled it correctly)

But I take that to mean there's no general, universal algorithm to tell us anything we want to know. But that's not what intelligence is, we're not defining some kind of absolute intelligence like an oracle for the halting problem. That definition would be a category error.

I didnt read your draft paper, but your premise in HN sounds a bit off to me. AGI does not assume the ability for finding or learning an optimal solution to every problem (with that assumption it would be trivial to prove it impossible in many different ways). Independent of the exact definition, a system of intelligence that is better or equal to the best human in any domain would be at least termed AGI. (If there exist a couple incompressible problems along the way you can memorize the human solution.) If you proved AGI impossible under such a (weaker?) definition you would prove that humans can no longer improve in any domain (as the set of all humans is a general intelligence). Or you would need to assume that there is something special inside humans, which no technology can ever build. I disagree with both premises.
Okay, read the abstract and Intro. Recently, in the paper

"What Has a Foundation Model Found? Using Inductive Bias to Probe for World Models"

your thesis of Ai's lack of capacity to abstract or at least extract understanding from noisy data was largely experimentally confirmed. I am uncertain though about the exact mechanics b/c as they used LLM's, its not transparent what happened internally that lead to constant failure to abstract the concept despite ample predictive power. One interesting experiment was the introduction of the Oracle that literally enabled the LLM to solve the task that was previously impossible without the oracle, which means, at least its possible that LLM's can reconstruct known rules. They just can't find new ones.

On a more fundamental level, I am not so sure why these experiments and mathematical proofs still are made since Judea Pearl already established about seven years ago in "Theoretical Impediments to Machine Learning " that all correlation based methods are doomed as they fail to understand anything. his point about causality is well placed, but will not solve the problem either.

The question I have though, if we ignore all existing methods for one moment, then what makes you so sure that AGI is really Mathematically impossible? Suppose some advancement in quantum computing would allow to reconstruct incomplete information, does your assertion still holds true?

https://arxiv.org/abs/2507.06952 https://arxiv.org/abs/1801.04016

AGI Is Mathematically Impossible

Unless you believe in magic, the human brain proves that human level general intelligence is possible in our physical universe, running on a system based on the laws of said physical universe. Given that, there's no particular reason to think that "what the brain does" OR a reasonably close approximation, can't be done on another "system based on the laws of our physical universe."

Also, Marcus Hutter already proved that AIXI[1] is a universal intelligence, where it's only short-coming is that it requires infinite compute. But the quest of the AGI project is not "universal intelligence" but simply intelligence that approximates that of us humans. So I'd count AIXI as another bit of suggestive evidence that AGI is possible.

Using Kolmogorov complexity, we show that many real-world problems—particularly those involving social meaning, context divergence, and semantic volatility—are formally incompressible and thus unlearnable by any finite algorithm.

So you're saying the human brain can do something infinite then?

Still, happy to give the paper a read... eventually. Unfortunately the "papers to read" pile just keeps getting taller and taller. :-(

[1]: https://en.wikipedia.org/wiki/AIXI

> …the human brain proves that human level general intelligence is possible in our physical universe, running on a system based on the laws of said physical universe.

This poster didn't understand this response last time this was raised: https://news.ycombinator.com/item?id=44349818

The human brain does not have perfect memory. It is not always logical. And more often than not it is motivated and influenced by "external" forces - health, hunger, sex drive, environmental conditions, luck, spiritual inspiration, or whatever. The perfect worker is purely logical and has perfect memory and no external influences - never gets hungry or sick or wants to be the boss themselves. The AI race is funded by folks interested in creating the perfect worker, not a human. I have to agree with the conclusions of this paper that they won't be able to make humans. (But they don't really want to.) The Vatican has also published interesting works on this idea. The question is - if you take out everything that makes it human, can you call it intelligent?
At first I was thinking, let's see if an argument is made that is not applicable to GI, whether artificial or not, and if not, why even mention AI at all?

Then I started to read the paper, and it's worse.

Every one of his 'examples' would not just be 'solved' by any existing LLM, even a 'dumb' system that just spits out a random sentence to any question would pass his first 2 'tests' with flying colors. I'm not kidding, he accepts "Leave the classroom and stop confusing everybody with your senseless questions" as a good solution.

In fact, the only system that would fail is this hypothetical AI he imagines that somehow gets into infinitely analyzing loops.

Then his 3rd test, an investment decision, gives the same outcome as himself up until the point he draws in extra information not available to the AI, after which he flips his 'answer' which he then labels as 'correct' and the previous answer based on the original info as 'false' because he made some money on the bet a few weeks later, seriously?

The physics of our brains can in principle be simulated at a subatomic quantum level mathematically, even on a classical computer. It would be absurdly expensive and slow with current technology, but it is mathematically possible. Therefore our own generally intelligent brains can be considered a counterexample.

I think for your theory to hold up, you would need to show that physics cannot, even in principle, be simulated mathematically at sufficient scale (the number of interacting subatomic particles). That would be surprising.

At the moment it seems like your results contradict reality, meaning your starting assumptions cannot all be true.

My pet theory is that AGI is not possible until we have real quantum computing.
there is a thing called quantum computing. So nope.
I tried to understand your paper, but could not.

Then I understood why not. Your paper proves that I am unable to understand your paper. It also proves that you are unable to understand your paper.

Consciusness = intrinsic information evaluating itself.

Like eval/apply under Lisp. Or Forth.

Probably every intelligence has its limits, as every systems (eg. mathematics, remembering goedel) has his own. This kind of AGI seems like a deity, hard to belive it's possible, but in pratice many kind of "smaller" intelligences exist (from ants to primates) less "general" but enough to solve enough problems to live and evolve, and maybe can be even created by others intelligences. IMHO It's reasonable to think a real intelligence as a property of complex evolving systems interacting with a complex environment, so to live in a complex world a not-so-general intelligence can be enough, even given some limits and errors.
> This is cognition at its weirdest: solving problems somewhat by accident, finding answers in the wrong place, connecting dots that aren’t even in the same picture.

If you solve a problem "by accident", there are very many other people who make foolish decisions daily because they do not think. Some of those pan out too and lead to understanding. A resource-bounded agent can also maintain a notion of fuel and give a random answer when it has exhausted its fuel.

The structural incompleteness mentioned isn't really meaningful. Humans have not demonstrated the capacity to make epsilon-optimal decisions on an infinite number of tasks, since we do not do an infinite number of tasks anyway.

K-complexity, and resource-bounded K-complexity are indeed extremely useful tools to talk about generalization, I'd agree, but I think the author has misunderstood the limits that K-complexity places on generalization.

Feeding your papers to any SOTA LLM is a quick way to expose all the logical holes and omissions in them.

I would politely suggest that until you do that and then come up with a convincing rebuttal for every point they make that is not self-evidently wrong, you shouldn't be wasting humans' time.

Hey all, apologies for the delayed response. I was on a flight, then had guests, then had to make some rapid decisions involving actual real-world complexity (the kind that is not easily tokenized).

I’ve now had time to read through the thread properly, and I appreciate the range of engagement—even the sharp-edged stuff. Below, I’ve gathered a set of structured responses to the main critique clusters that came up.