중학생인데 Claude를 사용해서 기하학적 추측을 증명했습니다: 마름모십이이십면체는 자기 자신을 통과할 수 없다는 것을요
I'm a 9th grader and I used Claude to prove a geometry conjecture: the rhombicosidodecahedron can't pass through a copy of itself
핵심 요약
중학생이 Claude와 협업하여 마름모십이이십면체가 자기 자신을 통과할 수 없다는 수학적 난제를 증명했습니다.
- 수학적 증명 — 마름모십이이십면체의 통과 불가능성을 1,200만 개의 회전 경우의 수를 검증하여 증명함
- Claude의 역할 — 수학적 논리 전개, 코드 작성, 논문 집필 등 핵심적인 작업을 수행함
- 중학생의 성과 — 문제 선정 및 방향 설정, 증명 과정의 검토를 주도하여 오류를 수정함
- 학계의 인정 — 기존 난제를 제기했던 연구자의 지지를 받아 논문이 arXiv에 등재될 예정임
작년에 수학자들이 자기 자신과 똑같은 모양의 구멍을 통과하지 못하는 최초의 볼록 다면체("Noperthedron")를 찾아냈거든. 2021년에 같은 연구진이 아르키메데스 다면체 중 하나인 마름모십이십면체(rhombicosidodecahedron)도 똑같이 통과 못 할 거라고 추측했는데, 아무도 증명을 못 하고 있었단 말이지.
지난 몇 주 동안 Claude랑 같이 이걸 증명해 봤다. 주요 내용은 다음과 같음:
- 기존 방식은 이 도형이 가진 120개의 대칭성 때문에 막혀버리더라. 그래서 우리가 통과가 안 되는 4개의 "특이" 배치 상태를 찾아냈고, sqrt(5)를 써서 정확한 위치를 짚어낸 다음, 이걸 처리할 새로운 정리까지 증명해 냈음.
- 마지막 컴퓨터 검증 단계에서는 가능한 모든 방향을 약 1,230만 개의 박스로 쪼갠 다음에 구간 연산(interval arithmetic)으로 하나하나 다 확인했어. 반올림 오차 같은 걸로 장난질 못 치게 확실하게 막은 거지. CPU 시간으로 38시간 정도 걸리더라.
- Claude가 진짜 빡센 일 다 했다. 수학적 논리 전개, 코드 짜기, 논문 작성까지 다 시킴. 나는 문제 정하고, 단계마다 방향 잡고, 전체적으로 검수하는 역할만 했음. 중간에 처음부터 다시 검증하라고 시켰을 때 진짜 실수 몇 개 찾아내서 고치기도 했다.
솔직히 말하자면, 다른 연구자 두 명(Bence Hervay, Oscar Smith)이 거의 비슷한 시기에 다른 방법으로 똑같은 결과를 증명해 냈고, 내 논문에도 둘 다 인용해 뒀음. 원래 이 추측을 내놨던 연구자 중 한 명인 Sergey Yurkevich가 내 논문을 arXiv에 올릴 수 있게 추천해 줬다. 월요일쯤 올라갈 듯.
논문: https://doi.org/10.5281/zenodo.23159625
코드: https://github.com/swiri0921-bit/rhombicosidodecahedron-not-rupert
GIF는 더 쉬운 케이스를 보여주는 건데, 십이십면체(dodecahedron)는 자기 자신을 통과할 수 있음. 근데 마름모십이십면체는 안 됨.
