Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)
By jychang · 2026-10-05 · 3 points · 1 comments
https://unexcitedneurons.substack.com/p/i-used-openai-dots-as-an-agent-swarm
By jychang · 3 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews