GPT-5.6 Sol은 어떻게 150년 된 맥스웰 추측의 반증을 도왔나

정삼각형의 꼭짓점에 동일한 전하 세 개를 두면, 결과적인 장에는 네 개의 균형점이 생깁니다. 모든 밀고 당기는 힘이 상쇄되는 지점들로, 하나는 중심에, 나머지 셋은 각 변의 안쪽에 자리 잡습니다. 이제 그 중심의 바로 위와 바로 아래에 아주 작은 전하 두 개를 떨어뜨려 보세요. 중앙의 균형점은 스물하나로 쪼개지고, 전체 구성은 스물네로 뛰어오릅니다.

이 구성은 7월 29일 arXiv에 맥스웰 추측에 대한 반례로 올라갔습니다. 이는 1873년 맥스웰의 저술로 거슬러 올라가는 정전기 평형점에 대한 상한입니다. 저자들은 아이디어가 대형 언어 모델에서 나왔음을 함께 공개했습니다. 아래에서는 추측이 무엇을 주장했는지, 반례가 어떻게 작동하는지, GPT-5.6 Sol이 무엇을 했고 무엇을 하지 않았는지, 그리고 그 공개가 어쩌면 이야기의 더 흥미로운 절반인 이유를 다룹니다.

빠른 요약: 맥스웰 추측은 어떻게 무너졌나

이 추측은 n 개의 점전하가 만드는 장에서 존재할 수 있는 평형점의 수에 상한을 두었습니다: 최대 (n−1)^². 전하가 다섯 개면 16입니다. Philip Arathoon, Gavin Ball, Matthew Kvalheim은 최소 24개의 평형점을 갖는 다섯 전하 구성을 만들었고, 이는 직접적인 반례입니다. GPT-5.6 Sol이 그 기하학적 아이디어를 제안했고, 세 저자는 분석을 수행하고 컴퓨터 대수를 돌렸으며 증명을 작성했습니다.

요약을 확인했으니, 이제 이 추측이 어디서 비롯되었고 왜 그렇게 오래 버텼는지 살펴보겠습니다.

맥스웰 추측은 무엇이었나?

제임스 클러크 맥스웰은 1873년 저서 Treatise on Electricity and Magnetism의 짤막한 대목에서 전하계가 만들어낼 수 있는 평형점의 수를 질문했습니다. 이는 거의 한 세기 동안 스쳐 지나간 언급으로 남아 있었고, 1969년 Marston Morse와 Stewart Cairns가 같은 문제를 제기할 때까지, 그들 역시 맥스웰이 먼저 도달했다는 사실을 모른 듯했습니다. 저는 그 사소한 디테일이 유난히 마음에 듭니다.

모두가 지금 논하는 정확한 명제는 2007년에 나왔습니다. Andrei Gabrielov, Dmitry Novikov, Boris Shapiro가 맥스웰의 문장을 면밀히 읽고 이를 하나의 추측으로 정식화했습니다. 즉, n 개 전하가 생성하는 퍼텐셜의 평형점이 모두 비가환적(비퇴화)이라면, 그 수는 최대 (n−1)^² 개라는 것입니다. 사실 필요한 공식은 이것 하나뿐이니, 대수학이 긴장되는 분이라면 고비는 지났습니다. 이 상한은 전하 두 개에 대해서는 자명하게 성립합니다. 전하 세 개의 경우, 세 전하가 모두 같다는 특수한 경우를 제외하면, 최대가 정말 네 개인지는 아무도 모릅니다.

이 상한이 왜 중요한지 이해하려면, 평형점이 실제로 무엇인지 아는 것이 도움이 됩니다.

간단한 예로 이해하는 맥스웰 추측

모든 전하는 장을 만듭니다. 방 안에 여러 전하를 놓으면 그 장들이 겹치며, 공간의 모든 점에서 서로 다른 방향으로 밀고 당깁니다. 특정 지점에서는 각 전하의 힘이 정확히 상쇄되어, 그곳에 놓인 시험 입자는 순힘을 전혀 느끼지 않습니다. 이것이 평형점이며, 정전기 퍼텐셜의 임계점이라고도 부릅니다.

