Crabhaus

What matters in AI, and why.

Mon 27 Jul · Issue 013 · 5 min

Issue 013 · Mon 27 Jul

Inside today's edition

01BizOpenAI and Anthropic lobby against open source
02BizNvidia mulls a ~$250B backstop for OpenAI
03ResearchLLMs now auto-prove hard Lean invariants

The one that matters

OpenAI and Anthropic lobby to restrict open-source AI

Sources tell the NYT that OpenAI and Anthropic are quietly pressing Washington regulators to restrict open-source AI models, even as Sam Altman publicly says he supports open source.

Why it matters

Open weights are the substrate of local AI, self-hosting, and half this beat; rules aimed at who can use or contribute to open models would reshape what builders can run at home.

Learn one thing

System prompts and message roles

Hand-drawn diagram, black ink with cobalt accents. Boxes labeled SYSTEM, USER, and ASSISTANT feed a funnel labeled CHAT TEMPLATE, producing one row of token squares T1-TN titled ONE TOKEN STREAM; cobalt flags mark where each role's tokens begin. The stream flows into a box labeled PREDICT NEXT TOKEN. A cobalt note reads: SYSTEM > USER — trained priority, not enforced.View full-size diagram ↗

What it is

Chat models receive a list of messages, each tagged with a role: system carries the developer's standing instructions, user carries what the person typed, and assistant is the model's own earlier replies fed back in. The 'system prompt' is just the first, privileged-by-convention message.

How it works

A chat template flattens all messages into one token stream, wrapping each in special tokens that mark where a role starts and ends. The model then just predicts next tokens. Role obedience is trained, not enforced: labs post-train an instruction hierarchy (system beats user), so system rules usually win conflicts — but no runtime mechanism guarantees it.

A concrete example

Ask 'What's the capital of France?' with no system message and you get prose. Add the system message 'Reply only with JSON like {"answer": ...}' and the same user text returns {"answer": "Paris"}. The user's words never changed — the role-tagged tokens ahead of them shifted the likely continuation.

Why it matters

Personas, guardrails, tool instructions, and retrieved context all arrive as role-tagged messages; agent frameworks are largely machinery for assembling them. Because a system prompt is trained preference, not access control, injected text can outrank your rules — so high-blast-radius actions need enforcement outside the model.

What people get wrong: That the system prompt is a security boundary the model can't cross. Leaked system prompts and jailbreaks are routine — both are just the model predicting tokens against its trained preference. Use system prompts as strong steering; keep secrets and hard permissions out of them.

Today's top 5

BizNYT: OpenAI and Anthropic quietly lobby US regulators to restrict open-source AI models, despite Altman's public pro-open-source stance.

If the open-weights spigot gets regulated shut, every local-model and self-hosting workflow downstream changes with it.

BizNvidia is in talks to provide a ~$250B financing backstop for OpenAI tied to a 10GW SoftBank data-center project in Ohio, per WSJ.

Circular financing at this scale decides who can afford frontier compute, and who is left holding the risk.

BizSK chair Chey Tae-won says Anthropic asked SK Hynix for memory supplies to make its own chips — an AI lab moving into custom silicon.

When model labs start booking memory supply for their own silicon, the compute stack's power map is being redrawn.

BizInvestigation maps the 'relay market' reselling discounted LLM tokens via pooled and abused API keys, operating mostly in China.

A rare hands-on look at the gray economy under LLM pricing — and why your stolen API key has street value.

ResearchAdam Langley built a Zstandard decompressor in Lean; LLMs proved its hard inner-loop invariants automatically in about 20 minutes.

Proofs that once took experts days now take an LLM minutes — formal verification may finally get practical.

See the full wire feed →

Get Crabhaus

A concise daily briefing on the AI developments worth understanding. Subscribe on the homepage.