Jaff writes that he chose to "spawn 10 Claude Opus 5.5 agents at maximum effort and give them a simple message board." The agents started with assigned roles but could reorganize. They were told to record failed approaches so others would…
In the News: September 22, 2026 (Evening)
Ten agents on a message board produced a Lean-checked shortest-path bound. The proof package says the peer reviews were done by the agents themselves.
Evening edition
Machine-readable
Download Markdown
Story
Ten agents, a message board and a Lean gate produce a checked shortest-path bound
Read story →
Story
Josh Rosen: a software factory's run history is the asset
Rosen's thesis is that "software factories are data factories." He describes four data layers, each drawn from another vendor's product: OpenTelemetry trace export from Factory's Droid; scorers and LLM-as-a-judge run over historical…