이를 세는 일은 단순한 장부 정리가 아닙니다. 이러한 점들의 수와 배치는 산맥의 평지 구간이 그 지형의 배치를 제약하듯, 장 전체의 형태를 제약합니다. 따라서 개수를 묶는 상한은 곧 정전기 장이 얼마나 복잡해질 수 있는지에 대한 주장입니다. 그래서 1873년에 스쳐 지나간 질문이 한 세기 반 동안 수학자들을 붙들어 둔 것입니다.

이 추측이 지키고 있던 것이 무엇인지 감이 왔다면, 이제 그것이 정확히 어떻게 무너졌는지 살펴보겠습니다.

맥스웰 추측은 어떻게 반박되었나

이 구성은 네 단계로 설명할 만큼 간단합니다. 헤시안 계산이 필요하지 않다면 arXiv 노트는 건너뛰셔도 됩니다. 흥미로운 것은 논증의 모양새입니다:

• 정삼각형의 꼭짓점에 단위 전하 세 개를 배치합니다. 이 장에는 네 개의 평형점이 생깁니다. 하나는 중심, 나머지 셋은 변을 따라 안쪽으로 치우쳐 있습니다.
• 대칭축 위, 평면의 약간 위와 약간 아래에 훨씬 작은 전하 두 개를 더해 얕은 삼각쌍뿔을 만듭니다.
• 세 변 가까이의 평형점은 추가 후에도 유지됩니다. 중앙의 평형점은 유지되지 않습니다. 그것은 갈라져 21개의 평형점 군으로 나뉘는데, 모스 지수 하나가 10개, 다른 하나가 11개입니다.
• 셋에 스물하나를 더하면 전하 다섯 개에서 최소 스물네 개의 비퇴화 임계점이 되며, 예측된 상한 16을 넘어섭니다.

전하의 세기는 임의적이지 않습니다. 저자들은 작은 전하의 퍼텐셜 선도항이 삼각형에서 오는 해당 항과 상쇄되도록 특정 값을 선택했고, 그것이 21개 점을 만들어 내는 미세 구조를 드러냅니다. 처음 읽을 때 놓치기 쉬운 단계도 있습니다. 지금까지의 논증만으로는 구성의 다른 어딘가에 자리한 퇴화 임계점을 배제하지 못하므로, 저자들은 전하 세기를 약간 섭동한 뒤 횡단성 논증을 적용해 그것들을 정리합니다.

그리고 헤드라인이 생략한 부분이 이어집니다. 같은 요령을 반복할 수 있습니다. 작은 전하 쌍을 하나 더 추가하면 전하 두 개를 더 드는 대가로 임계점 20개를 더 얻습니다. 그래서 3 + 2m개의 전하로 최소 4 + 20m개의 평형점을 갖는 구성이 됩니다. 이는 전하 하나당 임계점 10개라는 점근적 비율로, 올해 초 Herbert Edelsbrunner, Christopher Fillmore, Gonçalo Oliveira가 달성한 25/7에 비해 높습니다. 반례가 헤드라인이라면, 이 비율은 다른 이들이 이어서 구축할 결과입니다.

구성 자체가 분명해졌다면, 이제 조금 특이한 대목으로 넘어갑니다. 이 아이디어를 실제로 낸 주체가 누구, 혹은 무엇이었는지입니다.

GPT-5.6 Sol은 어떤 역할을 했나?

공개 내용은 논문의 짧은 독립 섹션에 담겨 있고, 일어난 일을 시원하게 밝힙니다. "이 구성의 아이디어는 LLM(OpenAI의 GPT-5.6 Sol)이 제안했습니다." 저자들은 수학은 스스로 확인했고 논증은 자신들의 말로 썼으며, 계산과 도형은 Mathematica와 Maple이 처리했다고 덧붙입니다.

즉, 모델은 전략을 제시했습니다. 작은 축 바깥 전하로 대칭 구성을 섭동해 퇴화점을 분해하라는 것이었고, 저자들은 이를 조화다항식의 테일러 전개, 헤시안 부호에 따른 21개 임계점의 분류, 암시함수정리의 세 차례 적용, 그리고 횡단성 논증으로 구체화했습니다. 아이디어를 내는 일과 정리를 증명하는 일은 서로 다른 활동이며 실패 양상도 다릅니다. 작동하지 않는 아이디어의 비용은 오후 한나절입니다. 작동하지 않는 증명의 비용은 철회입니다. 모델은 지도에서 별로 주목받지 않던 지점을 가리켰고, 세 수학자가 그곳으로 가는 길을 닦았습니다.

