연구 수학을 향한 메타의 '평범한' 길

2026년 10월 2일, 메타의 연구 부문은 연구 수준의 수학 논문 6편을 공개했다. 외부 학자들과 Muse Spark 모델 1.1·1.2 버전이 협업한 결과다. 메타가 강조하는 것은 방법의 차이다. 따로 만든 에이전트 시스템이 아니라 meta.ai의 일반 채팅을 'Thinking Mode'로 썼고, 맞춤형 연구 인프라도 없었다. 수개월에 걸친 작업에서 인간 연구자들이 문제와 증명 전략을 고른 뒤, 모델이 내놓은 계산을 검증하고 추론의 빈틈을 메웠다. 메타에 따르면 이후 또 다른 수학자 그룹이 독립적으로 작업을 검토했다.

성과는 최적화와 비결합 대수를 포함한 6개 분야에 걸쳐 있다. 군론에서는 수학자 Joseph Phillip Brennan과 Milana Golich가 서명한 논문이 2024년 M. Kida가 제기한 추측을 반증했다. 모델이 생성한 GAP 탐색 코드 덕분에 구체적인 반례 — 위수 384의 유한 반아벨 군 — 를 찾아낸 것으로, 매체 AlphaSignal도 이를 기록했다. 다만 시간상의 우선권은 온전하지 않다. 메타의 게시물 스스로 적어도 세 건에서 다른 이들이 같은 시기에 나란히 결과에 도달했다고 밝힌다. 가우스 타원체 피팅에 관한 2026년 8월의 논문 3편, AI 에이전트 Nilradical이 9월 16일에 찾은 반아벨 군의 다른 반례, 그리고 Hu와 Wen이 진화 대수에서 찾은 반례들이다.

방법론 측면에서도 신중함이 필요하다. 논문들은 메타 웹사이트에 PDF로 배포되고 있으며, 소개 게시물은 학술지 동료 심사를 거쳤다고 밝히지 않는다. 또한 가우스 타원체 피팅 연구는 임계 문턱에서의 거동이 여전히 풀리지 않았다고 논문 본문에 명시하고 있다. 메타는 실패하거나 포기한 시도가 얼마나 되는지, 연구자들이 실제로 시간을 얼마나 아꼈는지에 대한 데이터를 내놓지 않는다. 논문별 모델 기여도도 정확히 수치화되지 않았다. 다만 어느 부분을 인공지능이 작성했는지는 문서에 표시돼 있다.

이 실험은 주변에 별도의 비계를 세우지 않은 공개 채팅도 연구에 기여할 수 있음을 시사한다. 하지만 그것이 얼마나 자주 성공하는지는 데이터 밖에 있다. 허탕으로 끝난 시도는 세지 않았기 때문이다. 소개된 여섯 사례에서 엄밀함은 여전히 인간의 검증에 맡겨졌다. 이 모델은 자율적인 수학자라기보다 아이디어를 탐색하고, 반례를 찾고, 그것을 찾아 나서는 코드를 쓰는 도구에 가까워 보인다 — 반아벨 군의 경우 그것만으로 2024년의 추측을 무너뜨리기에 충분했다. 그리고 그 실제 쓸모는 한계를 확인하는 사람의 인내에 달려 있다. — Olya