자유게시판
앤트로픽 연구원 "Claude를 이용해 미분기하학의 약 100년 된 유명 추측 두 개에 대한 명시적 반례를 찾았다"
작성자
작성일
2026-08-19 21:45
조회
4
한마디로 말하면, Claude를 이용해 미분기하학의 약 100년 된 유명 추측 두 개에 대한 명시적 반례를 찾았다고 주장하는 트윗입니다. 사실이라면 상당히 큰 수학적 결과예요.
자연스럽게 번역하면 다음과 같습니다.
일주일 전쯤 AchimWar와 서로 좋아하는 수학 문제들에 관해 이야기하다가 카라테오도리 추측이 나왔다.
처음에는 말 그대로 그냥 이 문제에 관해 읽어보려고 했을 뿐이다. 그런데 관련 문헌의 상황이 상당히 복잡하다는 것을 알게 되었고, 혹시 도움이 될 수 있지 않을까 해서 AI 모델과 함께 이 문제를 살펴봐도 괜찮겠느냐고 그에게 물었다.
나와 John-Paul Smith, 그리고 물론 Claude가 결과를 검토했다. 이번에는 내가 수학 공동체의 좀 더 책임감 있는 일원으로 행동했기를 바란다. 아다마르 문제 때는 엄청난 논쟁과 비난이 일어났으니까.
그래서 먼저 PDF로 정리한 글을 그에게 보냈고, 지난 일주일 동안 그 글이 여러 사람 사이에서 회람되었다. 그래도 어딘가 공개된 장소에 기록을 남기고 싶었기 때문에, 다시 한번 AI 모델들도 검증할 수 있는 형태로 결과를 제시해보겠다.
(C^\infty) 범주에서 카라테오도리 추측과 뢰브너 추측은 거짓이다.
다음과 같이 정의하자.
[
f(x+iy)=
-\frac{\cos(2x)}4
+\frac{3\cos(2y)}{10}
-\frac{\cos(4y)}{32}
+\sin x\sin y
]
그리고 양의 정수 (k)에 대하여
[
g_k(z)=
\frac{|z|^2
e^{-|z|^{-1/4}e^{-|z|^2}}
f!\left(\left(\frac{100}{\bar z}\right)^{k/2}\right)}
{1+|z|^2}
+10^{10}
]
로 정의하자.
그러면 (g_k)는 원점에 지수가
[
1+\frac{k}{2}
]
인 배꼽점(umbilic point)을 가진다.
특히 (g_2)는 (e^{-|z|^2}) 항 덕분에
[
S^2=\mathbb P^1(\mathbb C)
]
전체에서 (C^\infty) 함수로 볼 수 있다. 또한 (g_2)는 배꼽점이 정확히 하나뿐인 볼록체의 지지함수다.
무슨 뜻인지 풀어보면 다음과 같습니다.
1. 배꼽점이란?
곡면 위의 한 점에는 서로 수직인 두 방향의 주곡률이 있습니다. 두 주곡률이 같아져서 어느 방향으로 보아도 똑같이 휘는 점을 배꼽점 또는 제점(umbilic point)이라고 합니다.- 구: 모든 점이 배꼽점
- 회전타원체: 보통 양 끝의 두 점이 배꼽점
- 일반적인 타원체: 보통 네 개의 배꼽점을 가짐
2. 카라테오도리 추측
카라테오도리 추측은 대략 다음 주장입니다.3차원 공간의 충분히 매끄럽고 닫힌 볼록곡면에는 배꼽점이 적어도 두 개 존재한다.
거의 100년 동안 연구된 유명한 문제입니다. Ghomi와 Howard의 논문에서도 이 추측과 복잡한 문헌·증명 역사가 설명되어 있습니다.
그런데 트윗의 (g_2)가 실제로 배꼽점이 정확히 하나뿐인 매끄러운 볼록체의 지지함수라면, 이는 (C^\infty) 카라테오도리 추측의 직접적인 반례입니다.
3. 뢰브너 추측
뢰브너 추측은 국소적인 주장입니다.고립된 배꼽점의 지수는 1을 넘을 수 없다.
여기서 지수는 배꼽점 주변을 한 바퀴 돌 때 주곡률 방향이 얼마나 회전하는지를 나타냅니다. 선의
쉽게 말하면, 이 연구원은 Claude를 이용해 거의 100년 동안 풀리지 않은 미분기하학 난제의 반례를 찾았다고 주장하는 것입니다. 사실이라면 상당히 큰 결과입니다.
자연스럽게 번역하면 다음과 같습니다.
일주일 전, 나는 @AchimWar와 서로 좋아하는 수학 문제에 관해 이야기하다가 카라테오도리 추측을 접하게 됐다.
처음에는 정말 그냥 관련 내용을 읽어보려 했을 뿐이었다. 그런데 기존 문헌의 상황이 꽤 복잡하다는 걸 알게 됐고, 혹시 도움이 될까 싶어 AI 모델과 함께 이 문제를 살펴봐도 괜찮겠느냐고 그에게 물었다.
나와 John-Paul Smith, 그리고 당연히 Claude가 결과를 검토했다. 이번에는 내가 수학계의 좀 더 책임감 있는 구성원처럼 행동했기를 바란다. 아다마르 문제 때는 상당한 논쟁과 비난이 일어났기 때문이다.
나는 결과를 정리한 PDF를 먼저 그에게 보냈고, 지난 일주일 동안 그 문서가 여러 사람 사이에서 돌며 검토됐다. 그래도 어딘가에 공개 기록을 남겨두고 싶었다. 그래서 다시 한번 AI 모델도 검증할 수 있을 만큼 명시적인 형태로 결과를 제시해보겠다.
(C^\infty) 범주에서 카라테오도리 추측과 뢰브너 추측은 거짓이다.
다음 함수를 정의하자.
[
f(x+iy)
=-\frac{\cos(2x)}4
+\frac{3\cos(2y)}{10}
-\frac{\cos(4y)}{32}
+\sin(x)\sin(y)
]
그리고 양의 정수 (k)에 대해
[
g_k(z)=
\frac{|z|^2
e^{-|z|^{-1/4}e^{-|z|^2}}
f!\left(\left(\frac{100}{\bar z}\right)^{k/2}\right)}
{1+|z|^2}
+10^{10}
]
으로 정의하자.
그러면 (g_k)는 (z=0)에서 지수가
[
1+\frac{k}{2}
]
인 제점(umbilic point)을 갖는다.
특히 (g_2)는 (e^{-|z|^2}) 항 덕분에
[
S^2=\mathbb P^1(\mathbb C)
]
전체에서 (C^\infty) 함수로 볼 수 있으며, 제점이 정확히 하나뿐인 볼록체의 지지함수가 된다.
무슨 의미인지 풀어보면 다음과 같습니다.
- 제점(umbilic point)은 곡면의 두 주곡률이 같은 점입니다. 구에서는 모든 점이 제점이고, 회전타원체에는 보통 양 끝에 두 개가 있습니다.
- 카라테오도리 추측은 “충분히 매끄러운 닫힌 볼록곡면에는 제점이 적어도 두 개 존재한다”는 주장입니다. 기존 문헌의 정확한 진술도 이와 같습니다.
- 뢰브너 추측은 고립된 제점 주위에서 주곡률선이 회전하는 정도인 ‘지수’가 (1)을 넘을 수 없다는 주장입니다.
[
\operatorname{index}(0)=1+\frac{k}{2}
]
입니다. 따라서 (k=2)를 넣으면 지수가 (2)가 됩니다.
[
1+\frac22=2
]
이는 “제점 지수는 (1) 이하”라는 뢰브너 추측에 정면으로 위배됩니다. 또한 구면 전체 제점 지수의 합은 (2)여야 하는데, 지수 (2)인 제점 하나가 그 값을 전부 차지할 수 있습니다. 실제로 (g_2)가 나타내는 볼록체에는 제점이 정확히 하나뿐이라고 주장하므로 카라테오도리 추측의 반례도 됩니다.
여기서 (+10^{10})은 단순히 함숫값을 크게 올리려는 장치라기보다, (g_2)가 실제 볼록체의 적절한 지지함수가 되도록 충분한 볼록성을 확보하는 역할로 보입니다. 상수를 더해도 제점을 결정하는 방향별 곡률 차이는 바뀌지 않습니다.
또 하나 중요한 부분은 (C^\infty)라는 조건입니다. 이 함수는 무한히 미분할 수 있지만 실해석적(real analytic)이지는 않은 특수한 평탄화 함수를 사용합니다. 따라서 이 주장이 맞더라도:
- (C^\infty) 매끄러운 곡면에 대한 추측은 거짓
- 실해석적 곡면에 대한 기존 결과는 여전히 살아 있을 가능성이 큼
결국 트윗의 핵심은 이렇습니다.
“Claude와 인간 연구자들이 매우 구체적인 함수를 찾아냈으며, 이 함수가 제점 하나만 가진 매끄러운 닫힌 볼록곡면을 만들어낸다. 따라서 매끄러운 범주의 카라테오도리·뢰브너 추측은 모두 거짓이다.”
다만 현재 공개된 것은 트윗의 명시적 반례 주장 단계이므로, 세부 증명과 전문가 검증이 완전히 공개되기 전까지는 “공식적으로 해결됐다”기보다 매우 강력하고 직접 검증 가능한 반례가 제안됐다고 표현하는 게 안전합니다.
전체 0