중학생 연구자가 Claude의 도움으로 60개 꼭짓점을 가진 다면체 rhombicosidodecahedron의 ‘자기 통과 불가능성’을 다룬 컴퓨터 보조 증명을 공개했다. 같은 크기 복제물을 통과시키는 구멍을 낼 수 없다는 주장으로, 공개 저장소에는 정확한 대수 연산과 구간 계산을 이용한 검증 코드, 21만1680개 셀과 약 1230만 말단 구간의 검사 자료가 담겼다. AI가 수학과 코딩을 보조했지만 문제 선택과 검토는 사람이 맡았다. 사전 공개 논문과 검증 자료를 제시한 단계이며, AI의 설명 자체를 증명으로 삼은 사례는 아니다.