노벨 물리학상 수상자가 클로드와 함께 10년 묵은 재밍 추측을 증명했다

노벨 물리학상 수상자 조르조 파리시(Giorgio Parisi)와 프란체스코 잠포니(Francesco Zamponi)가 2026년 AI 모델 클로드(Claude)의 도움으로 10년 넘게 수치로만 확인되던 재밍(jamming) 임계지수 관계식 a+b=1을 증명하고 저널 오브 스태티스티컬 메커닉스(JSTAT)에 발표했다. 두 물리학자는 2014년 재밍 이론을 세울 때 두 지수 a와 b가 항상 합이 1이 된다는 사실을 수치적으로 발견했으나 증명하지 못한 채 남겨 두었고, 이번에 클로드가 그 빈칸을 메웠다.

무엇이 증명됐나: a와 b는 왜 항상 1이 되는가

재밍은 유체처럼 흐르던 입자계가 무질서한 채로 갑자기 단단해지는 현상이다. 파리시와 잠포니는 이를 입자들이 만든 일종의 교통 정체에 비유한다. 2014년 두 사람과 공동연구자들은 재밍을 기술하는 이론을 세우면서 임계지수 두 개, a와 b가 언제나 정확히 합이 1이 된다는 관계를 수치 계산에서 발견했다. 값은 놀라운 정확도로 맞아떨어졌지만, 왜 그런지에 대한 수학적 증명은 없었다. 관계식은 10년 넘게 강한 심증만 있는 미해결 문제로 남아 있었다.

이번 연구가 채운 것은 바로 그 증명이다. 새로운 현상을 발견한 것이 아니라, 오래 의심해 온 등식이 참임을 형식적으로 확정한 것이다.

파리시가 클로드에게 시킨 일: 재현이 먼저, 증명은 그다음

협업의 출발점은 검증이었다. 파리시는 클로드에게 10여 년 전 자신들이 했던 원래 수치 계산을 그대로 재현하도록 먼저 시켰다. 클로드가 이를 성공적으로 재현하자, 연구진은 다음 질문을 던졌다. a와 b의 합이 1이라면, 그것이 왜 성립하는지도 증명할 수 있느냐는 것이었다. 잠포니는 "클로드가 본질적으로 맞는 초기 아이디어를 꽤 빠르게 내놓았다"고 밝혔다.

연구진이 클로드를 택한 이유는 수학적 추론 능력이 상대적으로 더 앞서 보였기 때문이다. 잠포니는 결과를 두고 "답은 바로 거기 있었는데 우리가 그저 보지 못했을 뿐"이라고 말했다. 인간이 오래 붙잡고도 놓쳤던 연결을 모델이 짚어낸 셈이다.

'발견'이 아니라 '증명'이었다는 점이 이 사건의 성격을 정한다

AI가 수학에 기여했다는 소식은 최근 여러 건 나왔지만, 이번 사례의 결은 그중 상당수와 다르다. 앞선 화제작들은 대체로 인간이 몰랐던 새 구성이나 반례를 모델이 스스로 만들어낸 '발견'형이었다. 반면 이번에는 인간이 이미 강하게 믿고 있던 관계식을, 증명이라는 형식으로 채워 넣는 '완성'형에 가깝다. 문제의 답이 무엇인지는 사실상 알려져 있었고, 부족했던 것은 그 답으로 가는 논증이었다.

이 구분은 사소해 보여도 중요하다. 발견형에서는 모델의 창의성이 전면에 서지만, 완성형에서는 인간이 문제를 어디까지 좁혀 두었는지가 성패를 크게 좌우한다. 노벨상 수상자가 정확한 표적을 조준해 두고, 재현이라는 신뢰 확보 단계를 먼저 밟은 뒤, 증명을 요청한 이 순서 자체가 결과의 절반이다. 도구가 강력해질수록 질문을 설계하는 쪽의 역량이 더 중요해진다는 신호로 읽을 수 있다.

