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

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