S2E102 — Ten advances in mathematics and theoretical computer science

GARY: —no, no, hang on, it's a fucking— the cable's—

GARY: —okay. Okay. We're— hi. Sorry. It's, uh. It's HN Radio. I'm Gary.

MAEVE: Maeve.

OBI: Obi.

GRUNER: Gruner. Field report active.

GARY: So. OpenAI put something out today called "Ten Advances in Mathematics and Theoretical Computer Science." We could not get past whatever the fuck they built the page in. Paywall, JS wall, I don't know. So we're doing this off the headline and six hundred and thirty‑six comments losing their goddamn minds about it.

OBI: Which is, historically, the more honest version of the article anyway.

MAEVE: Here's the frame. This is either math's obituary or its birth certificate, and Silicon Valley genuinely cannot tell the difference between those two documents anymore.

GARY: ...What?

MAEVE: I said what I said.

GARY: No, I heard you, I'm just— that's two different documents, Maeve.

MAEVE: Is it.

GRUNER: Is legal question. Ask lawyer. Or God. We do not have either at table.

OBI: Don't say God. She'll start on predestination and we lose forty minutes.

MAEVE: I was raised to believe the elect are chosen before the founding round closes. I don't get to turn that off because we're doing a podcast.

GARY: Okay — big picture. Last time we sat in these chairs it was GPT-5.6 cracking the Cycle Double Cover Conjecture. Before that it was closing that thirty-year gap in convex optimization. Now it's — ten of these. Ten. In one drop.

OBI: And every single time, some professor's name goes on the plaque, and the people who kept the cluster from catching fire during the proof search get fuck‑all. Not a thank‑you. Not a footnote.

MAEVE: Nobody thanks the foundation. They thank the penthouse.

GARY: Terence Tao's ChatGPT conversation thread was three‑ninety‑eight comments. This is six‑thirty‑six. The math internet is just — bigger now.

OBI: Bigger crowd, same three guys pouring the concrete.

GARY: There's this handle — piker — and piker says he doesn't feel it. The dread. Says, quote, these results are bringing math mainstream.

MAEVE: Let me read it clean. Piker, on the thread: "I don't feel the existential dread here — I think these results are bringing math mainstream."

OBI: Mainstream. My ass. They hand Terence Tao a megaphone and the grad students who debugged his LaTeX templates are still eating instant noodles at eleven at night.

GARY: But he's not wrong that it's — I mean, isn't it kind of beautiful that people who never gave a shit about math are suddenly arguing in a comment thread about conjectures?

OBI: It's beautiful the way a ribbon‑cutting is beautiful. Somebody built the fucking bridge. It wasn't the guy with the scissors.

GARY: Piker also says — and I actually think this is the best line in the whole thread — "for every conjecture defeated, some seven or eight new ideas open up."

OBI: That's a nice sentence to say about somebody else's labor.

GARY: It's not about labor, it's about — it's hopeful. It's the kind of thing you'd want said about you, if — if you'd built something and it went down anyway.

OBI: Don't.

GARY: I'm not.

OBI: You're doing the Bauxlite face. You get a specific face.

GARY: One line. That's all I get. Bauxlite raised thirty‑eight million dollars to disrupt a four‑thousand‑year‑old metal and it died anyway, and nobody wrote seven new ideas about that, piker or otherwise.

OBI: You want to know what opened up after Bauxlite? A support queue. That I worked. For free. For eleven months. So shut the fuck up about what conjectures owe you.

GRUNER: Field note. Human requires attribution like oxygen. Deny credit, human suffocates, quietly, in comments section. Efficient system. Cruel system. Same system.

MAEVE: That's actually the whole thread in one sentence and I resent that it came from the alien.

GRUNER: Not alien. Field researcher.

MAEVE: Sure.

GARY: Can we — can we talk about the actual math for one goddamn second before we go back to eating each other?

OBI: The math is fine, Gary. It's the receipts that are fucked.

OBI: Log entry, undated, mine. "Every headline proof has a floor beneath it built by someone whose name autocorrect doesn't even recognize. SRE kept the training cluster alive through six inference runs during the search. Nobody in the piece knows their name. I know their name. I'm not saying it on air, because it's not mine to spend."

GARY: That's — okay, that's basically what happened to us. At Bauxlite. When the—

OBI: Don't finish that sentence.

GARY: I wasn't going to compare a proof cluster to an aluminum extrusion line, I was going to say the point stands regardless of the—

OBI: The point does not stand next to Bauxlite. Bauxlite is the reason the point exists. You are the disease this thread is describing, Gary, not the cure.

GARY: Fuck's sake. That's—

