arXiv: Moonshine — 새로운 수학적 추측을 생성하고 정리를 증명하는 자율 에이전트

수학 연구는 항상 인간의 창의성과 추상화의 정점으로 여겨졌습니다. 기계가 계산을 도울 수는 있어도 이론적 발전을 이끌 수는 없는 영역이었습니다. 2026년 6월 9일 Xiaoyang Chen과 Xiang Jiang이 발표한 연구는 이 전제에 의문을 제기합니다. Moonshine는 주어진 수학 문제를 풀어내는 것이 아니라 스스로 새로운 수학적 추측(mathematical conjectures), 즉 참이라고 추정되지만 아직 증명되지 않은 명제를 공식화하는 자율 연구 에이전트입니다.

이 차이는 핵심적입니다. 대부분의 AI 시스템이 인간이 공식화한 문제를 풀어내는 방향으로 발전하는 반면, Moonshine는 자체적인 이론적 프레임워크를 구축합니다. 목표는 수학을 적용하는 것이 아니라 수학을 발전시키는 시스템입니다.

방법론: 구조 추출과 추측 생성

Moonshine의 프로세스는 구체적인 수학 질문에서 시작하지 않습니다. 대신 에이전트는 고전적인 문제를 분석하여 그것을 정의하는 추상적 논리 구조, 즉 포함된 구체적인 수학 객체와 무관하게 문제를 문제로 만드는 것을 식별합니다.

그런 다음 그 구조를 새로운 도메인으로 옮기고, 적절한 개념을 공식화하고, 반복적인 추측 생성과 장애물 식별(obstacle identification)을 통해 이론적 프레임워크를 구축합니다. 잠재적 증명이 어디서 어려움에 부딪힐지, 새로운 수학적 도구가 어디에서 개발되어야 할지를 찾는 과정입니다.

이 접근 방식은 최고 수준의 수학자들이 일하는 방식을 모방합니다. 표면적으로 관련 없어 보이는 문제들 간의 유사성을 인식하고 수학의 다른 분야 간에 다리를 구축하는 것입니다.

야코비안 추측이란 무엇이며 테스트에 중요한 이유는 무엇인가요?

능력을 시연하기 위해 연구자들은 야코비안 추측(Jacobian conjecture)을 선택했습니다. 이는 지도의 국소적 비퇴화가 전역적 단사성을 보장할 수 있는지 묻는 고전적인 열린 수학 문제 중 하나입니다. Moonshine는 야코비안 추측을 직접 증명하거나 반증하려 하지 않았습니다. 이는 주어진 문제를 풀어내는 표준적인 접근 방식이었을 것입니다.

대신 논리적 구조를 추출하여 완전히 새로운 도메인인 단층 아핀-리지 시그모이드 네트워크(one-hidden-layer affine-ridge sigmoid networks)로 옮겼습니다. 결과는 신경 야코비안 추측(Neural Jacobian Conjecture, NJC)의 공식화였습니다. 야코비안 행렬식이 모든 곳에서 엄격하게 양수인 단층 아핀-리지 시그모이드 네트워크가 전역적으로 단사적이어야 한다는 것입니다.

이 추측은 독창적입니다. 문헌에 알려져 있지 않았으며 임시적인 직관이나 문헌 탐색이 아닌 고전적 문제에서의 구조 이전에 의해 직접 영감을 받았습니다.

증명과 열린 문제

추측의 공식화는 시작에 불과합니다. Moonshine는 수학적 증명 생성을 위해 GPT-5.5-pro와 DeepSeek-V4-pro를 사용하여 N=n+1 경우의 완전한 증명을 얻었습니다. 네트워크가 입력 차원보다 정확히 하나 더 많은 뉴런을 가진 특수 경우입니다. 또한 다른 관점에서 문제에 접근하는 기하-위상 증명도 개발되었습니다.

그러나 N≥n+2의 일반 경우는 여전히 열린 문제로 남아 있습니다. Moonshine는 입력 차원보다 두 개 이상의 뉴런을 가진 네트워크에 대한 추측을 증명하지 못했으며, 이는 수학과 신경망 이론의 교차점에서 미래 연구의 과제로 남아 있습니다.

두 접근 방식 모두 특수 경우에 대한 엄격한 수학적 확인을 제공하며, 이 자체로 중요한 기여입니다. 일반 경우는 수학자와 AI 연구자의 지속적인 협력을 초대하는 열린 질문으로 남아 있습니다.

지식의 적용과 창조 사이의 경계

연구자들은 Moonshine를 기존 기법을 적용하는 것이 아니라 수학적 지식을 발전시키는 에이전트를 향한 한 걸음으로 자리매김합니다. 이 차이는 철학적이고 실용적으로 중요합니다. 지식의 적용, 즉 알려진 알고리즘과 방법을 사용하여 주어진 문제를 풀어내는 것은 오랫동안 컴퓨터 시스템의 강점이었습니다. 지식의 창조, 즉 새로운 질문을 공식화하고, 새로운 구조를 인식하고, 이론적 프레임워크를 구축하는 것은 배타적으로 인간의 영역으로 여겨졌습니다.

Moonshine는 그 경계를 결정적으로 넘었다고 주장하지 않습니다. 하나의 성공적인 예가 일반적인 자율 수학 연구 능력을 증명하지는 않습니다. 그러나 에이전트가 하나의 문제에서 추상 구조를 체계적으로 추출하고 다른 도메인에 적용할 수 있는 실행 가능한 방법론적 프레임워크를 보여줍니다. 이것이 정확히 최고 수준의 수학자들이 동일한 원칙이 표면적으로 관련 없는 수학 분야에 나타나는 것을 「보는」 방식입니다.

다음 단계에는 방법론을 더 많은 수학 도메인으로 확장하고, 장애물 식별 메커니즘을 개선하고, 신경 야코비안 추측의 일반 경우인 N≥n+2를 공격하는 것이 포함됩니다. 연구는 컴퓨터 지능과 함수 해석학으로 분류되어 있어 학제간 성격을 반영합니다.