AI로 50년 묵은 Conway의 추측을 증명하다

I Vibed a Proof of Conway's Conjecture

React 교육자 Dan Abramov가 한 달간 프런티어 모델과 토큰을 쏟아부어 John Conway가 1976년 제기한 omnific integer의 refinement 추측에 대한 Lean 증명을 얻었다고 주장한다. 수학자들의 독립 검증은 아직 없지만 Palomar registry의 기계적 검사를 통과했고, Lean과 해당 분야에 익숙한 몇몇 사람들이 명제 자체는 맞아 보인다고 밝혔다. 그는 자신의 AI 워크플로와 시행착오를 공개하며 반박을 환영한다.