OpenAI Dots를 에이전트 스웜으로 활용해 새로운 수학 정리 증명하기 (Lean 검증 완료, 무료)

Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)