Posts

Featured Post

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...
Post a Comment
Read more

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...
Post a Comment
Read more

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...
Post a Comment
Read more