5·other·사례연구·GeekNews·2026. 09. 18.Conway의 추측을 바이브 코딩으로 증명해 봤다AI 에이전트를 사용해 Conway의 세분화 추측을 증명한 사례.A case of proving Conway's segmentation conjecture using AI agents.#lean#ai#conway#proof#agent요약 보기원문 →