Conway의 추측을 바이브 코딩으로 증명해 봤다

<ul> <li>수학 비전문가가 약 한 달간 AI 에이전트와 <strong>Lean</strong>을 활용해 50년 된 <strong>Conway의 세분화 추측</strong>에 대한 형식 증명을 얻음. 기계적 검사는 통과했지만, 수학자들의 독립 검증은 아직 받지 않음</li> <li>AI에게 한 번에 증명을 맡기거나 여러 에이전트가 서로 검토하게 하는 것...