핵심 내용
GeekNews 10월 12일 최신 글에는 국내 중학생 연구자가 AI의 도움을 받아 rhombicosidodecahedron의 Rupert 성질에 관한 계산보조 증명을 제시했다는 게시물이 올라왔다. Rupert 성질은 다면체가 같은 모양의 다른 다면체를 통과할 수 있도록 구멍과 자세를 배치할 수 있는지 묻는 기하학 문제다. 원본 GitHub 저장소에는 10월 5일 Zenodo 사전공개본(v9), 증명 코드, 결과 로그와 논문 PDF가 올라와 있다.
작성자의 README는 정점 60개를 가진 다면체에 대해 211,680개 셀을 검사하고 구간연산과 정확한 대수 계산으로 결과를 검증했다고 설명한다. 계산 결과에서 실패가 없었다는 주장은 공개 프로젝트의 자체 보고다. 이번 조사에서는 전체 계산을 직접 재실행하지 않았고 수학계의 독립 검증이나 동료심사 완료를 확인하지 못했다. 따라서 난제가 공식적으로 해결됐다고 단정하지 않는다. GitHub
배경
생성형 AI는 수학 연구의 아이디어와 코드를 만들 수 있지만 참·거짓을 확정하려면 형식적 주장, 오차 한계와 재현 가능한 검증이 필요하다. 이 프로젝트는 계산 결과·증명 코드·입력 데이터를 공개했다는 점에서 검증 가능한 AI 보조 연구 사례다.
산업·시장에 미치는 영향
AI 기반 연구의 신뢰도는 모델이 '증명했다'고 주장하는 표현보다 독립적으로 다시 실행할 수 있는 계산과 학술적 검토에 달려 있다. 향후 검증이 진행될 수 있으나 사전공개본이라는 단계 자체를 보존해 소개할 필요가 있다.
실무에서 바로 활용할 수 있는 시사점
AI가 생성한 알고리즘이나 수치 결과를 채택할 때 실행환경, 입력자료, 소스 코드, 실패 사례와 허용 오차를 함께 보존해야 한다. 프로젝트의 '0 failures'를 읽을 때도 검사한 영역과 검증되지 않은 가정을 분리해 확인하는 것이 좋다.