메타가 Muse Spark와 수학자 공동 논문 6편을 공개했어요. 6편 중 5편이 기존 미해결 문제에 답을 냈다고 해요. 다만 일부는 다른 팀이 먼저 풀어서 해석엔 신중해야 해요.
솔직히 "AI가 수학 난제를 풀었다"는 헤드라인은 올해 하도 많이 봐서 좀 무뎌졌는데, 이번 건은 방식이 눈에 띄었어요. 메타 AI가 10월 2일 공개한 논문 6편은 Muse Spark 1.1, 1.2를 Thinking 모드로 돌려서 수학자들과 같이 쓴 결과물이에요. 🔬
근데 포인트는 도구예요. 특별한 연구용 스캐폴드 없이 그냥 meta.ai 채팅창을 썼대요. 수학자가 방향을 잡고, 모델이 코드와 증명 접근법, 일부 문단 초안을 내놓고, 사람이 다시 검증하는 식이었고요. AI가 쓴 부분은 논문에 표시했고, 별도 수학자들이 리뷰까지 했어요.
내용을 보면 분야가 꽤 넓어요. 확률론에서는 랜덤 가우시안 점들을 타원체에 맞출 수 있는지 가르는 날카로운 임계값을 찾았고, 미분방정식에서는 2015년부터 열려 있던 biharmonic 비선형 슈뢰딩거 방정식의 유한 시간 붕괴(blow-up)를 증명했어요. 2002년 컴퓨터 시뮬레이션이 예측했던 현상을 수학적으로 확인한 셈이죠.
군론에서는 2024년 Kida 추측을 384개 원소짜리 군으로 반증했고, 최적화에서는 2026년에 제기된 이진 다항 최적화 질문에 답했어요. 여기에 산술 물리 쪽 p진 끈이론 논문, 진화 대수 추측 반증까지 더해 총 여섯 편이에요. 📊
사실 제일 재밌었던 건 단서 조항들이에요. 타원체 문제는 같은 시기에 독립적으로 세 팀이 풀었고, 군론 반례는 9월 16일 'Nilradical'이라는 AI 에이전트가 다른 반례를 따로 찾았어요. 진화 대수 쪽도 Hu와 Wen이 먼저 반례를 보고했고요. 그러니까 "아무도 못 푼 걸 처음 풀었다"기보다는 "풀릴 때가 된 문제들이 여럿 동시에 풀리고 있다"에 가까워 보여요.
또 하나, 이 논문들은 AI가 스스로 문제를 고르고 결과를 검증한 게 아니에요. 메타도 연구 시간이 얼마나 절약됐는지 같은 수치는 내놓지 않았고요. 그래서 회사 발표 = 동료 심사 통과는 아니라는 점은 짚어둬야 해요. ⚠️
그래도 제 생각엔 의미가 작지 않아요. 연구자들이 일반 챗 인터페이스만으로 이 정도 결과를 냈다는 건, 앞으로 "누가 더 좋은 연구용 시스템을 만들었나"보다 "누가 더 좋은 질문을 던지나"가 중요해진다는 뜻이거든요. 물론 이건 제 해석이에요.
결국 궁금한 건 이거예요. 비슷한 결과가 몇 달 뒤에도 이렇게 겹쳐서 쏟아질까요, 아니면 이번이 한 번 반짝한 걸까요? 수학계가 이 속도를 어떻게 검증해 낼지 지켜보고 싶어요. 🚀
출처