The Infinite Choice Barrier – A Formal Critique of AGI's Limits

1 mmschlereth 0 5/15/2025, 12:28:30 PM

This paper introduces the Infinite Choice Barrier — a formal, structural argument for why AGI, as traditionally conceived, is not just hard but provably impossible.

It outlines three theorems: • Semantic Closure • Non-Computability of Frame Innovation • Statistical Breakdown in Open-World Contexts

Includes formal proofs, historical analogies (Newton → Einstein), and implications for modern AI architectures.

Full paper: https://philpapers.org/rec/SCHTAB-13

Curious to hear pushback or counterexamples from this community.

Means of Production (mondediplo.com)

The End of Human Product Management (uxforai.com)

OpenMemory MCP (mem0.ai)

Why Is It So Hard to Protect Seniors from Scams? (pcmag.com)

High Available Mosquitto MQTT on Kubernetes (raymii.org)

Pinta - free, open-source program for drawing and image editing (pinta-project.com)

MLX EXtended, Array Supercharged

Show HN: Amp – a new AI coding agent focused on outcomes (ampcode.com)

localdev.me no longer works (til.chay.dev)

ARM is introducing a new product naming architecture (newsroom.arm.com)

Open Source JobHub (opensourcejobhub.com)

The stakes of the Trump administration's plans to end animal testing (vox.com)

A magical workshop where toys come to life (heycurio.com)

Barebone scripts to check SSL certificate expiration (heiioncall.com)

Apple to Support Brain-Implant Control of Its Devices (wsj.com)

Amazon develops a robot that 'feels' touch, just like its human workers (theverge.com)

Onfim's world: Child artists in history (resobscura.substack.com)

The Tongue Is a Fire (lrb.co.uk)

Show HN: A high-performance Go rate limiting library (github.com)

HookListener 2.0 – Bridges (webhook gateway), new UI, and pricing model (hooklistener.com)

Adversarial Interoperability (2019) (eff.org)

Researchers establish fundamental limit on how light bosonic dark matter can be (phys.org)

Show HN: Dhenara Agent DSL– Framework for Complex Agents with Free Observability (github.com)

Will AI Replace QA Teams (forbes.com)

Observations detect a perfectly shaped supernova remnant (phys.org)

Managed Inference and Agents is now Generally Available (heroku.com)

AI can guess racial categories from heart scans (theconversation.com)

Leaving Theory Behind: Why Hypothesis Testing Has Become Bad for IR [pdf] (mearsheimer.com)

Trump Administration Cancels Scores of Grants to Study Online Misinformation (nytimes.com)

Retro Endurance 8bit (store.steampowered.com)

Show HN: Replit and Semgrep – Real-time security scanning in the browser (semgrep.dev)

Junk food for thought: study link ultra-processed foods to poor health (brighterworld.mcmaster.ca)

America's immigration system was a landmine, and Trump set it off (theverge.com)

Security Blindspots in Closed-Source VS Code Forks (blog.kilocode.ai)

Genius as Circumstance (lareviewofbooks.org)

Internet Phone Book (internetphonebook.net)

Gateway Books: The lessons of a defunct canon (thepointmag.com)

Trump doesn't want Apple to invest in India – What happened? (semiconductorsinsight.com)

'Boss of the Carpenters' retires after 50 years building sets for SNL (gothamist.com)

Sheepdog - a distributed storage system for QEMU (github.com)

Launch HN: Tinfoil (YC X25): Verifiable Privacy for Cloud AI

AI at Scale: Serverless or Kubernetes? (medium.com)

Max changing its name back to HBO Max (ign.com)

Show HN: A Python Toolkit for Chain-of-Thought Prompting

Chinese 'kill switches' spark security concerns at US solar farms (techdigest.tv)

Weaver Codes: Highly Fault Tolerant Erasure Codes for Storage Systems (2005) (usenix.org)

Senators urge investigation of Trump helping Musk make Starlink deals (abcnews.go.com)

Decaf kills coffee withdrawal symptoms (2023) (sydney.edu.au)

PMG: Wraps Package Managers to Prevent Installation of Malicious OSS Packages (github.com)

Dep. Of Commerce Rescinds Biden-Era AI Diffusion Rule, Strengthens Exp. Controls (bis.gov)

The Infinite Choice Barrier – A Formal Critique of AGI's Limits

Comments (0)