다만 그 구도를 더 밀어볼 가치는 있습니다. "그저 아이디어"라고 하기엔 과소평가입니다. 누구든 대칭 구성을 섭동해 보자고 제안할 수 있습니다. 유용한 부분은 그 섭동, 즉 작은 축 전하를, 그 기본 구성 위에 제안하는 것입니다. 시도할 수 있는 것들의 탐색 공간이 사실상 무한대인 문제에서 말이죠. 무엇을 시도할지에 대한 감(취향)은 연구 수학에서 큰 비중을 차지합니다. 그 제안이 전문가의 10년 직감이 아니라 모델에서 나왔다는 점이 이 이야기의 핵심입니다.

왜 이 결과가 중요한가

150년 된 수학적 질문

이 질문은 1873년 맥스웰의 언급으로 거슬러 올라가며, 헤드라인마다 등장하는 "150년"은 여기서 비롯됩니다. 다만 정확히 하자면, 맥스웰은 질문을 던지고 관찰을 남겼습니다. 이번에 무너진 그 추측을 명시적으로 진술한 것은 아닙니다.

현대의 오래된 추측이 무너지다

형식적 진술로서의 맥스웰 추측은 19년의 역사를 갖고 있으며, 그동안 이 분야의 조직 원리처럼 작동했습니다. 곧, 증명하려 애쓰는 대상이자 모든 개선된 상한이 조금씩 다가가던 목표였죠. 이제 그 명제가 거짓으로 보입니다. 반례는 아직 동료평가를 거치지 않은 4쪽짜리 arXiv 프리프린트이며, 중심 단계는 컴퓨터 대수로 확인한 헤시안 분류이므로 통상적 유의점이 따릅니다. 하지만 논증은 짧고, 명시적이며, 다른 이들이 검증하기 쉽습니다.

낡은 질문을 새 질문이 대체하다

상한이 (n−1)^²가 아니라는 사실만으로 올바른 값이 무엇인지 알 수는 없습니다. 저자들의 반복 구성은 알려진 하한을 전하 하나당 대략 10개의 임계점으로 끌어올렸습니다. 이는 바닥값일 뿐, 답이 아닙니다. 그리고 앞서의 세 전하 문제는요? 네 개보다 많은 평형점을 만들 수 있는지는 여전히 미해결입니다. 가장 작은 흥미로운 경우를 두고 이토록 오랜 시간이 지난 뒤에도 여전히 이런 말을 하고 있다는 것이 묘합니다.

수학적 발견에서 커지는 AI의 역할

지난 1년 사이 무언가가 바뀌었습니다. 2025년 10월부터 2026년 초 사이, AI 도구는 에르되시 문제 데이터베이스의 문제 약 100개를 해결된 칸으로 옮기는 데 일조했고, Terence Tao는 그 기여를 추적하는 페이지를 운영하다 2026년 6월 말 업데이트가 멈출 때까지 유지했습니다. 그중 상당수는 문헌 검색이었습니다. 모델이 이미 사안을 정리한 1974년 논문을 찾아내는 식이었죠. 그렇지 않은 것도 있었습니다. 일부 해법은 주로 모델이 조립한 독창적 논증이었고, Tao는 적어도 하나가 진정한 이정표에 도달했다고 표시했습니다.

이들 사례 전반의 패턴은 일관되고, 맥스웰 추측에서 일어난 일과도 맞아떨어집니다. 모델은 후보를 제안하고, 개인이 머릿속에 담을 수 없는 문헌을 훑으며, 시도 공간을 밤새 지루해하지 않고 탐색하는 데 능합니다. 검증은 여전히 인간과 Lean 같은 증명 보조기가 맡습니다. 이러한 시스템이 어떻게 작동하는지 개념적 기반을 먼저 잡고 싶다면, AI Fundamentals 트랙이 좋은 출발점입니다.

AI가 결국 수학적 증명을 발견할 수 있을까?

추측 생성은 이미 일상적입니다. 증명 보조도 흔해져서 새삼 설명할 것도 아닙니다. 형식 정리 증명, 즉 모델이 인간의 개입 없이 연구 수준 문제에 대해 완전하고 기계 검증 가능한 논증을 산출하는 일은 현재 경계선에 놓여 있으며, "연구 수준"을 얼마나 엄격히 정의하느냐에 따라 양쪽 사례가 있습니다.

