AI가 마흘러 추측을 증명했고 수학자는 그 구성을 그렸다

오픈AI가 2026년 10월 공개한 수학 문제 해답 가운데 하나가 대칭 볼록체의 마흘러 추측을 증명했다. 이 글은 증명의 핵심인 심플렉틱 기하학적 구성을 설명하고, 4차원 공간에 들어가는 공의 모양을 시각화한다. 다만 글쓴이는 논문을 줄 단위로 검증하지 않았으며, 해당 증명에는 Lean 형식 검증이 포함되지 않았다고 밝힌다.

오픈AI는 화요일에 373개 문제의 해답을 공개했고, 글쓴이는 그중 087번인 마흘러 추측 증명에 주목했다. 대칭 볼록체 K와 극성체 K°의 부피 곱, 즉 마흘러 부피는 K가 n차원일 때 적어도 4ⁿ/n!이라는 것이 추측의 내용이다. AI의 증명은 K × K° 안에 심플렉틱 폭 4인 공을 심플렉틱하게 넣어 이 하한을 얻는다. 같은 문제를 다룬 다른 AI 논문 두 편은 등호가 성립하는 경우를 특징짓고 비대칭 버전도 증명했다.

글쓴이는 이 결과가 자신이 아직 발표하지 않은 구성과 겹쳤다고 말한다. 특히 자신이 앞으로 발표할 논문에서 다룰 예정이던 심플렉틱 단조성 결과가 AI 증명에 활용됐다고 설명한다. 하지만 이번 글의 목적은 증명을 대신 검증하는 것이 아니라, 수학적 아이디어를 그림으로 풀어 보이는 데 있다. 글쓴이는 증명의 세부를 한 줄씩 확인하지 않았으며, AI 논문에 Lean 증명이 없다는 점도 지적한다.

대칭 볼록체 K의 극성체 K°는 K를 포함하는 반공간들의 모임으로 정의된다. K와 K°의 부피를 곱한 마흘러 부피는 크기 조정에 영향을 받지 않는다. 마흘러 추측은 대칭 볼록체 가운데 큐브가 최소 마흘러 부피를 갖는다고 예측해 왔다. 이 문제는 적어도 100년 동안 이어져 왔다. 자세한 배경과 역사는 테리 타오의 글과 볼록기하학 및 복소해석학의 연결을 다룬 자료에서 볼 수 있다.

증명의 핵심 구성

K × K°는 심플렉틱 구조를 갖는 공간으로 볼 수 있다. 글은 이 공간 안에 들어갈 수 있는 가장 큰 심플렉틱 공의 폭을 재는 그로모프 폭을 사용한다. AI 논문은 K × K° 안에 폭 4인 공을 구성해 그로모프 폭이 적어도 4임을 보인다. 앞선 결과가 그 폭은 최대 4라고 보였으므로, 그로모프 폭은 정확히 4다. 심플렉틱 사상은 부피를 보존하기 때문에 이 공의 부피가 마흘러 부피의 하한을 준다.

이 결과는 비테르보 추측을 증명해서 얻은 것은 아니다. 비테르보 추측은 대칭 볼록체에서 정규화된 심플렉틱 용량들이 일치한다고 말한다. 앞선 연구는 호퍼-체른 용량 c_HZ(K × K°)가 4임을 보였고, 비테르보 추측이 참이면 그로모프 폭도 4가 되어 마흘러 추측이 따라온다는 관계를 제시했다. 이번 AI 증명은 이 경로를 따르지 않고 공을 직접 구성한다. 글쓴이는 이 기법이 더 발전하면 비테르보 추측 전체로 확장될 가능성도 있다고 말하지만, 이는 가능성에 대한 언급이다.

증명은 두 단계로 이뤄진다. 먼저 복소 공간의 정칙 부분다양체와 공의 교집합 안에 심플렉틱 공을 넣는다. 다음으로 정칙 부분다양체를 구성해, 공과의 교집합이 극한에서 K × K° 안에 들어가도록 한다. 글의 설명에 따르면 첫 단계는 원점을 지나는 정칙 부분다양체의 공과의 교집합에 그로모프 폭 하한을 주는 심플렉틱 단조성 정리를 이용한다. 부분다양체가 원점과 중복도 k로 만나는 경우에는 퇴화를 해소하는 심플렉틱 형식을 더해 폭 하한을 kπλ로 얻는다. 글쓴이는 중복도가 1보다 클 때의 퇴화 문제를 단순화해 설명하며, 이 부분의 엄밀한 정식화는 휴리스틱이라고 명시한다.