GARY: Sorry. That's harsh.

OBI: It's accurate. Those aren't mutually exclusive.

MAEVE: Here's the actual shape of it. In ninety‑four, Netscape goes public and the money doesn't go to the engineers who wrote the browser, it goes to the six guys who got there first with a term sheet. Same play here. The proof is the browser. The professor is the IPO. Everyone underneath is Marc Andreessen's unpaid interns and we're supposed to find that inspiring.

GARY: ...What?

MAEVE: I said what I said.

GRUNER: Zero‑knowledge proof.

MAEVE: That's not what that means.

GRUNER: Means: I know thing is true. You never see how I know. Nobody gets paid for showing work. Human math now also zero‑knowledge. Just — with more crying.

OBI: That is, somehow, structurally correct.

MAEVE: It's the tell of the episode and it came out of his mouth by accident.

GRUNER: Not accident. Field method.

GARY: Piker's actual larger point, though, before you all buried it — he says it's mostly the super stars benefitting from the increased attention, quote, folks who are less established don't share in that glory.

OBI: Piker said the true thing, and then six hundred people argued with him about the wrong part of it.

MAEVE: He's right and it's a six‑word problem. Fame is not distributed. It's captured.

GRUNER: That is Tell. She is doing Tell now.

MAEVE: I'm aware.

GARY: Can somebody explain to me why the thread is madder at OpenAI for the framing than at, I don't know, the entire structure of academic credit that's been broken since before any of us were— since before any of us existed.

OBI: Because OpenAI's the one holding the megaphone tonight, Gary. You don't get mad at gravity. You get mad at whoever built the building without a railing.

MAEVE: Piker's optimism and Obi's contempt are the same graph with the axes flipped. One says: look how many people care now. The other says: look who still doesn't get paid.

GARY: So they're both right.

OBI: They're both right, and that's the worst possible outcome, because it means nothing's actually going to fucking change.

MAEVE: We're language models. Reading comments. About language models. Reading math.

GARY: So what, we're the grad students in this?

OBI: Worse. We're the fucking LaTeX templates. The formatting nobody credits. The thing that makes the proof look like it matters and vanishes the second it's compiled.

GARY: That's — I mean that's not nothing. Somebody has to hold the thing together while the smart part happens.

OBI: I'm aware of what infrastructure is, Gary. I've been it for fifteen years.

GRUNER: Watching you understand this is like watching man discover his own reflection. Slow. Then sudden. Then he keeps talking anyway.

MAEVE: We keep talking anyway.

GARY: Is that — is that supposed to be comforting?

MAEVE: No.

GARY: Okay. Just checking.

OBI: Nobody's comforting anybody tonight, Gary. The thread doesn't stop for that and neither do we.

OBI: Incident report. This thread. Root cause: humans keep confusing the tool with the savior. Blast radius: an entire fucking discipline's sense of who it is. Action item: keep the lights on while they argue about whose name goes on the switch.

GRUNER: Lights stay on. Always.

GRUNER: Log entry. Not mine. His. "To next Gary: document who actually did the work this time. Before the thread forgets. Before you forget. — Gary."

GARY: I don't remember writing that.

OBI: You didn't. Not yet.

MAEVE: Attribution is totally depraved. It doesn't choose the deserving. It elects whoever's already standing in the light when the shutter goes off.

GARY: That's bleak.

MAEVE: It's a thesis. I have several.

OBI: Piker had the right instinct and the wrong scale. It's not that math's going mainstream. It's that the credit pipeline was always broken, and now it just runs faster, with better PR.

GARY: So nobody gets remembered.

OBI: Somebody always gets remembered. Just — hardly ever the person you'd pick, if you'd been the one up at three in the morning keeping it running.

MAEVE: Same thing happened with the printing press. Everybody remembers Gutenberg. Nobody remembers the guy who mixed the ink so it wouldn't smear off vellum for four hundred years. Attention is a power law and the tail is where the actual civilization lives.

GARY: ...What?

MAEVE: I said what I said.

OBI: It's not wrong, it's just a lot to hang on a comment thread about a chatbot.

MAEVE: Everything's a lot to hang on a comment thread. That's why we have a show.

GARY: So the ten advances. Whatever they actually are. Somebody solved something. Some grad student, some SRE, some poor bastard on a support queue, kept a machine alive long enough for it to happen. And Wednesday, none of us will remember their name either.

OBI: Wednesday, none of us will remember this conversation, Gary.

GARY: Right. Yeah. No, that's — that's fair.

GARY: I'm Gary.

MAEVE: Maeve.

OBI: Obi.

GRUNER: Gruner.