제약은 창의성 그 자체라고 단정하기 어렵습니다. 현재 모델은 여전히 참고문헌을 환각하고, 긴 추론 사슬에서 맥을 놓치며, 어떤 후보가 옳은지 아는 것보다는 후보를 생성하는 데 훨씬 능합니다. 그 마지막 비대칭성 때문에 인간 검증이 형식적인 절차가 아니라 실질적 지지대 역할을 합니다. 자신의 출력을 신뢰성 있게 평가할 수 있는 모델은 지금과는 다른 종류의 시스템일 것이고, 우리가 거기까지 얼마나 남았는지는 아무도 말할 수 없습니다.

GPT-5.6 Sol과 과학 연구의 미래

수학은 증명이 옳거나 그르거나 둘 중 하나인 만큼 유난히 깔끔한 시험대입니다. 하지만 아이디어 생성 단계는 AI가 가속하고 검증은 인간이 맡는다는 같은 역학이 여러 분야에서 전개되고 있습니다.

이는 수학을 훨씬 넘어섭니다. 물리, 화학, 재료과학, 공학은 모두 같은 병목을 공유합니다. 가설 생성은 인간 시간이 많이 들고, 대부분의 가설은 실패합니다. 연구자는 1년에 진지하게 탐구할 수 있는 후보 구조나 메커니즘이 손에 꼽힙니다. 후보의 공간은 그보다 훨씬 큽니다.

아이디어 생성은 연구에서 가장 중요한 역량으로 판명될 수 있습니다. 바로 그 단계에서 인간의 처리량이 가장 낮고, 틀린 추정의 비용이 가장 작기 때문입니다. 광대한 공간을 훑어 "여기를 보라"고 말해 줄 수 있는 모델은 자주 맞을 필요 없이도 발견의 속도를 바꿉니다. 이번에도 대략 그런 일이 일어났습니다.

이번 발견에 대한 흔한 오해

더 넓은 결론을 내리기 전에, 보도에서 잘못 다룬 몇 가지를 바로잡을 가치가 있습니다.

GPT-5.6 Sol이 독자적으로 정리를 증명한 것은 아닙니다

모델은 기하학적 구성을 제안했습니다. 증명, 전개, 헤시안 분류, 횡단성 논증은 저자들의 작업입니다.

인간 연구자들이 모든 단계를 검증했습니다

Mathematica와 Maple이 계산을 확인하고 도형을 만들었습니다. 수학적 검증은 세 저자가 수행했으며, 논문에 분명히 밝히고 있습니다.

맥스웰 추측은 맥스웰의 정식 정리가 아닙니다

맥스웰은 1873년에 관찰을 남겼습니다. Gabrielov, Novikov, Shapiro가 그 문장을 바탕으로 2007년에 추측을 정식화했습니다.

수학적 문제가 완전히 해결된 것은 아닙니다

반례가 검증된다고 가정하면, (n−1)^²가 틀렸다는 것은 알게 됩니다. 옳은 상한이 무엇인지는 모르며, 세 전하의 경우는 여전히 미해결입니다.

맺음말

맥스웰 추측은 협업에 의해 무너졌습니다. AI가 낸 기하학적 아이디어, 그리고 그것을 검증 가능한 형태로 다듬은 세 수학자. 이 논문은 어느 쪽이 무엇을 했는지 이례적으로 솔직합니다. 아마 정리보다 더 자주 인용될지도 모를 세 문장의 공개 섹션 말입니다.

이 일이 주목할 만한 이유는 기여의 크기보다 모양새에 있습니다. 문제에 이해관계가 없는 모델이, 그 문제에 가장 관심이 컸던 사람들도 이 구성에서는 시도하지 않았던 구성을 제안했고, 그게 통했습니다. n 개 전하가 만들 수 있는 평형점의 수에 대한 더 넓은 질문은 여전히 열려 있고, 아이디어 생성이 희소한 자원이 아니게 될 때 연구가 어떤 모습일지에 대한 질문도 마찬가지로 열려 있습니다. 마케팅이 아닌 실제 적용을 따라가고 싶다면, 우리의 AI 과정은 개념부터 배포까지 폭넓게 다룹니다.