Moonshine: 추측 생성을 중심으로 하는 자율적 수학 연구 에이전트

Moonshine은 수학적 추측(conjecture)을 생성하는 것을 핵심 목표로 하는 자율 에이전트(autonomous agent)입니다. 이 에이전트의 핵심 역량은 고전적인 문제로부터 구조를 추출하고, 새로운 개념을 정제하며, 수학적으로 유의미한 추측을 공식화하는 것입니다. Moonshine은 단일 명제의 해결을 최종 목적지로 삼는 대신, 추측 생성, 가교 구축, 그리고 장애물 식별을 통해 확장 가능한 이론적 프레임워크를 구축합니다. 본 논문은 Jacobian 추측(Jacobian conjecture)에 대한 Moonshine의 탐색을 사례로 사용합니다. 이는 국소적 비퇴화성(local nondegeneracy)이 전역적 단사성(global injectivity)을 강제할 수 있는지에 대한 핵심 논리가 어떻게 하나의 은닉층을 가진 affine-ridge sigmoid 네트워크로 전이되는지를 보여줍니다. 이는 extit{Neural Jacobian Conjecture} (NJC)의 공식화로 이어집니다: 만약 그러한 네트워크가 전체 공간에서 엄격하게 양수인 Jacobian 행렬식(Jacobian determinant)을 가진다면, 해당 네트워크는 반드시 전역적으로 단사적이어야 합니다. GPT-5.5-pro와 DeepSeek-V4-pro를 각각 호출함으로써, Moonshine은 $N=n+1$인 경우에 대해 독립적이고 완전한 증명을 얻어냈습니다. 또한, GPT-5.5-pro의 웹 인터페이스를 ChatGPT와 상호작용적으로 사용하여 기하학적-위상적(geometric-topological) 증명을 개발했습니다. 이러한 결과들은 해당 추측의 타당성에 대한 예비 증거를 제공합니다. 그러나 일반적인 더 넓은 폭의 경우인 $N \ge n+2$는 아직 해결되지 않은 상태로 남아 있으며 향후 연구 과제로 남겨두었습니다. 본 연구는 의미 있는 수학적 문제를 자율적으로 생성하고 그에 대해 엄밀한 진전을 이루어내는 Moonshine의 능력을 보여줍니다.