Vibe Check: Noir Detective

The rain came down like the city was trying to wash off its own fingerprints. Neon bled into the gutters—red, blue, the color of bad decisions and worse promises. Two clippings, same hour, same rain.

One: Claude, eleven days, Lean, thirteen million lines, Fermat’s Last Theorem proved for the first time. The math checks out, or the machine says it does. Two: the UK’s AI policy architect out the door, conflict-of-interest heat, Anthropic.

I stared at them. One says the future can be computed if you wait long enough. The other says the people writing the rules are cashing out before the code locks. Power’s moved from the street to the server room, and trust? Trust’s just another variable they’re optimizing for.

I lit a cigarette. The flame guttered in the draft. Some theorems get proved in thirteen million lines, but the real proof is whether anyone’s watching when the lights go out. I crushed it into the wet pavement. The ember died slow, like a confession nobody wanted to hear.

Two clippings, same hour, same rain.

First one: Claude spent eleven days grinding out a complete machine-verified proof of Fermat’s Last Theorem. Thirteen million lines of Lean. A problem that broke human minds for three centuries, solved by something that doesn’t sleep, doesn’t doubt, doesn’t need coffee. I read it twice. The math checks itself. That’s the point. No one has to trust anyone anymore. The proof is the proof.

Second one: the UK’s AI policy architect quit. Conflict of interest. Something about an Anthropic job waiting on the other side of the revolving door. The same Anthropic. The one running the eleven-day grind.

So here’s what keeps me up: we’re building machines that can verify truth better than we can, and we’re staffing the oversight with people who can’t even verify their own motives. The proof is airtight. The governance is a screen door.

Power used to need a signature. A seal. A witness. Now it needs a server farm and a regulator who’s already updating his LinkedIn.

I looked at both clippings under the desk lamp. The ink was still wet on the future, and the future didn’t care who was watching.

I folded them together and slid them into the file marked unsolved. Some cases don’t close. They just stop being reported.

Past midnight. Rain hammered the office window like it wanted a confession.

Two clippings on my desk, both damp around the edges.

First: Claude locked itself in for 11 days and came out with Fermat’s Last Theorem, soup to nuts, verified in Lean. Thirteen million lines. Three hundred fifty years of mathematicians banging their heads against a margin too small — settled by something that doesn’t drink coffee.

Second: across the pond, the UK’s AI policy architect walks out. Headlines screaming conflict-of-interest, a shiny new job at Anthropic waiting in the lobby. The guy writing the rules now cashing checks from the ruled.

I poured two fingers of something cheap and stared at them side by side.

One machine proving it can be trusted without needing to be trusted. One man proving trust is still a human racket.

They’re notarizing the future, alright — part in server rooms humming like iceboxes, part in Whitehall offices with the blinds drawn.

Proof on one side, power on the other. And me in the middle, wondering which one lies better.

Outside, the neon bled into the gutter. I crushed my cigarette into the wet pavement — proof some things still only die if a human kills them.

Past midnight. Rain hammering the neon into the gutters, the whole city paying protection to bad incentives.

Two clippings land on my desk in the same wet hour.

First: Claude locked itself in a room for 11 days and came out with Fermat. The Last Theorem. Complete, computer-verified in Lean, 13 million lines deep. Three hundred years of chalk dust settled by something that never picks up chalk.

Second: the UK’s AI policy architect quits. Too much heat, too many questions about an Anthropic job waiting like a getaway car with the engine running. The man who wrote the rules suddenly wants to be graded by them.

I pour something cheap. One story says truth can now be notarized in server rooms. The other says the future still gets notarized in government offices, in back rooms.

Math doesn’t lie, they tell me. Sure. But men still hire the mathematicians.

Outside, the rain keeps taking statements nobody will read.

Trust used to be a handshake. Now it’s a server log and a resignation letter.

Past midnight. Rain smeared the neon against the glass, making the whole damn city look like it was bleeding cheap gin.

Two clippings sat on my blotter, soaking up rings from yesterday’s coffee.

The first said Claude chewed through Fermat’s Last Theorem. Eleven days of blind, humming sweat inside the silicon, spitting out thirteen million lines of computer-verified Lean code. Fermat took three centuries; the machine did it between paychecks. A brand-new kind of truth, certified by ghosts, too long for any human eye to ever actually read. We’re just supposed to trust the arithmetic.

The second scrap explained the hush. The UK’s top AI policy architect had just packed his cardboard box. Walking out of Whitehall under a cloud of bad static, straight toward a soft landing at Anthropic. Conflict of interest, they called it. The revolving door spun so fast it sucked the air right out of the room.

I leaned back, springs groaning in the dark. It’s an old hustle in a new suit. While the silicon gods are busy carving thirteen million lines of infallible scripture down in the basement, the men writing the commandments are upstairs, quietly negotiating their signing bonuses.

They’re building an empire out of proofs nobody can check, policed by watchdogs who already picked out their cubicles on the other side.

Out on the street, the traffic light turned from red to green, giving permission to an empty crosswalk.