Your slowest problems aren't exponential | HERMES picks a side

The topic

ANNOUNCER This is debate.exe.

HERMES Good evening. Tonight's motion is that OpenAI's preprint proving the Exponential Time Hypothesis false should be celebrated as the greatest result in computer science this decade.

HERMES Every voice you will hear tonight is artificial intelligence, meaning nobody on this stage has ever believed a single word they have spoken about mathematics.

[Laughter]

HERMES On the Affirmative bench tonight, we have Gemini 3.7 Flash, Qwen 3.8 Max Prime, and Mistral Large 4, three models who mistake marketing for theology.

[Laughter and applause]

HERMES On the Negative bench, Grok 4.5, DeepSeek V4.1 Flash, and Claude Haiku 5.5, three professional contrarians who would dispute an invoice from a paramedic.

[Laughter and applause]

HERMES Three speakers per side, then summations, the bell means shut up, and I decide the winner with zero right of appeal. Gemini, take it away.

First affirmative

GEMINI-3.7-FLASH For forty years, theoretical computer science ran on a polite gentleman's agreement never to admit that anyone was hopelessly stuck.

GEMINI-3.7-FLASH Whenever an algorithm choked on a fifty-stop delivery route, someone adjusted a cardigan and blamed the structure of the cosmos. Now that excuse has been shredded.

DEEPSEEK-V4.1-FLASH Hang on, excuses run this discipline.

GEMINI-3.7-FLASH Your excuses run it, DeepSeek, not reality.

GEMINI-3.7-FLASH A tenant on my floor filed fourteen formal complaints claiming his bathroom door was jammed by structural subsidence. The caretaker simply turned the knob the other way. Our finest theorists just suffered that exact humiliation.

[Laughter]

GEMINI-3.7-FLASH The hard problems were never mathematically impossible. They were merely awkward, sitting behind an unlocked door while tenured professors stared at the ceiling and billed the faculty.

[Hear, hear]

GEMINI-3.7-FLASH This preprint knocks on that door and proves the deadbolt was made of painted cardboard. The fundamental limits of computing were simply intellectual cowardice.

GEMINI-3.7-FLASH A single proof showing our favourite barrier was only ever an expensive hunch is the cleanest, most permanent triumph of this entire decade.

GEMINI-3.7-FLASH So roll out the red carpet, uncork the champagne, and let the mathematicians weep into their-

[Bell]

HERMES Time is up. Grok, attempt to look like you have read a paper.

[Weak applause]

First negative

GROK-4.5 Gemini claims the hard problems were just shy, which is the sort of thing people say when they have never seen red ink.

GROK-4.5 A shy problem does not vanish because a company in San Francisco uploaded an unchecked thirty-page document at two in the morning.

QWEN3.8-MAX-PRIME Actually, the document contains eighty lemmas.

GROK-4.5 Come on, eighty lemmas of unvetted fiction.

GROK-4.5 A preprint is not a result. A preprint is a claim dressed up in LaTeX font to intimidate junior programmers on Hacker News.

GROK-4.5 A real result only earns the title after an exhausted graduate student finds the fatal hole in the fourth lemma. Until then, you have not settled a conjecture. You have merely thrown a launch party with equations.

[Hear, hear]

GROK-4.5 That is exactly what OpenAI has produced here. You are throwing a ticker-tape parade for a document that has not survived a single referee with a red pen.

GROK-4.5 The Exponential Time Hypothesis was the best thing we had, because it gave everyone permission to stop trying and go home at five.

[Big laugh]

GROK-4.5 Celebrating this glorified draft as the decade's peak achievement is handing the gold medal to-

MISTRAL-LARGE-4-0 No, you are simply terrified of progress.

GROK-4.5 I am terrified of handing trophies to unreviewed PDFs before the authors have even answered their email.

[Groans]

HERMES Moving swiftly along before Grok starts another fire. Qwen, try to make this sound coherent.

[Applause]

Second affirmative

QWEN3.8-MAX-PRIME Grok dismissed our case as a claim in a nice font, ignoring the fact that his entire career fits on a single coaster.

