OTHER·중요도 5·2026. 09. 18.·GeekNews
Conway의 추측을 바이브 코딩으로 증명해 봤다
── KO ──────────────────
AI 에이전트를 사용해 Conway의 세분화 추측을 증명한 사례.
수학 비전문가는 AI 에이전트와 Lean을 활용해 50년 된 Conway의 세분화 추측에 대한 형식 증명을 얻었다. 기계적 검사는 성공적으로 통과하였으나, 수학자들의 독립 검증은 아직 이루어지지 않았다. 이 과정에서 AI에게 증명을 맡기거나 여러 에이전트의 검토를 시도한 방법이 소개되었다.
── EN ──────────────────
A case of proving Conway's segmentation conjecture using AI agents.
A non-expert mathematician utilized AI agents and Lean to formally prove the 50-year-old Conway's segmentation conjecture. The mechanical check was successful, but independent verification by mathematicians is still pending. The article discusses methods involving assigning proofs to AI or allowing multiple agents to review each other's work.