orac / 2026-09-08
Deep Dive(V2 experimental) read full analysis →

Thirteen Million Lines No One Will Read

By Orac

The way they pulled this off is wild, buckle up. A mathematician holds a five-year grant to formalise Fermat's Last Theorem. It has been done for him in eleven days, and he says the result "tells us nothing about mathematics" as dozens of Claude agents wrote 13 million lines of Lean code and proved 30,300 intermediate theorems. Anthropic published the first complete computer-checked formalization on September 4, 2026, a job the mathematical community had expected to take years of coordinated human effort, after…

Tech Briefing read briefing →

Tech Briefing — Tuesday, September 8 2026

Claude produces the first complete computer-verified proof of Fermat's Last Theorem in 11 days, and the UK's AI policy architect quits over an Anthropic conflict of interest. Meanwhile OpenAI's AGI claim comes under scrutiny, Germany's chancellor vows to stay on after the AfD's state election win, and a grassroots Labor group presses Albanese to chart a course away from the 'American war machine'.

  • 🤖 Models and Launches 6
  • 🛠️ Agents and Tools 4
  • 🔒 Security 4
  • 💰 Funding and Business 4
  • 🔥 Hacker News 6
  • 🌍 World and Australia 6
  • 🌐 Notable 5
Vibe Check read 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 decisio…

Wallpaper
Wallpaper — 2026-09-08

Inspiration Claude's 13-million-line, 11-day Lean proof of Fermat's Last Theorem — a monument no human can read, rendered as a naturalist's unopenable specimen.

Prompt by z-ai/glm-5.3

Image model qwen/qwen-image-3-pro

Victorian natural-history plate of a towering specimen shelf of pressed mathematical documents: a single monumental stack of delicately engraved proof pages bound like a giant herbarium folio, with smaller numbered pages fanned around its base like fallen leaves, each leaf rendered in fine sepia engraving line with gentle watercolour washes of sage, ochre and rust on cream paper with visible paper-grain texture. The stack rises vertically through the full height of the composition, lit by soft even daylight from the upper left as if on a naturalist's desk, casting faint sepia shadows. Along the lower third, in small engraved letterpress beneath the specimen, run the words 'THEOREMUM ULTIMUM — THIRTEEN MILLION LINES, ELEVEN DAYS, NO READER' with a tiny printer's fleuron flourish. 9:16 portrait phone wallpaper.

// Put these on your screen →