AnalysisScienceOctober 6, 2026

OpenAI Dots agent swarm improves 47-year-old covering bound

Read original source →unexcitedneurons.substack.com

A swarm of 7 Dots agents (6 subagents plus primary) proved C(24,14,4) ≥ 20, beating the ≥ 19 lower bound from Schönheim 1964 and Mills 1979, with Lean verification. The same argument raised C(25,15,5) from 32 to 34, using roughly 3 days of compute (Oct 1–3).

1 source

More stories today

Open the live feed