U unexcitedneurons.substack.com Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified) 3 points jychang 26 days ago 1 comments
