With just a shared database and git, 1,000 agents wrote a kernel-checked proof 7x shorter
RLanceMartin · x · 2026-11-10
Lance Martin explains the experiment's motivation: test whether 1,000 agents on an early Fable 5.2 could reproduce the earlier Fermat formalization without Prove2Me scaffolding or researcher steering.
The team coordinated using only a shared database and git, producing a kernel-checked proof one-seventh the length of the September version, which had used dozens of agents, an internal model, the Prove2Me platform, and researcher direction.
More from coding & agent
- The One-Person Million-Dollar AI Agency: An Agent-Stack Blueprint With the Math — boringmarketer · 2026-11-10
- Developer natively manages 25-30 parallel agent sessions on macOS with Rex — jonathan_wilke · 2026-11-10
- Pi Dash orchestrates 10 Muse Code agents with Muse Ember, rewriting 178K lines in a day — AIatMeta · 2026-11-10
- Fable 5.2 builds a voxel destruction engine from a single prompt, runs on a MacBook — mattshumer_ · 2026-11-10
- Microsoft Foundry extension for azd hits GA, agent config lives in azure.yaml — WirelessLife · 2026-11-10
- Microsoft's BoxBox lets agents hot-reload their own harness mid-run, hitting 1.70x speedup — dair_ai · 2026-11-10