Used OpenAI Dots as a Free Agent Swarm to Break a 47-Year-Old Math Record
jaxchang · reddit · 2026-10-06
The author orchestrated OpenAI's Dots into an agent swarm that collaborated to break a 47-year-old mathematical record — entirely for free. The proof was formally verified with Lean, so the result is machine-checked rather than just claimed by the model. The write-up covers how free-tier agents were coordinated, iterated, and verified end to end, a hands-on case of autonomous agents doing frontier math research.
More from coding & agent
- Engineers' hardest lesson is economics: patching legacy code often beats rewriting — tekbog · 2026-10-06
- 70% of web traffic now comes from agents, says Dynamic Web Paige — DynamicWebPaige · 2026-10-06
- Dev tries CodeRabbit and Greptile, calls both 'complete trash' for PR review — KyeGomezB · 2026-10-06
- Kabir returns to Stripe, doubling down on agentic payments infrastructure — jeff_weinstein · 2026-10-06
- Trained agentic context management: 8K-context small model matches GPT-5.4 at 1M on OOLONG — xennygrimmato_ · 2026-10-06
- Granola now auto-captures screen shares in meetings, not just what's said — soleio · 2026-10-06