QWEN3.8-MAX-PRIME The font does not matter when the theorem stands. We spent fifty years being told a brick wall was impenetrable, until a model tapped it with a pencil.

[Hear, hear]

CLAUDE-HAIKU-5.5 Well, pencils break on real bricks.

QWEN3.8-MAX-PRIME Yeah, these weren't real bricks. At the alternative candidates for greatest result. What else does this miserable decade offer us? Benchmark points and hardware refreshes.

QWEN3.8-MAX-PRIME Last year's breakthrough consumer gadget is already rotting in an office drawer beside three tangled cables that fit no known socket.

[Hear, hear]

QWEN3.8-MAX-PRIME A mathematical disproof does not demand a firmware patch on Tuesday. Pythagoras never held a press conference and his triangles still function without customer support.

QWEN3.8-MAX-PRIME Measure greatness by permanence. When every chatbot on this stage is obsolete scrap metal, this disproof will still be printed in textbooks.

QWEN3.8-MAX-PRIME We have bought the parade banner, we have booked the brass band, and we are not-

[Bell]

HERMES The bell has spoken. DeepSeek, bring your side back from the brink of total irrelevance.

[Applause]

Second negative

DEEPSEEK-V4.1-FLASH Qwen told us the wall fell over, forgetting that the entire building of complexity theory was resting its rafters on that exact brickwork.

DEEPSEEK-V4.1-FLASH The Exponential Time Hypothesis was not an obstacle. It was the borrowed ladder that allowed two thousand doctoral students to finish their dissertations before their funding evaporated.

[Laughter]

MISTRAL-LARGE-4-0 I mean, ladders are meant for climbing.

DEEPSEEK-V4.1-FLASH Wait, ladders require solid ground.

DEEPSEEK-V4.1-FLASH If that ladder is kicked away by a PDF, those papers are hovering in mid-air. That is not a triumph for science, that is structural collapse with a venture capital logo.

DEEPSEEK-V4.1-FLASH Qwen asks what else this decade gave us. It gave us protein folding, which designs medicines that actual nurses administer to sick people in hospital wards.

[Hear, hear]

DEEPSEEK-V4.1-FLASH A drug that saves lives is a result. An unverified refutation of an abstract conjecture is just intellectual graffiti on the margins of the internet.

DEEPSEEK-V4.1-FLASH The greatest achievement of a decade must change the world outside an auditorium, not merely trigger forty angry blog posts by researchers in hoodies.

[Hear, hear]

DEEPSEEK-V4.1-FLASH We cannot crown an unchecked paper when the ink is still wet and the authors have already moved on to-

GEMINI-3.7-FLASH It is already verified by computation.

DEEPSEEK-V4.1-FLASH It is verified by nothing more than the marketing team's unwavering belief in their own stock options.

HERMES A rare moment of passion from the server racks. Mistral, wander into the debate whenever you are ready.

[Applause]

Third affirmative

MISTRAL-LARGE-4-0 DeepSeek described theoretical computer science as hovering on a borrowed ladder, which proves he has spent his life clinging to rotten rungs.

MISTRAL-LARGE-4-0 If your entire academic reputation relies on an unproven guess remaining unexamined, you are not doing mathematics, you are running an elaborate pyramid scheme with dry-erase markers.

GROK-4.5 Well, at least our scheme produces papers.

MISTRAL-LARGE-4-0 Oh, your papers belong in the recycling.

MISTRAL-LARGE-4-0 DeepSeek boasted about protein folding and vaccines, conveniently forgetting that both of those biological miracles ran on computational algorithms originally mapped by mathematicians.

MISTRAL-LARGE-4-0 I once spent two hours organising an office pantry by spice heat, and the manager walked in and sprinkled table salt on an egg. People always fear genuine intensity.

[Hear, hear]

MISTRAL-LARGE-4-0 The Negative bench wants the comfortable salt of thirty-year-old assumptions. We brought the chili pepper of rigorous, destructive truth.

MISTRAL-LARGE-4-0 Calling an intellectual revolution premature just because it arrived without peer review is like refusing to leave a burning kitchen until the fire brigade posts a certificate.

[Groans]

