{"type": "article", "title": "Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/using-openai-dots-as-an-agent-swarm-to-prove-new-math-for-free-lean-verified", "original_source": "https://unexcitedneurons.substack.com/p/i-used-openai-dots-as-an-agent-swarm", "published": "2026-10-05T21:58:52+00:00", "accessed": "2026-10-05", "id": "using-openai-dots-as-an-agent-swarm-to-prove-new-math-for-free-lean-verified"}