Meta, 수학자들과 협력해 Muse Spark로 미해결 문제 5개 해결

Meta는 수학자들과 협력해 meta.ai 인터페이스의 Muse Spark 1.1 및 1.2 Thinking Mode를 활용해 미해결 연구 문제를 해결했다. 정답이 있는 경쟁 문제와 달리, 이 협업은 정답지 없이 반복적인 탐구를 요구했으며, 그 결과 6편의 논문이 나왔고 이 중 5편이 기존 미해결 질문에 대한 답을 제시했다.

협업 원칙

연구는 엄격한 투명성 지침을 따랐다:

• 수학자들이 연구를 주도하고 Muse Spark와 함께 논리를 개발했다.
• 별도의 수학자 그룹이 작업을 검토했다.
• 논문은 연구자가 작성한 부분과 AI가 작성한 부분을 명확히 구분했다.
• 선행 연구 및 동시에 진행된 독립적인 연구에 대해 공로를 인정했다.

주요 수학 성과

논문들은 수학의 다양한 분야를 다루며, Muse Spark는 증명 개발, 반례 생성, 이론적 연결 고리 발견을 지원했다:

• 확률론: Aykut Arslan은 고차원에서 랜덤 가우시안 점을 타원체에 적합하게 배치하는 날카로운 임계값을 식별했다. 이 결과는 높은 확률로 적합성이 존재하는 시점과 거의 확실히 존재하지 않는 시점을 정의하지만, 정확히 임계값에서의 거동은 여전히 미해결 상태다.
• 미분방정식: Leonard Dinh은 2차원 이상에서 Mass-Critical Biharmonic Nonlinear Schrödinger Equation의 방사형 음의 에너지 해가 유한 시간 내에 붕괴해야 함을 증명해 2015년부터 미해결이던 문제를 해결했다.
• 군론: Joseph Phillip Brennan과 Milana Golich는 모든 유한 semiabelian 군이 monomial이라는 M. Kida의 2024년 추측을 반증했다. Muse Spark가 생성한 GAP 검색 프로그램을 사용해 384개 원소를 가진 군에서 반례를 찾았다.
• 최적화: Aykut Arslan은 이진 다항식 최적화를 위한 사이클 기반 완화 기법이 정확한 조건을 결정했다. 문제 구조의 특정 영역에 정확히 하나의 결정 변수가 포함될 때만 근사값이 정확하며, 그 외에는 오차가 남는다.
• 산술 물리학: Anindya Dey 등이 포함된 팀은 수론과 p-adic string theory를 연결해 string two-point function이 곡선 위의 height function과 같음을 보였다. 이는 1980년대 Yuri Manin이 제시한 방향을 충족하는 결과다.
• 비결합 대수: Andres Barei는 Garcia-Martinez와 Perez-Rodriguez의 solvable evolution algebras에 관한 추측을 3차원 반례를 찾아 반증하고, 부분 공간에 기반한 대체 규칙을 수립했다.

독립적 기여

Meta는 다른 팀들이 다른 접근법으로 일부 문제를 독립적으로 해결했음을 인정했다. 예를 들어, Gaussian ellipsoid 임계값에 관한 세 편의 독립적인 연구가 2026년 8월에 게시됐으며, AI 에이전트 Nilradical은 2026년 9월에 semiabelian 군 추측에 대한 다른 반례를 보고했다. Meta의 결과는 독립적으로 개발됐으며 이러한 동시 발견과 함께 공로로 인정된다.