AnalysisScienceOctober 6, 2026

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

Read original source →unexcitedneurons.substack.com

A 7-agent Dots swarm running free GPT-6 Astra agents proved C(24,14,4) ≥ 20, improving on the 1964/1979 lower bound of 19, with Lean verification. The same argument raised C(25,15,5) from 32 to 34, using about 3 days of compute (Oct 1–3).

1 source

More stories today

Open the live feed