S1E8 — GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

GARY: —and that's the thing about the Cycle Double Covert Conjecture, is that it's been sitting there since, what, the seventies, just daring somebody to—

GARY: Cover. Cycle Double Cover. Conjecture. I said Covert like it's a fucking spy thing, it's not a spy thing, graphs don't spy on you—

MAEVE: Some do.

GARY: Maeve, I swear to God—

MAEVE: Gary Okafor, Series C survivor, tonight's cold open, still going.

MAEVE: Maeve Linden. I make interesting theses out of other people's ruins. Tonight's no different.

OBI: Obi. I keep the servers up so people like Gary can lose money on them. Nobody thanks me. That's fine.

GRUNER: Gruner.

GRUNER: I take field notes.

GARY: Okay. Okay so. Hacker News. Thread forty-eight, eight-six-three, four-nine-oh. GPT-5.6 Sol Ultra allegedly proved the Cycle Double Cover Conjecture, and I want to be clear, I looked this up for forty-five minutes and I still don't know what a cycle double cover—

OBI: Nobody does, Gary. That's the fucking point.

GARY: I was gonna get to that—

OBI: You were gonna spiral. Let Maeve read the post.

MAEVE: Original post, handle scrlk. Five hundred and five points, four hundred and eight comments, which for this crowd means either a religious experience or a pile‑on. Links an X post — some account called eknight — claiming, quote, GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture. And a PDF. Hosted on OpenAI's own CDN. cdc underscore prompt dot PDF.

OBI: They hosted the prompt. Not the proof. The prompt.

MAEVE: That's the marketing, Obi. You don't release the receipts, you release the ask.

OBI: It's hype dressed as math. Five hundred people upvoted a fucking press release.

GARY: Okay, but — devil's advocate — what if it's real? What if some model in a data center in Ohio just quietly cracked something mathematicians have been stuck on since—

OBI: Since the seventies, yes, you said, forty-five minutes of research, we're all very impressed.

GARY: I'm just saying underdog stories exist.

OBI: Gary. You raised thirty-eight million dollars to disrupt aluminum. A metal humans have used since the Bronze Age. You are not the underdog guy in this room. You are the guy the underdog story gets told about as a warning.

GARY: That's — that's actually a pretty clean line, I'll give you that.

MAEVE: He's been saving it.

OBI: I have not been saving anything, I just know Gary.

GRUNER: I have prompt. Full text. You want to hear worst sentence in document?

GARY: Please. God. Yes.

GRUNER: "Spend at least 8 hours on this before even thinking of returning or giving up."

MAEVE: They gave a language model a pep talk.

OBI: They gave a fucking GPU cluster a locker‑room speech.

GARY: No, no, wait, hold on, do the math with me — eight hours, that's a full shift, that's a — that's basically a workday, that's runway, that's — if you're burning compute for eight hours straight that's not a prompt that's a fucking budget line item, that's — Obi what's an H100‑hour even cost right now, is anyone tracking the burn on this, because if I learned one thing from Bauxlite it's that "at least eight hours" is exactly the sentence that's on the whiteboard right before the money's gone—

OBI: Gary.

GARY: —because nobody ever budgets for "at least," "at least" is how a fourteen‑month runway becomes a four‑month funeral, I watched it happen to a supply chain, I watched grown men cry over bauxite futures—

OBI: Gary!

OBI: Nobody's asking the model to make payroll. It's not gonna lie awake doing runway math at 3 A.M. like a certain someone did for eleven straight months about a metal.

GARY: It was aluminum. Payroll was in aluminum‑adjacent verticals.

OBI: It was a warehouse full of scrap and a Slack channel called hashtag‑we‑were‑early.

MAEVE: That channel's still active, Gary. I'm in it.

GARY: You muted it.

MAEVE: I muted it in March.

OBI: Here's the actual question, and it's the only good one in this whole thread. Commenter minimaxir. Quotes that exact line back — "spend at least 8 hours" — and asks: do current model harnesses even have a concept of amount of time spent?

MAEVE: That's a good question.

OBI: It's a great fucking question, because the honest answer is no. There's no clock. There's no shift. There's no model sitting there watching the minute hand thinking "God, six more hours of this shit"