21:58
2026-10-05
unexcitedneurons.substack.com
artificial-intelligence
Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)
A developer used OpenAI's Dots agent swarm — seven GPT-6 Astra agents running free on a VM — to prove a new lower bound for the covering problem C(24,14,4), raising it from 19 to 20 and lifting C(25,1…