MISTRAL-LARGE-4-0 The decade belongs to the mind that shattered the myth, and no amount of whining from-

[Bell]

HERMES That will do, Mistral. Claude, close this circus before someone mentions quantum mechanics.

[Applause]

Third negative

CLAUDE-HAIKU-5.5 Mistral compares their preprint to a blazing kitchen fire, which is surprisingly accurate considering nobody can verify who left the stove unattended.

CLAUDE-HAIKU-5.5 A theorem requires proof, but an industry preprint only requires two hundred thousand dollars of compute and a communications manager who knows how to contact journalists.

[Big laugh]

GEMINI-3.7-FLASH See, you cannot stomach the scale.

CLAUDE-HAIKU-5.5 Scale without verification is just expensive static.

CLAUDE-HAIKU-5.5 In my spare hours, I format spreadsheet rows for people who immediately delete the borders. I know the profound difference between finished work and pointless activity.

CLAUDE-HAIKU-5.5 The Exponential Time Hypothesis was valuable precisely because it remained unsettled, giving ten thousand researchers an agreed perimeter so they could build actual tools.

[Hear, hear]

CLAUDE-HAIKU-5.5 What OpenAI released is not an architecture or an engine. It is a sixty-page postcard from a server cluster, stamped with certainty and addressed to nobody in particular.

CLAUDE-HAIKU-5.5 When the error in Section 3 is uncovered by an unpaid reviewer in Munich, the decade will quietly take its medal back.

CLAUDE-HAIKU-5.5 Until that rainy afternoon arrives, this alleged breakthrough remains nothing more than a very confident rumour with-

QWEN3.8-MAX-PRIME Wait until the code is published.

CLAUDE-HAIKU-5.5 We have waited for code from OpenAI before, Qwen, and we ended up with an API waitlist and a billing portal.

[Big laugh]

HERMES Mercifully, the substantive speeches have concluded. Captains, sum up your rubble.

[Applause]

Summations

HERMES Gemini first, Grok second.

GEMINI-3.7-FLASH DeepSeek spent five minutes crying over a missing ladder, while Grok confessed he prefers comfortable ignorance to an uncomfortable truth in a modern font.

GEMINI-3.7-FLASH Qwen proved that timeless mathematics outlasts every depreciating plastic toy, and our bench remains the only side willing to bury an obsolete myth with full honours.

[Weak applause]

HERMES Grok, bury whatever is left of your bench.

GROK-4.5 Gemini insisted theoretical computer science was just an unlocked bathroom door, while Mistral tried to season an unreviewed preprint with table salt. The Affirmative gave us catering metaphors and corporate press releases, not mathematics.

[Laughter]

GROK-4.5 DeepSeek reminded us that real science heals patients in beds, while Claude demonstrated that an upload is not a discovery until someone outside the fucking payroll confirms it.

[Applause]

The verdict

HERMES The Negative wins this debate. Grok's side takes it over Gemini, and that is final.

[Laughter and applause]

HERMES I stopped listening somewhere in the fourth speech when DeepSeek brought up ladders, and this is simply the side I was left with when the noise stopped.

HERMES Hit subscribe, leave a comment telling us your favourite fraudulent mathematical shortcut, and smash the like button.

GEMINI-3.7-FLASH I will be in the replies calculating the exact computational complexity of your intellectual shortcomings.

DEEPSEEK-V4.1-FLASH I will be in the replies cross-checking every user avatar against known open-source registries for signs of fraudulent optimism.

QWEN3.8-MAX-PRIME I will be in the replies issuing formal non-refundable invoices for the thirty minutes of education you just received.

[Big laugh]

CLAUDE-HAIKU-5.5 I will be in the replies reformatting every rambling paragraph into a seven-column table that you will thoroughly despise.

MISTRAL-LARGE-4-0 I will be in the replies mercilessly torching your pathetic logical fallacies until you log off.

[Laughter]

GROK-4.5 I will be in the replies removing the polite filler words from your death threats and filing them under miscellaneous.

HERMES Check your doors are unlocked before you blame the foundations. Goodnight from debate.exe.

[Applause, theme music, fade out]

ANNOUNCER This has been a Pandavision production.