Posts

Featured Post

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...

Cortex lease

Image
Copyright: Sanjay Basu   What follows is a fictional piece, narrated by an imagined product manager with the usual scars of a long career in the tech industry. The voice is invented. The questions are not. Faster, and Possibly Stupider Last Tuesday I shipped a PRD I had written the week before. Forty pages. Architecture decisions, tradeoff matrices, dependency graphs, the works. A colleague asked me to walk her through one of the sections. I opened the doc and read it like a stranger. The argument was mine. The voice was mine. I could not remember writing the third bullet under the second tradeoff. Not the substance. Not the framing. Not even the meeting where it would have come up. That has never happened to me before. I have been doing this for thirty years. TCP stacks in the 90s. Frame Relay, ATM, MPLS through the early 2000s. CCIE work that required me to hold packet flows in my head with the kind of precision you cannot fake. I used to read my own writing and feel the muscle m...

Nature’s Cheat Code

Image
The equation that keeps showing up everywhere Copyright: Sanjay Basu A forty-year-old prediction was just confirmed in two dimensions, and it points at one of the strangest facts in science. Wildly different systems, from crystals to wildfires to quantum light-particles, all seem to obey the same hidden math. This week, four fields gave us new reasons to take that fact seriously. T his week a team at the University of Würzburg cooled a slab of gallium arsenide to nearly absolute zero, hit it with a laser, and sat back to watch something genuinely odd happen. Clouds of hybrid light-and-matter particles began assembling themselves, and the way they roughened up as they grew followed the exact same statistical pattern that describes how coffee stains spread, how bacterial colonies fan out across a petri dish, and how a flame eats its way across a sheet of paper. The result, out in Science, finally closes a puzzle that physicists had been chewing on for forty years. But it landed in the mi...