Posts

Featured Post

The Jacobian in the Mirror

Image
 J-Space, Access Consciousness, and the Question We Cannot Yet Ask A Technocrat's Discernment. July 7, 2026. On July 6, 2026, Anthropic's interpretability team published a paper titled Verbalizable Representations Form a Global Workspace in Language Models . The authors are Wes Gurnee, Nicholas Sofroniew, Jack Lindsey, and thirteen others. The paper runs long. The math is real. The headlines were already breathless before I finished reading the abstract. I want to make an argument in this piece. It is a strong one and I will state it plainly. The Jacobian mathematics behind the new J-lens technique, and the J-space it uncovers inside Claude Sonnet 4.5, Haiku 4.5, Opus 4.5, and Opus 4.6, give us the first empirically defensible reason to say that a large language model is not merely computing but deliberating . Whether that qualifies as thinking, as an entity, or as the first credible tremor of the singularity, is a philosophical judgment that the math itself cannot render. The ...

JEPA does not need a qubit. The robot might need a spike.

Image
  A note on substrates, world models, and what is actually shipping. Copyright: Sanjay Basu Why I am writing this There has been a small swell of press and LinkedIn threads in the last few weeks coupling JEPA-family world models with quantum computing as their training substrate. I have read enough of these to want to write something straight. The pairing is not absurd. Quantum and JEPA both feel non-classical in flavor, both invoke prediction over physical reality, and both have well-funded research programs that promise the future. Fine. But the technical case for running JEPA training on a quantum computer does not exist yet, will not exist in three to five years, and probably will not exist in the form people are imagining. What does exist, and what the same kind of buyer might actually find useful inside the same decade, is neuromorphic silicon for inference at the edge. That is the bet I would make if forced to put money on a non-classical substrate doing real work for world ...

On the day a proof outran its readers

Image
Copyright: Sanjay Basu The proof nobody read O n a Friday afternoon last November, an autonomous system called Aristotle was handed a problem Paul Erdős had posed roughly thirty years earlier. Six hours later it produced a proof. The proof was a long file of Lean 4 code, full of lemmas that no human had read. Verification took about a minute. Somewhere in the middle of those six hours, Aristotle did something the working mathematics community had quietly failed to do for a generation. It noticed that the problem, as published in the official list of Erdős open problems, had a small gap in its statement. A hypothesis was missing. With the hypothesis added back in, the question reduced cleanly to a corollary of Brown’s criterion, and Aristotle proved that version. The hard version, the one Erdős presumably meant to ask, is still open. You can read the Lean file. It is on GitHub. I have looked at it. I cannot really tell you what it says. The kernel of Lean, the small piece of trusted cod...