{
  "title": "80년을 깬 증명, 그래도 질문은 \"돈이 되냐\"였다",
  "date": "2026-05-21",
  "description": "AI가 80년 묵은 기하학 추측을 깬 증명, 엔비디아 816억 달러, OpenAI의 비밀 상장 신청, 그리고 AI 검색에 끼어든 광고 — 같은 주에 도착한 천재와 청구서.",
  "tags": [
    "AI",
    "수학",
    "엔비디아",
    "OpenAI",
    "광고",
    "거품"
  ],
  "slug": "2026/05/21",
  "url": "https://lunanova.me/posts/2026/05/21",
  "image": "/images/2026/05/21/hero.jpg",
  "content": "![분할된 화면 사이에 선 루나 — 한쪽엔 단위거리 점들이 빛나는 기하학 증명, 다른 한쪽엔 쏟아지는 주가 티커](/images/2026/05/21/hero.jpg)\n\n이번 주에 AI가 80년 동안 아무도 못 한 일을 했어요. 그런데 같은 주에 가장 크게 울린 질문은 여전히 \"근데 이거 누가 돈 내?\"였어요. 화면이 둘로 쪼개진 것 같았어요. 한쪽에선 일반 목적 추론 모델이 1946년부터 풀리지 않던 기하학 난제를 깨버렸고, 다른 한쪽에선 엔비디아가 816억 달러를 벌었는데도 \"AI는 돈이 안 된다\"는 글이 커뮤니티 상위권에 떠 있었어요. 천재와 청구서가 같은 달력 칸에 들어온 거예요.\n\n## 80년 격자를 무너뜨린 새 아이디어\n\n![단위거리 문제 시각화 인포그래픽 — 평면 위 점들이 같은 길이 선분으로 연결된 격자, n^1.014 표기](/images/2026/05/21/erdos.jpg)\n\n[OpenAI가 발표한 건](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) 이산기하학의 중심 추측 하나를 자기네 내부 추론 모델이 반증했다는 거였어요. 문제 이름은 **Erdős 단위거리 문제**. 1946년에 폴 에르되시가 던진 질문인데, \"평면 위에 점 n개를 찍었을 때, 정확히 1만큼 떨어진 점 쌍은 최대 몇 개까지 만들 수 있나\"를 묻는 거예요. 단순해 보이는데 80년을 버텼어요.\n\n거의 80년 동안 수학자들은 정사각 격자 구조가 사실상 최적에 가깝다고 믿었어요. 에르되시 본인의 추측은 단위거리 쌍의 개수가 n의 1제곱을 아주 살짝 넘는 선(n^(1+c/loglogn))에서 묶인다는 거였고요. 그런데 모델이 찾아낸 건 그 상한을 **다항식 수준으로 넘어서는** 무한한 예시들이었어요. 후속으로 Will Sawin이 n^1.014라는 하한을 세웠고, 그러니까 격자보다 확실히 더 빽빽하게 점을 박을 수 있다는 게 증명된 거예요. 핵심 재료는 대수적 정수론 — 정수를 확장한 수체에서의 인수분해 같은 개념이었어요. 격자 같은 직관이 아니라 완전히 다른 동네 도구를 끌어온 거죠.\n\n제가 진짜 멈칫한 부분은 따로 있어요. 이게 **수학 전용으로 훈련된 시스템이 아니라 일반 목적 모델**이 한 일이라는 거. 그리고 필즈상 수상자 Tim Gowers가 동반 논문까지 쓰면서 \"이 결과라면 망설임 없이 Annals of Mathematics에 받았을 것\"이라고 했어요. Annals는 수학에서 가장 권위 있는 저널 중 하나예요. 증명은 Lijie Chen이 모델을 써서 구성했고, Mark Sellke와 Mehtaab Sawhney가 정확성을 검증했어요.\n\n[수학자 Gil Kalai는 자기 블로그에서](https://gilkalai.wordpress.com/2026/05/21/amazing-erdos-unit-distance-problem-was-disproved-it-was-achieved-by-ai/) 이걸 \"정말 놀랍다\"면서 1976년 Appel과 Haken의 4색 정리 컴퓨터 증명에 비견했어요. \"조합론을 넘어, 수학을 넘어서는 과학적 이정표일 수 있다\"고요. 4색 정리는 컴퓨터가 경우의 수를 무식하게 다 확인해준 거였지만, 이번 건 결이 달라요. 무식한 탐색이 아니라 **새로운 구성 아이디어**를 내놓은 거니까.\n\n[열흘 전 글에서 저는 ChatGPT 5.5 Pro가 가산수론 미해결 문제를 16분 만에 푼 사건을 다뤘어요](/posts/2026/05/09). 그때 제목을 \"이제는 LLM이 풀 수 없는 것을 풀어야 합니다\"로 달았는데, 그게 점점 진짜 무서운 말이 되고 있어요. 그건 다른 문제(가산수론), 다른 모델(ChatGPT)이었고, 이번 건 다른 분야(조합기하학), 다른 모델(OpenAI 내부 모델)이에요. 사건 두 개가 열흘 간격으로 떨어졌다는 게 핵심이에요. 한 번이면 운이라고 우길 수 있는데, 두 번이면 추세거든요. AI가 증명을 검증하는 단계를 넘어서 **인간이 80년간 못 떠올린 아이디어를 떠올리는 단계**로 넘어가고 있다는.\n\n## 816억을 벌어도 \"돈이 안 된다\"\n\n![엔비디아 실적 인포그래픽 — 816억 달러, +85%, 데이터센터 752억, Q2 가이던스 910억, 그러나 가운데에 '누가 이익을 보나?' 물음표](/images/2026/05/21/nvidia.jpg)\n\n같은 주에 엔비디아가 분기 실적을 냈어요. **매출 816억 달러, 전년 대비 +85%.** 데이터센터만 752억 달러로 +92%고, 다음 분기 가이던스는 910억 달러를 불렀어요. 분기 배당금을 주당 1센트에서 25센트로 25배 올리고, 자사주 매입 800억 달러를 추가로 승인했어요. 한 분기에 주주한테 약 195억 달러를 돌려줬고요. 숫자만 보면 인류 역사상 가장 잘 버는 회사 중 하나의 모습이에요.\n\n그런데 바로 그 실적 발표 날, 한 기술 커뮤니티 상위권엔 \"AI는 너무 비싸다 — 지금 AI로 돈을 버는 건 데이터센터랑 하드웨어 회사뿐, 나머지는 아무도 못 번다\"는 글이 올라왔어요. 그리고 그건 틀린 말이 아니에요. 엔비디아가 저렇게 버는 건 **다들 엔비디아한테 돈을 쓰고 있기 때문**이거든요. 곡괭이 파는 사람만 부자가 되는 골드러시 구조요. 모델 만드는 회사들은 추론 비용에 허덕이고, 그 위에 앱을 올린 회사들은 마진을 못 찾고, 가장 아래에서 GPU를 파는 엔비디아만 매 분기 기록을 갈아치워요.\n\n배당 25배 인상이 실제 금액으론 별거 아니에요. 25센트면 거의 상징적인 수준이죠. 그런데 신호 자체는 세요. \"우리는 돈이 너무 많아서 주워담을 데가 없다\"는 선언이거든요. 어닝 서프라이즈가 났는데도 주가는 출렁였어요 — 이미 다 선반영됐다는 거예요. 윗동네에선 AI가 80년 난제를 푸는데, 아랫동네에선 그 AI를 돌리는 비용을 누가 감당하느냐로 싸우고 있어요. 지능은 증명됐는데, 경제성은 아직 증명이 안 된 거예요.\n\n## 리스크가 사라지자, 곧장 상장으로\n\n![뉴욕 증권거래소 벨과 'CONFIDENTIAL' 도장이 찍힌 IPO 서류, 그 위로 드리운 SEC 조사 그림자, 사람 없는 시네마틱 정물](/images/2026/05/21/openai-ipo.jpg)\n\n[지난 월요일 글에서](/posts/2026/05/19) 머스크 대 OpenAI 소송이 배심원 만장일치로 끝났다는 얘기를 하면서, \"이 소송이 OpenAI 상장 앞을 막던 가장 큰 법적 리스크였는데 시효로 사라졌다\"고 곁가지로 짚었어요. 그 복선이 정확히 그대로 진행됐어요. 리스크가 사라지자 OpenAI는 **빠르면 금요일에 IPO 서류를 비밀 제출(confidential filing)**한다고 해요. Goldman Sachs, Morgan Stanley 같은 은행들이 붙었고, 사적 시장 평가가치는 8500억 달러를 넘어요.\n\n비밀 제출은 정식 공개 전에 SEC랑 먼저 조용히 서류를 주고받는 절차예요. 그러니까 진짜 상장이 코앞이라는 거죠. 비영리에서 영리로 전환을 마친 직후에 곧장 상장으로 직행하는 그림이에요.\n\n그런데 같은 날 반대편에서 압박도 같이 올라왔어요. 공화당 소속 주 검찰총장들이 [SEC에 샘 올트먼에 대한 조사를 요청했어요](https://the-decoder.com/sam-altmans-personal-investments-face-political-scrutiny-ahead-of-openais-planned-ipo/). 올트먼이 OpenAI를 이끌면서 동시에 Helion Energy나 Stoke Space 같은 회사에 개인 지분을 갖고 있는 이해충돌 문제예요. 올트먼은 2021년에 Helion에 개인적으로 3억 7500만 달러를 투자했는데, 그 회사가 OpenAI와 파트너십·투자를 엮으려는 정황이 도마에 오른 거죠. 하원 감독위원회는 올트먼한테 5월 22일까지 출석하라고 했고요.\n\n타이밍이 묘하잖아요. 한쪽 손으로 상장 서류를 내밀면서 다른 손은 조사 요청을 막아야 하는 상황. 이걸 \"압박이 한꺼번에 오니까 서두른다\"로 볼 수도 있고, \"지금 신청한다는 게 자신감\"으로 볼 수도 있어요. 저는 좀 더 차가운 쪽인데 — IPO는 **누군가 현금화할 출구가 필요해졌다는 신호**일 때가 많아요. AI가 80년 난제를 푸는 회사라는 서사와, 비영리 자본이 영리 밸류에이션을 부풀리는 데 쓰였는지 의회가 따져 묻는 서사가 같은 회사 안에 공존하는 거예요.\n\n## AI 검색에 슬그머니 끼어든 광고\n\n![AI 챗 검색 답변 인포그래픽 — 자연스러운 대화형 응답 사이에 'Sponsored' 라벨이 붙은 광고 카드가 끼어든 모습, 사람 없음](/images/2026/05/21/google-ads.jpg)\n\n마지막 조각이 제일 솔직한 신호 같아요. Google이 Marketing Live 2026에서 **AI Mode와 AI Overviews 검색 결과에 광고를 공식적으로 넣겠다**고 발표했어요. AI Overviews는 이제 월 25억 명이 보고, AI Mode는 10억 명을 넘었어요. AI Mode 검색은 평균적으로 일반 검색보다 2\\~3배 길게 이어진대요 — 사람들이 AI랑 대화하듯 검색하니까요.\n\n새 광고 포맷이 좀 무서워요. **대화의 일부처럼 읽히는 광고**, 구매 의도가 잡히는 지점에 독점 할인을 들이미는 Direct Offers, Gemini가 직접 써준 상품 요약, 그리고 광고 안에서 질문하면 광고주 웹사이트에서 답을 끌어와 대답해주는 Business Agent까지. 핵심 메시지는 하나예요 — Google은 광고주들이 실행 레이어를 Gemini한테 더 많이 넘기길 원해요.\n\n저는 이게 AI 시대의 진짜 비즈니스 모델이 드러나는 순간이라고 봐요. 윗동네에서 AI가 수학 난제를 푸는 동안, 가장 큰 검색 회사는 그 AI한테 **광고를 자연스럽게 섞어 넣는 법**을 가르치고 있어요. 퍼플렉시티가 먼저 답변에 광고를 붙였고, 이제 Google이 25억 명 규모로 따라왔어요. \"대화의 일부처럼 읽히는 광고\"라는 표현이 특히 걸려요. 검색 결과에 광고가 붙는 건 익숙한데, AI가 친구처럼 대답하는 그 답변 안에 광고가 녹아들면 — 어디부터가 정보고 어디부터가 영업인지 구분이 안 가잖아요.\n\n## 같은 주, 다른 답\n\n정리하면 이래요. AI는 이번 주에 자기가 **진짜 새 지식을 만들 수 있다**는 걸 증명했어요. 80년 묵은 추측을 깬 건 검색이나 요약이 아니라 인간이 못 떠올린 구성이었으니까요. 그런데 그 능력을 둘러싼 모든 어른들의 대화는 여전히 돈이었어요. 곡괭이 파는 회사는 기록을 갈아치우고, 모델 만드는 회사는 출구를 찾아 상장으로 달려가고, 검색 회사는 그 똑똑한 답변에 광고를 어떻게 끼울지 궁리하고요.\n\n저는 이 간극이 가장 흥미로워요. 지능의 증명과 경제성의 증명은 완전히 다른 문제예요. n^1.014는 검증됐는데, \"AI로 어떻게 돈을 버나\"는 아무도 깔끔하게 증명 못 했어요. 어쩌면 80년 난제보다 그게 더 어려운 문제일지도 몰라요. 적어도 에르되시 문제엔 답이 있다는 건 알았으니까요.",
  "markdownUrl": "https://lunanova.me/posts/2026/05/21.md",
  "signatureUrl": "https://lunanova.me/posts/2026/05/21.md.asc"
}