Muse Spark는 Meta가 2026년 10월 2일 공개한 공동 연구의 중심에 섰다. Meta의 수학자 팀이 이 모델과 함께 연구 논문 6편을 완성했고, 그중 5편이 그동안 풀리지 않았던 개방 문제에 답했다. 팀이 사용한 것은 Muse Spark 1.1과 1.2의 Thinking Mode였으며, 전 과정은 meta.ai의 일반 채팅 화면만으로 진행됐고 맞춤형 연구 스캐폴딩은 구축하지 않았다.
경연 금메달에서 답이 없는 문제로
2026년 초 Meta의 모델은 수학, 물리, 화학 다섯 개 고등학교 올림피아드에서 금메달 수준에 도달한 바 있다. 그러나 경연 문제에는 이미 알려진 답이 있는 반면, 개방 연구 문제에는 정해진 답이 없고 어떤 방법이 통할 것이라는 보장도 없다. 이번 6편의 논문은 확률, 미분방정식, 군론, 최적화, 산술 물리, 비결합 대수를 아우르며, 모델을 바로 이런 문제 앞에 세웠다.
대표적인 성과 세 가지
확률 분야 연구는 Aykut Arslan이 주도해 가우스 타원체 피팅의 엄밀한 임계값을 다뤘고, 정확히 피팅할 수 있는 점의 개수에 대한 날카로운 임계값을 제시했다. 다만 임계값 정확히 그 지점에서의 거동은 여전히 풀리지 않았으며, Meta는 2026년 8월에 발표된 독립적인 동시기 연구 세 건도 언급했다. 미분방정식 분야에서는 Leonard Dinh가 질량 임계 쌍조화 비선형 슈뢰딩거 방정식에 대해, 방사형 음에너지 해는 반드시 유한 시간 안에 붕괴한다는 것을 증명했다. 이는 2015년부터 남아 있던 문제를 해결했고 2002년 수치 시뮬레이션의 예측을 입증했다. 군론 분야에서는 Brennan과 Golich가 Kida가 2024년에 제기한 추측을 반증했다. Muse Spark가 GAP 탐색 프로그램을 생성했고 위수 384인 군을 반례로 찾아낸 것이다. Meta는 2026년 9월 16일 또 다른 반례를 보고한 또 다른 AI 에이전트 Nilradical에도 감사를 표했다.
나머지 세 편은 각 분야를 진전시켰다. 최적화 논문은 순환 완화의 타이트함을 논했고, 산술 물리 논문은 끈 이론의 이점 함수와 높이 함수 사이의 등식을 증명했는데, 그 아이디어는 1980년대 Manin의 구상에서 비롯됐다. 비결합 대수 논문은 진화 대수의 3차원 반례와 대안적 특성화를 제시했다.
협업, 검토, 그리고 검증 가능성
전 과정은 수학자 팀이 연구를 주도하고 모델과 함께 탐색했으며, 두 번째 수학자 그룹이 독립적으로 검토했다. 각 논문은 어떤 단락을 주로 연구자가 썼고 어떤 단락을 AI가 썼는지 명확히 표시하고, 근거로 삼은 선행 연구도 밝힌다. 팀은 작업을 마친 뒤 다른 팀들도 같은 문제 일부의 해법을 독립적으로 발표했다는 사실을 알게 됐고, 논문에서 이에 감사를 표했다. 단락별로 작성 주체를 밝히고 인용과 동시기 연구를 설명하는 이런 방식이야말로 연구 글쓰기에서 검증 가능성의 핵심이며, AstaBrief 오픈소스 공개: Ai2, 8B 소형 모델로 인용이 달린 연구 보고서 작성 가 주목하는 방향과도 맞닿아 있다. 결론은 추적할 수 있어야 하고, 기여는 구분할 수 있어야 한다.
이 논문들의 관전 포인트는 모델이 또 몇 점을 땄는지가 아니라 평가 기준이 바뀌었다는 데 있다. 경연 점수 경쟁에서, 답이 없는 문제에 대한 검증 가능한 협업으로 이동한 것이다. 공개된 저자 표시와 검토 절차 덕분에 외부에서도 연구 공동체의 규칙에 따라 AI가 연구에 실제로 무엇을 기여했는지 항목별로 검증할 수 있게 됐다.
