Imagine a fish physicist. She is brilliant. Over centuries her tradition has built a physics of astonishing power: pressure, buoyancy, viscosity, the propagation of waves, the beautiful nonlinearities of turbulence. It predicts everything she can measure. It has no loose ends worth losing sleep over.… Read More “The Fish Who Could Not Imagine Air”
Mathematics is producing proofs faster than it has ever produced them, and mathematical progress has not accelerated. That fact is not a paradox. It is the clearest available evidence for a structural claim about artificial intelligence — one that can be stated precisely, proved in three independent ways, and, uncomfortably, does not say what most people want it to say.… Read More “No Fixed Frame Is Enough”
I’ve published a live, interactive visualization of the field at the heart of my physics research program, and you can run it in your browser right now, with nothing to install:
This article presents the Universal Generative Principle (UGP) — a machine-verified arithmetic framework that derives the Standard Model of particle physics from three axioms and a unique integer seed, with no free parameters. It covers the full arc of the programme: from the original Standard Model derivation through computational universality, the discovery of the Φ_MDL continuum field, emergent gravity, QCD, and a completeness proof.… Read More “The Standard Model Is Not a Coincidence”
There is a small and growing group of people who are producing cognitive work at a scale the rest of the world cannot yet perceive. They are doing in months what used to take decades.… Read More “The Orchestrator”
Civilization is building systems that reason about themselves, audit themselves, and govern themselves — without a formal science of what self-referential systems can and cannot do. That gap is not merely academic. It is costing us clarity about AI safety, interpretability, consciousness, and the foundations of physics.… Read More “Toward a New Science of Self-Referential Systems”
There is a question so basic that physics has never seriously tried to answer it: why does the universe have the laws it has rather than some other laws? A new formal framework — No External Model Selection, or NEMS — takes this question seriously and derives theorems from it.… Read More “What Would a Universe With No Outside Look Like? The NEMS Answer”
Not all possible universes are equal. A formal sieve, derived from the requirement that the universe have no outside, partitions all possible foundational theories into four classes. The universe we observe falls into a specific class — and this placement has provable consequences for everything from quantum mechanics to the existence of observers.… Read More “The Classification of Universes: What NEMS Proves About the Structure of Possible Worlds”
The NEMS program has produced dozens of structural laws — precise, memorable, and applicable far beyond physics. These are not philosophical opinions or empirical generalizations. Each one is a machine-checked theorem, or a compressed interpretive consequence of a machine-checked theorem. Here are the most important ones, stated plainly.… Read More “The NEMS Proverbs: What Closure Teaches Us”
A machine-checked theorem proves that any closed physical universe rich enough to contain computation cannot internally contain a complete algorithmic account of its own record-truth. This is not about the limits of human knowledge. It is a theorem about the architecture of reality.… Read More “Physical Incompleteness: The Universe Cannot Contain a Complete Account of Itself”
A machine-checked theorem proves that no parametric self-model — no matter how rich, how large, or how powerful — can represent its own diagonal. The blind spot is not a resource limitation. It is structural. And it holds with no computability assumption, no arithmetic, no cardinality.… Read More “Representational Incompleteness: Why No Self-Model Can Capture Its Own Diagonal”
Gödel’s incompleteness, Turing’s halting undecidability, Kleene’s recursion theorem, Tarski’s truth undefinability, and Löb’s reflection theorem are five of the most celebrated results in 20th-century logic and computation. A new machine-checked theorem proves they are all instances of one master fixed-point framework.… Read More “One Theorem Behind Gödel, Turing, Kleene, Tarski, and Löb”
A machine-checked theorem proves that no sufficiently expressive reflexive system — no formal logic, no computer, no physical universe, no mind — can internally exhaust its own realized semantics. Physical incompleteness, representational incompleteness, and the classical barriers of Gödel, Turing, Kleene, Tarski, and Löb are all corollaries of one result.… Read More “Closure Without Exhaustion: Why Every System That Models Itself Has an Irreducible Remainder”
This is the final essay in a series. The first, The Twist Move, describes the operation itself across mathematics, biology, physics, and business. The second, The Twist and the Ground of Being, argues that the consciousness twist is real, that the substrate must support it, and that this tells us something fundamental about the nature of reality.… Read More “The Twist as Generative Principle”
This is the fifth essay in a series. The first, The Twist Move, describes the operation itself across mathematics, biology, physics, and business. The second, The Twist and the Ground of Being, argues that the consciousness twist is real, that the substrate must support it, and that this tells us something fundamental about the nature of reality.… Read More “The Twist-Resistant Organization”
This is the third essay in a series. The first, The Twist Move, describes the operation itself across mathematics, biology, physics, and business. The second, The Twist and the Ground of Being, argues that the consciousness twist is real, that the substrate must support it, and that this tells us something fundamental about the nature of reality.… Read More “How to Develop Twist Literacy”
This is the second essay in a series. The first, The Twist Move, describes the operation itself across mathematics, biology, physics, and business. The second, The Twist and the Ground of Being, argues that the consciousness twist is real, that the substrate must support it, and that this tells us something fundamental about the nature of reality.… Read More “The Twist and the Ground of Being”
This is the first essay in a series. The first, The Twist Move, describes the operation itself across mathematics, biology, physics, and business. The second, The Twist and the Ground of Being, argues that the consciousness twist is real, that the substrate must support it, and that this tells us something fundamental about the nature of reality.… Read More “The Twist Move”
We are at a genuinely exciting moment. In the past weeks alone, GPD (Getting Physics Done) has launched with bold promises about AI agents autonomously advancing physics, and Math.Inc has released Gauss, their system for AI-driven mathematical research. The pitch is seductive: deploy swarms of agents, point them at hard problems, and let them run.… Read More “The Horse Has No Rider: Why Autonomous AI Science Gets It Wrong — And What to Do Instead”
Something remarkable happened this week. A human-AI collaboration formally verified Maryna Viazovska’s Fields Medal-winning proof of optimal sphere packing in 8 and 24 dimensions. Math, Inc.’s AI agent Gauss autoformalized the 24-dimensional proof — over 200,000 lines of Lean code — in just two weeks, with no pre-existing blueprint to work from.… Read More “The Age of the Navigator: Why AI in Mathematics Changes Everything — and Nothing”
This article summarizes my book on The Self-Defining Universe, which focuses on how the universe can exist without an external runner – a fully self-contained universe that “runs itself.”
This article is about a new kind of simple computational rule (“LACE rules” running on LACE, the Link Automata Computing Engine platform) which, when applied locally on a grid of cells, demonstrates fascinating emergent “artificial life” behavior.
For readers familiar with the Game of Life (GOL), this is a next-level class of cellular automata that utilizes neighborhood topology — the state of the grid is a function of both cell states and their connectivity (links).… Read More “Introducing LACE – A New Kind of Cellular Automata”
Large language models exhibit a critical limitation: they cannot reliably evaluate their own outputs within the same conversational context where those outputs were generated. Recent research demonstrates that when AI systems attempt to check their own reasoning, they confirm their initial responses over 90% of the time regardless of correctness—a phenomenon researchers term “intrinsic self-correction failure.”… Read More “Why AI Systems Can’t Catch Their Own Mistakes – And What to Do About It”
This article explains my paper on the Mathematics of Self-Referential Systems, for a non-technical audience. The paper develops a comprehensive mathematical framework for understanding systems that can represent, model, or “know” themselves. While self-reference has long been seen as a source of logical paradoxes, this work argues it may be the fundamental organizing principle of reality itself—and provides specific mathematical bounds and requirements for achieving different levels of self-awareness.… Read More “A New Mathematics of Self-Reference: A Comprehensive Non-Mathematical Summary”
As artificial intelligence, especially large language models (LLMs), becomes increasingly embedded within critical societal functions, understanding and managing their epistemic capabilities and limitations becomes paramount. This paper provides a rigorous and comprehensive epistemological framework for analyzing AI-generated knowledge, explicitly defining and categorizing structural, operational, and emergent knowledge limitations inherent in contemporary AI models.… Read More “Epistemology and Metacognition in Artificial Intelligence: Defining, Classifying, and Governing the Limits of AI Knowledge”
When you ask a large language model a question, it doesn’t think, it calculates probabilities. It scans its training data and returns the statistically most likely response based on patterns it has learned.… Read More “The Probability Trap: How Not to Use AI”
This paper constructs a formal deductive argument for the necessity of a processing modality that transcends standard Turing-equivalent computation—termed herein “Transputation”—for any system capable of achieving “Primal Self-Awareness,” which we rigorously define as the foundational characteristic of sentience.… Read More “On The Formal Necessity of Trans-Computational Processing for Sentience”
The current epoch of artificial intelligence is characterized by an astonishing generative capacity, yet beneath this surface of prolific creation lies a nascent challenge: the very fabric of knowledge upon which these intelligences are built remains surprisingly coarse.… Read More “The UKL Revolution: Weaving a New Cognitive Fabric for the Age of AI”
As the U.S. approaches a likely end to the penny’s circulation, a novel opportunity arises: What if we don’t melt them, don’t discard them, but instead repurpose America’s 114 billion pennies into one of the largest distributed battery systems on the planet?… Read More “America’s Last Cent: Turning 114 Billion Pennies into a National Battery”
As artificial intelligence systems evolve toward greater autonomy and sophistication, understanding and implementing metacognitive capabilities becomes essential for ensuring epistemic reliability and safety. This paper presents a comprehensive eleven-tier hierarchical framework for metacognitive capability in artificial systems, spanning from basic reactive generation to advanced substrate-level introspection.… Read More “A Hierarchical Framework for Metacognitive Capability in Artificial Intelligence: Eleven Tiers of Epistemic Self-Awareness”
As artificial intelligence systems advance toward general intelligence capabilities, establishing robust ethical frameworks becomes paramount for ensuring beneficial outcomes for humanity and the planetary ecosystem. This article presents a comprehensive analysis of the “AI for Good” constitutional framework, centered on five Prime Directives that form an ethical bedrock for AGI development.… Read More “The Core Principles of AI for Good (AI4G): A Constitutional Framework for Beneficial Artificial General Intelligence”
As artificial intelligence systems become increasingly sophisticated, traditional approaches to AI safety that rely on imposed constraints and arbitrary rules face fundamental limitations. This paper proposes a paradigm shift: grounding AI ethics in logical necessities that function as “natural laws” for rational agents.… Read More “Logical Foundations for Ethical AI: Natural Laws for Artificial Minds”