Live data from Hacker News

Viewing profile — ICBTheory

ICBTheory

HN member
Joined
Sun, Jun 22, 2025, 5:03 PM UTC
HN karma
118
Public activity
30 items

About ICBTheory

No profile information was provided.

Recent public activity

  1. comment
    Comment #46109036

    I'd say that conclusion is a manifestation of pragmatic wisdom. Anyway: I agree. The paper certainly doesn't argue that AI is useless, but that autonomy in high-stakes domains is m…

  2. comment
    Comment #46108480

    Author here. This paper is Part III of a trilogy investigating the limits of algorithmic cognition. Given the recent industry signals regarding "scaling plateaus" (e.g., Sutskever …

  3. story
  4. comment
    Comment #44576186

    And finally 7. On “But humans are finite too—so why not replicable?” Yes. Humans are finite. But we’re not symbol-bound, and we don’t wait for the frame to stabilize before we act.…

  5. comment
    Comment #44576101

    6. On “This is just a critique of current models—not AGI itself” No. This isn’t about GPT-4, or Claude, or whatever model’s in vogue this quarter. Neither is it about architecture.…

  6. comment
    Comment #44575955

    5. On “Kolmogorov and Chaitin are misused” It’s a fair concern.Chaitin does get thrown around too easily — usually in discussions that don’t need him. But that’s not what’s happeni…

  7. comment
    Comment #44575874

    4. On “This is just the No Free Lunch Theorem again” Well … not quite. The No Free Lunch theorem says no optimizer is universally better across all functions. That’s an averaging r…

  8. comment
    Comment #44575769

    3. On “He redefines AGI to make his result inevitable” Sure. I redefined AGI. By using… …the definition from OpenAI, DeepMind, Anthropic, IBM, Goertzel, and Hutter. So unless those…

  9. comment
    Comment #44575719

    2. On “This is just philosophy with no testability” Yes, the paper is also philosophical. But not in the hand-wavy, incense-burning sense that’s being implied. It makes a formal cl…

  10. comment
    Comment #44575651

    1. On “The brain obeys physics, physics is computable—so AGI must be possible” This is the classical foundational syllogism of computationalism. In short: 1.The brain obeys the law…

  11. comment
    Comment #44575376

    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 …

  12. story
    AGI Is Mathematically Impossible (3): Kolmogorov Complexity

    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 intell…

  13. comment
    Comment #44356070

    You’re misreading what I’m doing, and I suspect you’re also misdefining what a “proof” in this space needs to be. I’m not assuming humans exceed the Turing computable. I’m not usin…

  14. comment
    Comment #44354329

    You’re flipping the logic. I’m not assuming humans are beyond Turing-computable and then using that to prove that AGI can’t be. I’m saying: here is a provable formal limit for algo…

  15. comment
    Comment #44354312

    Yes, of course — if you define Ω² as “English + All of Science,” then congratulations, you have defined an unbounded oracle. But you’re just shifting the burden. No sysem starting …

  16. comment
    Comment #44354295

    The claim isn’t that humans maintain a consistent metascience. In fact, quite the opposite. Frame jumps happen precisely because human cognition is not locked into a consistent for…

  17. comment
    Comment #44353922

    No problem here is you proof - although a bit long: 1. THEOREM: Let a semantic frame be defined as Ω = (Σ, R), where Σ is a finite symbol set and R is a finite set of inference rul…

  18. comment
    Comment #44351404

    Wow, that is a great advice. Never heard of them - and they seem to fit perfectly into the whole concept THANK YOU! :-)

  19. comment
    Comment #44351367

    Very good point. I in fact had thought of describing the problem from a systems theoretical perspective as this is another way to combine different paths into a common principle Th…

  20. comment
    Comment #44351147

    1. I appreciate the comparison — but I’d argue this goes somewhat beyond the No Free Lunch theorem. NFL says: no optimizer performs best across all domains. But the core of this pa…

  21. comment
    Comment #44350948

    Oh no, I am not at all trying to find an explanation of why this is (qualia etc.). There is simply no necessity for that. It is interesting, but not part of the scientific problem …

  22. comment
    Comment #44350876

    Why? 1. Basically because physical laws obviously allow more than algorithmic cognition and problem solving. (And also: I am bound by thermodynamics as my mother in Law is, still i…

  23. comment
    Comment #44350453

    Just to make sure I understand: –Are we treating an arbitrary ontological assertion as if it’s a formal argument that needs to be heroically refuted? Or better: is that metaphysica…

  24. comment
    Comment #44349827

    Correct: Shannon entropy originally measures statistical uncertainty over a fixed symbol space. When the system is fed additional information/data, then entropy goes down, uncertai…

  25. comment
    Comment #44349589

    Thanks — and yes, Penrose’s argument is well known. But this isn’t that, as I’m not making a claim about consciousness or invoking quantum physics or microtubules (which, I agree, …