수학자 + 일반 채팅창 AI = 논문 6편… 메타 'Muse Spark'가 미해결 문제 5개 풀었다
특별한 연구 도구 없이 meta.ai 채팅창의 Muse Spark로 수학자들이 논문 6편을 썼고, 그중 5편이 그동안 답이 없던 문제의 답이에요.
- 메타가 수학자들과 Muse Spark로 함께 쓴 수학 논문 6편을 공개했고, 그중 5편이 미해결 문제의 답이에요.
- 특별한 연구용 도구 없이 일반 meta.ai 채팅창에서 Muse Spark 1.1·1.2 '생각 모드'를 썼어요.
- 모든 논문에 사람이 쓴 부분과 AI가 쓴 부분을 표시했고, 다른 수학자 팀이 따로 검토했어요.
어려운 증명·알고리즘 아이디어를 채팅 AI의 생각 모드에 던지고, 반례를 찾는 탐색 코드(이번엔 GAP 프로그램)를 짜게 한 뒤 사람이 검증하는 흐름을 그대로 따라 해 볼 만해요.
"AI가 수학 난제를 풀었다"는 과장 대신 '사람이 이끌고 AI가 계산·초안을 맡았다'는 협업 과정을 보여 주는 설명 콘텐츠 소재로 좋아요.
AI가 쓴 부분과 사람이 쓴 부분을 나눠 표시하는 방식은 AI로 만든 보고서·제안서의 신뢰를 지키는 규칙으로 바로 가져다 쓸 수 있어요.
1. 풀고 싶은 문제를 짧게 정의해요 (조건·목표·이미 알려진 것). 2. 생각 모드 AI에게 "접근법 3가지와 각각 막힐 지점"을 먼저 물어요. 3. 반례나 경우의 수 탐색은 AI에게 코드로 짜게 하고 직접 돌려 봐요. 4. 결과는 다른 사람(또는 다른 AI)에게 따로 검토받아요. 5. 최종 문서에 AI가 쓴 부분을 표시해 둬요.
기사마다 'AI가 쓴 부분'을 표시하는 메타의 방식은 저희 뉴스 기사나 스레드 글에도 써 보면 좋을 것 같아요. 수학 자체는 저희 일과 거리가 멀지만, 릴스 소재로는 재밌어 보여요.
무슨 일이야?
메타가 수학자들과 자사 AI Muse Spark가 함께 쓴 수학 논문 6편을 공개했어요. 그중 5편은 그동안 아무도 답을 내지 못한 '열린 문제(미해결 문제)'에 답을 냈어요.
눈에 띄는 점은 방법이에요. 수학자들은 특별한 연구용 시스템 없이, 누구나 쓰는 meta.ai 채팅창에서 Muse Spark 1.1과 1.2의 '생각 모드(Thinking Mode, 답하기 전에 오래 따져 보는 모드)'를 썼어요.
X 게시물 보기 · https://twitter.com/aiatmeta/status/2106099776035152231
어떤 문제를 풀었나
| 분야 | 내용 | AI가 한 일 |
|---|---|---|
| 확률 | 고차원 무작위 점들을 타원체 하나에 다 맞출 수 있는 '경계 개수'를 찾음 | 증명 전략을 같이 짜고 고침 |
| 미분방정식 | 레이저 물리에서 나온 파동 방정식에서 파동이 유한한 시간 안에 반드시 붕괴함을 증명 (2015년부터 열린 문제) | 계산·논증 시험, 증명 수정 |
| 군론 | 2024년에 나온 추측의 반례를 원소 384개짜리 군에서 찾아 추측을 뒤집음 | 반례를 찾는 GAP(수학 소프트웨어) 프로그램을 짬 |
| 최적화 | 예/아니오 결정 문제를 단순하게 바꿔도 답이 똑같은 조건을 밝힘 | 문제를 확률로 다시 보고 반례·증명 전략 제시 |
| 수론 × 물리 | 정수론과 p-진 끈 이론의 두 계산이 같은 값임을 보임 | 후보 증명을 내고 핵심 기술 부분 3개를 초안으로 씀 |
| 비결합 대수 | '진화 대수' 분류 추측을 3차원 반례로 뒤집고 새 기준을 제시 | 반례와 대안 증명을 만듦 |
수론 × 물리 논문은 두 분야를 잇는 연결을 보인 연구라, 메타가 말한 '미해결 문제의 답 5편'과는 따로 봐야 해요.
어떻게 일했나
- 문제 선택과 핵심 아이디어는 수학자가 이끌고, Muse Spark는 계산·아이디어 시험·코드 작성·일부 초안을 맡았어요.
- 논문마다 다른 수학자 그룹이 따로 검토했어요.
- 각 논문에 사람이 주로 쓴 부분과 AI가 주로 쓴 부분을 나눠 표시했어요.
메타는 작업을 마친 뒤, 메타 밖의 다른 팀들도 일부 같은 문제를 다른 방법으로 따로 풀어 발표했다는 걸 알게 됐다고 밝혔어요. 예를 들어 확률 문제는 8월에 나온 다른 연구 3건이, 군론 추측은 다른 AI 에이전트가 9월 16일에 다른 반례를 보고했어요. 논문에 이 연구들을 모두 밝혀 뒀어요.
그래서 뭐가 달라져?
올림피아드 문제는 정답이 있지만, 연구 문제는 정답지가 없어요. 이번 사례는 '특수 장비 없이 일반 채팅 AI만으로도 전문가가 연구를 앞당길 수 있다'는 쪽에 무게를 실어요. 다만 혼자 다 푼 게 아니라 사람이 방향을 잡고 검증했다는 점이 핵심이에요.
나는 어떻게 써먹지?
- 막힌 문제에 생각 모드에 "접근법 3가지와 각각 막힐 지점"을 먼저 물어 보세요.
- 반례 찾기 손으로 경우를 다 따지기보다 AI에게 탐색 코드를 짜게 하고 직접 돌려 보세요. 이번 군론 반례가 그렇게 나왔어요.
- 주의 AI가 낸 증명·계산은 반드시 따로 검증하세요. 메타도 모든 논문을 다른 수학자에게 검토받았어요.