두 번째 단계에서는 K를 대칭 다면체로 근사한다. 다면체를 대칭 띠들의 교집합으로 나타내고 각 띠를 정의하는 선형함수 ℓᵢ를 복소화한다. 여기에 렌즈 모양 영역 L에서 단위원판으로 가는 등각사상 g를 적용해 정칙 사상을 만든다. 그 사상의 상과 단위 공의 교집합에 심플렉틱 단조성 정리를 적용한다. 매개변수 k가 커질 때 심플렉틱 직선화로 얻는 영역은 K × (πk/4)K° 안에 포함된다. 두 결과를 결합하면 K × K° 안에 폭 4인 심플렉틱 공이 들어간다.

이 구성이 왜 작동하는지 설명하기 위해 글은 먼저 1차원 사례 K = [-1,1]을 살핀다. 단순한 사상 z ↦ zᵏ을 쓰면 단위원판의 면적 밀도가 경계에 몰리고, 이를 세로 방향으로 펴는 과정에서 양 끝에 뾰족한 부분이 생긴다. 이를 바로잡기 위해 렌즈 영역에서 원판으로 가는 등각사상을 사용한다. 렌즈의 경계에서 조화측도가 실수축 방향으로 균일하게 분포하도록 정하면, 직선화한 영역은 극한에서 직사각형에 가까워진다. 이 과정에서 원판의 극좌표 격자는 직사각형의 규칙적인 격자로 변한다. 글은 이를 날카로운 공 채움 구성에 쓰이는 트레이너의 기법과 연결한다.

고차원 구성에서는 K를 띠들의 교집합으로 나타내고, 각 띠의 경계를 정하는 벡터 bᵢ를 이용한다. 정칙 사상의 각 좌표는 g(ℓᵢ(z))ᵏ 형태다. 글의 설명대로라면 직선화 사상은 각 단면을 극성체의 꼭짓점 벡터 bᵢ들의 볼록껍질 안으로 보낸다. 따라서 충분히 큰 k에서 얻은 영역은 K × (πk/4)K°에 들어간다. 글은 이 단면별 움직임을 인터랙티브 그림으로 보여 준다. 원래 영역의 각 면이 직선화 과정에서 해당 벡터 bᵢ에 대응하고, 내부의 점들은 원점 쪽으로 보내진다.

시각화와 한계

글쓴이는 공이 정칙 부분다양체의 교집합을 어떻게 채우는지 기울기 흐름으로 설명한다. 작은 공을 원점 근처에 놓고 흐름을 오래 적용하면 공이 커진다. 글쓴이는 이를 팬케이크 위의 시럽이 퍼지는 모습에 비유한다. 부분다양체가 원뿔이면 이 구성이 교집합을 날카롭게 채울 수 있고, 그렇지 않으면 공이 경계에서 떨어져 나간다. 따라서 큐브의 경우 이 기법이 전체를 채운다면 구성된 부분다양체는 원뿔이어야 한다는 관찰도 덧붙인다.

대화형 그림은 글의 웹페이지에서 볼 수 있다. 글쓴이는 실수 부와 허수 부를 잘라 4차원 도형의 단면을 나란히 그리는 방식으로 K × K°와 심플렉틱 공의 모습을 설명한다. 그는 그림을 단순한 해설이 아니라 증명에 실제로 쓰인 단면화에 기반한 엄밀한 시각화로 제시한다. 이 접근에 관한 논의는 수학 연구에서 시각화의 중요성과 수학적 시각화·증명·직관·AI를 다룬 글에서 확인할 수 있다.

AI 사용 범위도 공개했다. 본문과 손으로 그린 그림은 글쓴이가 만들었고, 애플릿은 Claude Code를 이용해 작성했으며 웹사이트 레이아웃에는 AI 도움을 받았다. AI 논문을 읽고 본문을 수학적·문법적으로 교정하는 데는 Claude를 사용했다고 밝혔다.

글은 등호가 성립하는 경우도 다룬다. 글쓴이의 구성에서는 특정 단면의 심플렉틱 공이 극성체 전체를 채워야 마흘러 부피가 하한과 같아진다. 동반 논문에서 AI가 이 조건을 만족하는 K가 하너 다면체뿐임을 증명한 것으로 보인다고 설명한다. 다만 글쓴이는 그 증명 역시 직접 확인했다고 말하지 않는다. 관련 자료는 대칭 마흘러 추측과 등호 사례 논문, 고차원 공 채움 논문, 마흘러 추측의 추론 요약에서 볼 수 있다. 글쓴이는 45쪽짜리 추론 문서에서 대칭 사례 논의가 한 단락에 그친다고 지적한다.

글에서 인용한 참고 자료에는 Artstein-Avidan·Roman Karasev·Yaron Ostrover의 연구, Gross의 등각 스코로호드 임베딩 논문, Loi와 Zuddas의 논문, McDuff의 논문이 포함된다.