숫자와 서사를 어떻게 읽을까: 오류와 검증의 여러 라운드

보도 요약만 보면 "AI가 10년 난제를 풀었다"로 읽히기 쉽지만, 실제 과정은 더 지저분하고 그래서 더 정직하다. 클로드가 낸 초기 증명은 오류를 포함하고 있었고, 최종 형태에 이르기까지 저자들이 여러 차례 검증과 수정을 반복해야 했다. 즉 모델은 옳은 방향의 씨앗을 빠르게 제시했지만, 그것을 논문 수준의 증명으로 다듬은 것은 인간 물리학자들의 반복 노동이었다.

이 대목을 흐리면 사건의 의미가 왜곡된다. 이번 결과의 값은 "모델이 혼자 증명했다"가 아니라 "모델이 인간의 탐색 비용을 크게 줄였다"에 있다. 아이디어 생성은 가속됐지만 검증 책임은 여전히 사람에게 남았다는 구조는, 앞서 나온 다른 AI-수학 협업 사례들과도 일관된다.

두 이론이 한자리에서 만났다: 위아르 접근과의 일치

증명된 관계식은 곁가지 효과를 하나 낳는다. a+b=1은 프랑스 물리학자 마티외 위아르(Matthieu Wyart, EPFL 로잔)가 거의 같은 시기에 독립적으로 개발한 다른 이론적 접근이 내놓는 물리 법칙과 동일한 결과로 이어진다. 서로 출발점이 다른 두 이론이 결국 같은 물리를 가리킨다는 사실이, 이번 증명으로 형식적으로 확인된 것이다.

이는 증명의 신뢰도를 높이는 독립 교차검증 역할도 한다. 하나의 모델이 우연히 그럴듯한 식을 만들어낸 것이 아니라, 완전히 다른 경로로 세워진 이론과 맞아떨어졌기 때문이다.

한국 연구 현장에 주는 함의

첫째, 범용 LLM을 계산 재현과 아이디어 생성 도구로 쓰되, 최종 검증은 연구자가 쥔다는 분업이 현실적인 모범이 된다. 클로드에게 옛 계산을 먼저 재현시켜 신뢰를 확인한 파리시의 절차는 그대로 벤치마크로 삼을 만하다. 둘째, 성과의 크레딧을 어떻게 배분할지에 대한 논의가 필요해진다. 씨앗 아이디어를 낸 모델과 그것을 증명으로 완성한 인간 사이에서, 기여를 어떻게 기술할지는 앞으로 학계 관행의 문제로 남는다. 셋째, 이런 사례의 사실관계를 한국어로 정확히 정리해 두는 일 자체가 인용 자산이 된다. 국내에는 아직 모델이 한 일과 인간이 한 일을 구분해 정리한 자료가 드물다.

남는 질문: 어떤 모델이었는지조차 공개되지 않았다

클로드 재밍 증명에서 가장 아쉬운 공백은 재현성으로, 공개된 보도자료와 주요 보도 어디에도 정확히 어떤 클로드 모델과 버전이 쓰였는지 명시되어 있지 않다. 같은 프롬프트와 같은 절차로 제3자가 결과를 재현할 수 있는지는 확인되지 않았다. 모델이 만든 초기 증명의 오류가 구체적으로 무엇이었고 어디서 갈렸는지도 논문 밖에서는 알기 어렵다.

이번 성과는 AI가 수학·물리 연구의 실질적 협업자가 될 수 있음을 보여준 분명한 사례다. 다만 그 협업이 과학적 방법의 기본인 재현성 위에 서려면, 어떤 모델이 무엇을 어떻게 했는지를 기록하는 관행이 함께 정착돼야 한다.

참고: Parisi & Zamponi et al., "A proof of an identity for the critical exponents of jamming", Journal of Statistical Mechanics: Theory and Experiment (2026) · phys.org 보도 · EurekAlert 보도자료