https://www.youtube.com/watch?v=PKa45iMAlQc
1. 이건 꼭 알아야 한다
- [? 질문] AI도 풀지 못한 ‘60년 넘게 증명되지 않은’ 수학 난제를 한국의 젊은 수학자가 어떻게 해결했으며, 그 과정에서 드러난 ‘인간만의 능력’은 무엇인가?[^1] @[00:01]
- [= 답] ‘직각 복도를 통과할 수 있는 가장 넓은 소파(최대 면적 형상)’ 문제의 정답 형상을 찾아 ‘증명’까지 완료했는데, 핵심은 컴퓨터/AI가 잘 못하는 방식인 ‘직관’으로 결정적 아이디어를 얻고, 최종적으로는 컴퓨터 도움 없이 손으로 수식을 써서 논증을 완결한 점이라는 것이다.[^2] @[01:08] 또한 AI는 정답 확률이 높은 답을 내는 데 강하지만, 고등수학처럼 추론 과정 전체의 무오류성을 스스로 점검·검증해야 하는 영역에서는 오답 위험이 크다는 관찰이 함께 제시된다.[^3] @[01:41]
2. 큰 그림
이 콘텐츠는 “AI 시대에 인간의 고유한 능력은 무엇인가”라는 질문을, 수학계 장기 난제 해결 사례로 답한다.[^4] @[00:08] 출발점은 “직각(ㄱ자) 복도를 통과할 수 있는 최대 면적의 소파는 어떤 모양인가?”라는 일견 단순하지만 오랫동안 증명되지 않았던 문제다.[^5] @[00:16] 그리고 그 해결 과정에서 컴퓨터로 가능한 후보를 대규모로 제거하는 작업과 마지막 결정을 가져온 인간 직관을 대비시키며, AI의 강점과 한계를 설명한다.[^6] @[01:03]
핵심 메시지 3개
- 60년 이상 증명되지 않은 난제가 한국의 젊은 수학자(백진원 박사)에 의해 해결·증명되었다.[^7] @[00:01]
- 해결의 결정적 고리는 **컴퓨터가 닿기 어려운 인간의 ‘직관’**이며, 최종 증명은 컴퓨터 없이 수식으로 완성되었다.[^8] @[01:08]
- AI는 확률적으로 그럴듯한 답을 잘 내지만, 증명처럼 전 과정을 검증해야 하는 고등수학에서는 오답 위험이 있으며, 다만 수학자 자신도 앞으로 AI를 더 적극 활용하려 한다.[^9] @[01:41]
3. 하나씩 살펴보기
3.1 “AI도 못 푼 60년 난제”라는 사건의 제시
리포트는 첫 문장에서 사건을 강하게 규정한다. **“인공지능도 풀지 못해서 60년 넘게 증명이 안 된 수학계 난재”**를 “한국의 젊은 수학자”가 해결했다는 것이다.[^1] @[00:01] 이어서 뉴스는 이 사건을 단순한 성취 소개가 아니라, **“인공지능이 갖지 못한 인간의 능력은 무엇이었는지”**라는 주제로 확장한다.[^4] @[00:08] 즉, 난제 해결 자체(성과)와 그 의미(인간 능력의 성격)를 함께 다루겠다는 문제의식이 초반에 설정된다.
3.2 문제의 정체: “직각 복도를 통과하는 가장 넓은 소파” 질문
난제는 다음과 같은 질문으로 제시된다.
- “직각 모양 복도를 통과할 수 있는 가장 넓은 소파는 어떤 모습일까?”[^5] @[00:16]
보도는 이 질문이 “단순한 질문”처럼 보이지만, 실제로는 수학계에서 ‘반세기(반세이) 넘게 누구도 못 푼’ 대표적 난재라고 성격을 부여한다.[^10] @[00:21] 즉, 일상적 상황(가구를 옮기는 장면)으로 이해할 수 있으나, 최댓값(최대 면적)과 그에 대한 엄밀한 증명을 요구한다는 점에서 어려운 문제로 자리한다.
3.3 이해를 돕는 생활 비유: 이사, 복도 너비 1m, 가능한 도형들
기자는 문제를 ‘이사 상황’으로 바꿔 시청자가 직관적으로 이해하도록 만든다.
- “우리가 이사를 간다고 상상을 한번 해 볼게요.”[^11] @[00:28]
- “복도 너비를 1m라고 해 볼게요.”[^12] @[00:33]
이때 복도 폭 1m라는 설정 아래, 단순 도형은 통과 가능함을 예로 든다.
- 가로 세로 1m인 정사각형도 움직일 수 있다는 식으로 설명하며,[^13] @[00:37]
- 반지름 1인 반원도 가능한 경우를 언급한다.[^14] @[00:37]
이 부분의 기능은 “복도를 꺾어 지나가야 하는 제약”이 핵심이며, 단순히 크기만 큰 도형을 상정하면 되는 문제가 아니라는 점을 보여주는 데 있다. 즉, 모양(형상)과 회전·이동 가능성이 결합된 최적화 문제임을 생활 비유로 전달한다.
3.4 오랜 기간 쏟아진 다양한 가설들: 아령, 전화, 수학이… 그러나 ‘최대 면적 증명’은 실패
이 문제는 오랜 시간 많은 추측을 낳았다. 보도는 그동안 제안된 형상 후보로 다음을 열거한다.
- “아령, 전화, 수학이 등 많은 가설이 쏟아졌다”[^15] @[00:42]
여기서 핵심은 ‘아이디어(후보 형태)’는 많았지만, 누구도 “최대 면적”이라는 결론을 증명하지 못했다는 점이다.
- “하지만 누구도 최대 면적이란 걸 증명 못 한 겁니다.”[^16] @[00:42]
즉, 이 난제의 본질은 “그럴듯한 모양”을 제시하는 것보다, **그 모양이 진짜로 최대임을 수학적으로 확정(상한·최적성 증명)**하는 데 있다는 메시지가 강조된다.
3.5 ‘정답’ 형상의 구체적 묘사: 전화 수화기 형태 + 모서리 회피를 위한 완만한 절삭 + 파인 반원 모양
보도는 결론으로서 “정답은 전화 수화기 형태”라고 못 박고, 그 모양이 왜 그런지를 시각적으로 상상할 수 있게 추가 설명을 붙인다.
- “정답은 전화 수화기의 형태”[^17] @[00:49]
- “모서리를 피할 수 있게 양끝을 완만하게 깎은”[^18] @[00:49]
- “파인 반원 모양”[^19] @[00:49]
즉, 직각 복도의 **‘모서리(코너)’**가 병목 제약이므로, 그 코너를 회피하도록 양끝을 매끈하게 다듬고(완만하게 깎고), 전체적으로는 파인 반원(오목한 반원) 요소를 갖는 “전화 수화기 같은” 형상이 최대 면적 해법이라는 설명 구조다.
3.6 해결자와 성취: 백진원 박사, “정답을 찾아 증명까지”
이 정답을 제시하고 끝낸 것이 아니라, 결정적으로 “증명까지 마쳤다”는 점이 다시 강조된다.
- “우리나라 젊은 수학자 백진원 박사가 정답을 찾아 증명까지 마쳤습니다.”[^20] @[00:57]
뉴스는 이를 통해 “추측/가설”에서 “정리(정답+증명)”로 넘어간 사건임을 확정한다.
3.7 해결 과정 1단계: 코딩으로 수많은 후보군을 ‘지워 나가기’
해결 과정은 먼저 컴퓨터를 활용한 탐색/정리 작업으로 묘사된다.
- “처음엔 컴퓨터로 코딩을 짜서 수많은 소파 후보군들을 지워 나갔습니다.”[^21] @[01:03]
여기서 “지워 나갔다”는 표현은, 가능한 형상을 무작정 생성해 맞히는 방식이 아니라, 조건을 위반하거나 최적이 될 수 없는 형상을 체계적으로 배제하는 접근이었음을 시사한다. 즉, 컴퓨터는 초기 단계에서 탐색 공간을 줄이는 도구로 기능했다는 서술이다.
3.8 해결 과정 2단계: 7년의 축적 끝에 ‘불현듯 아이디어’ → 컴퓨터 없이 손으로 수식 증명 완결
컴퓨터를 활용한 단계가 짧은 시도가 아니라 장기간이었다는 점이 숫자로 제시된다.
- “그렇게 7년을 하다 보니”[^22] @[01:08]
그리고 전환점은 “불현듯” 떠오른 아이디어다.
- “불연듯 아이디어가 떠올랐고”[^23] @[01:08]
결정적인 결론은 다음 문장으로 제시된다.
- “컴퓨터 도움없이 손으로 수식을 써 정답을 증명해 버렸습니다.”[^2] @[01:08]
즉, 컴퓨터는 오랜 기간 조력했지만, 최종적으로는 인간이 수식(논증)으로 증명을 완결했다는 대조가 명확히 설정된다. 이 구성은 뒤에서 이어지는 “AI/컴퓨터의 한계와 인간 직관의 역할” 논지로 연결되는 핵심 고리다.
3.9 “컴퓨터가 못 찾는 방법”과 ‘직관’의 강조: 컴퓨터가 시킬 수 있는 방법은 정해져 있다
기자는 직접적으로 “컴퓨터가 못 찾는 방법을 찾은 것이냐”라고 질문한다.
- “컴퓨터가 못 찾아는 방법을 찾으신 거예요?”[^24] @[01:17]
이에 대해 백진원 박사는 “그렇다고 할 수도 있다”고 여지를 두면서도, 왜 그런지 이유를 붙인다.
- “그렇다고 할 수도 있고요.”[^25] @[01:18]
- “근데 또 컴퓨터한테 시킬 수 있는 방법은 또 정해져 있기 때문에”[^26] @[01:23]
그리고 인간의 강점으로 **‘직관’**을 명시한다.
- “보면 바로 핵심을 알 수 있는 것 직관입니다.”[^27] @[01:23]
여기서 뉴스가 전달하는 관점은 “컴퓨터가 약해서가 아니라, 컴퓨터에게 ‘시키는 방식’은 규정된 절차로 제한되는 경향이 있다”는 것이다. 반면 인간은 상황을 보고 **핵심을 단번에 포착하는 방식(직관)**으로 탐색의 규칙 자체를 바꾸거나, 결정적 발상을 할 수 있다는 대비가 만들어진다.
3.10 알파고-이세돌 비유로 인간 직관의 상징화
리포트는 대중적으로 잘 알려진 사례를 가져와 직관의 의미를 강화한다.
- “마치 10년 전 이세돌 9단이 알파고와 대결해서 신의 한수를 찾아낸 것처럼”[^28] @[01:32]
이 비유의 역할은 두 가지다.
- AI가 강력하다는 공감대(알파고) 위에서,
- 그럼에도 인간이 **AI가 예상 못한 수(‘신의 한수’)**를 찾을 수 있다는 상징으로 “직관”을 설명한다.
그리고 결론적으로, 이 난제가 풀린 이유를 다시 한 번 인간 고유 기능으로 귀결시킨다.
- “컴퓨터가 닿지 못한 사람만의 고유한 기능 직관이 60년 난재를 풀어낸 겁니다.”[^29] @[01:32]
3.11 AI의 강점: “정답일 확률이 높은 답”을 내놓는 능력과 ‘정답이 뚜렷한 수학 문제’에서의 효율
이제 뉴스는 AI 일반론으로 확장해, 왜 AI가 수학에서 잘하는 장면이 있는지 설명한다.
- “만능 문제 해결사처럼 급부상한 AI는 정답일 확률이 높은 답을 내놓기 때문에”[^30] @[01:41]
- **“정답이 뚜렷한 수학 문제는 곧잘 [푼다]”**는 취지로 말한다.[^31] @[01:41]
즉, AI는 많은 경우 높은 확률로 맞는 답을 생성하는 능력 덕분에, 정답이 명확히 정해져 있고 채점 가능한 유형에서는 성과를 내기 쉽다는 프레이밍이다.
3.12 AI의 한계: 고등수학은 ‘추론 과정 전체 점검’과 ‘무오류 검증’이 필수 → 오답을 내기 쉽다
그러나 고등수학(뉴스 자막/발화는 “고등학”으로 들리지만 맥락상 고등수학/고등 수학적 추론)에서는 요구 조건이 달라진다고 설명한다.
- “하지만 추론 과정 전체를 점검하고 오류가 없는지 스스로 검증해야 하는 고등학에선 오답을 내기 [쉽다]”[^3] @[01:53]
이 문장은 ‘답’뿐 아니라 ‘증명’이 필요한 수학의 성격을 다시 환기한다. 즉, AI가 그럴듯한 결론을 내더라도, 그 결론으로 가는 모든 단계의 정합성을 완전히 확인하고 오류 가능성을 제거하는 것이 필수인 영역에서는, 확률적 생성에 기반한 AI가 취약할 수 있다는 관찰이다.
3.13 “AI가 직관까지 흉내 내 인간을 추월할까?”라는 질문과 수학자의 답: “운이 좋았다”, “AI 나오기 전에 끝냈다”, “이제는 AI 더 적극 활용”
리포트는 미래 질문으로 마무리한다.
- “언젠가 AI가 직관까지 흉내내 인간을 추월해 낼지… 난재를 풀어낸 수학자에게 물어봤습니다.”[^32] @[02:01]
백진원 박사의 답은 세 층위로 구성된다.
- 자신의 성취를 과장하기보다 운의 요소를 인정:
- “운이 좋죠.”[^33] @[02:08]
- 역사적 타이밍: 더 강한 AI가 나오기 전에 끝낸 점을 언급:
- “이제 그런 AI가 만들어지기 전에 이걸 끝냈으니까.”[^34] @[02:09]
- 향후 태도: AI를 배척하기보다 더 적극적으로 활용하겠다고 말함:
- “저도 이제 AI를 더 적극적으로 활용하려고 노력하고 있는 상황이고요.”[^35] @[02:12]
즉, 보도는 “이번엔 인간이 이겼다”는 서사를 주되, 결말에서는 ‘인간 vs AI’의 단순 대결 구도를 고정하기보다, AI 발전 가능성을 열어 두고 협업/활용으로 태도를 정리한다.
4. 핵심 통찰
- 이 문제의 난점은 ‘정답처럼 보이는 도형’이 아니라 ‘최대임을 증명’하는 데 있다. 과거에도 아령·전화·수학이 같은 다양한 가설이 나왔지만, “최대 면적”을 증명하지 못해 미해결로 남았다는 점이 이를 보여준다.[^16] @[00:42]
- 컴퓨터는 탐색·배제(후보군을 지우기)에 유용했지만, 결정적 도약은 인간 직관이 담당했다. 7년간의 계산적 접근 이후 “불현듯 아이디어”가 등장하고, 최종 증명은 “컴퓨터 도움 없이 손으로 수식”으로 완성되었다는 서술이 그 구조를 만든다.[^2] @[01:08]
- AI의 강점(정답 확률이 높은 답 제시)과 약점(추론 전 과정의 무오류 검증 필요 영역에서 오답 위험)을 분리해 봐야 한다. 보도는 “정답이 뚜렷한 문제”에서는 AI가 잘하지만, 고등수학/증명에서는 스스로 오류를 제거해야 하므로 취약하다고 정리한다.[^3] @[01:53]
- ‘마지막 승리’일 수도 있다는 문제의식은, 향후 AI가 직관까지 모사할 가능성에서 나온다. 다만 수학자 본인은 “운이 좋았다” “AI 이전에 끝냈다”는 타이밍을 언급하면서도, 앞으로 AI를 더 활용하겠다는 실용적 태도를 취한다.[^35] @[02:12]
5. 헷갈리는 용어 정리 (해당 시에만)
- 직관: 영상에서의 의미는 “보면 바로 핵심을 알 수 있는 것”으로 정의된다.[^27] @[01:23] 여기서는 정해진 절차를 따라 계산하는 방식이 아니라, 문제의 구조를 한 번에 파악해 새로운 접근을 떠올리는 인간의 사고 능력을 가리킨다.
- (직각) 복도를 통과하는 소파 문제: 직각으로 꺾인 복도를, 일정한 폭(예: 1m) 제약 하에서 통과할 수 있는 도형 중 면적이 최대인 도형의 형태와 그 최대성 증명을 찾는 문제로 소개된다.[^5] @[00:16]
- 전화 수화기 형태: 정답으로 제시된 소파의 모양 비유. 모서리를 피하도록 양끝을 완만하게 깎았고, “파인 반원” 요소를 갖는 형상으로 묘사된다.[^19] @[00:49]
참고(콘텐츠 정보)
- 콘텐츠: 「AI 이긴 한국 수학자, 어쩌면 마지막 승리?」 (MBCNEWS / 뉴스투데이)
- 게시일: 2026.02.23
- 길이: 2분 20초
- 링크: https://www.youtube.com/watch?v=PKa45iMAlQc
- 등장/언급: 김윤미 기자(리포트), 백진원 박사(해결자)
- 주요 타임스탬프: 문제 소개 @[00:16], 정답 형상 설명 @[00:49], 해결 과정(7년·직관·증명) @[01:08], AI 강점/한계 @[01:41]~@[01:53], 향후 전망/소감 @[02:08]~@[02:12]
[^1]: “인공지능도 풀지 못해서 60년 넘게 증명이 안 된… 한국의 젊은 수학자가 해결” @[00:01]
[^2]: “컴퓨터 도움없이 손으로 수식을 써 정답을 증명” @[01:08]
[^3]: “추론 과정 전체를 점검… 스스로 검증… 고등학에선 오답” @[01:53]
[^4]: “인공지능이 갖지 못한 인간의 능력은 무엇이었는지” @[00:08]
[^5]: “직각 모양 복도를 통과… 가장 넓은 소파” @[00:16]
[^6]: 코딩으로 후보군 제거 → 직관 → 손증명 흐름 @[01:03]~@[01:08]
[^7]: “60년 넘게… 해결” 재강조 @[00:01]
[^8]: 직관의 역할 강조 및 손증명 결론 @[01:08]
[^9]: AI 잘하는 영역/오답 위험, 그리고 수학자의 향후 AI 활용 발언 @[01:41]~@[02:12]
[^10]: “반세이 넘게… 누구도 못 푼 대표적 난재” @[00:21]
[^11]: “이사를… 상상” @[00:28]
[^12]: “복도 너비 1m” @[00:33]
[^13]: “가로 세로 1m… 움직일 수” @[00:37]
[^14]: “반지름이 1인 반원… 가능” @[00:37]
[^15]: “아령, 전화, 수학이 등” @[00:42]
[^16]: “최대 면적… 증명 못” @[00:42]
[^17]: “정답은 전화 수화기” @[00:49]
[^18]: “양끝을 완만하게 깎은” @[00:49]
[^19]: “파인 반원 모양” @[00:57] 전후(정답 묘사 구간)
[^20]: “백진원 박사… 증명까지” @[00:57]
[^21]: “컴퓨터로 코딩… 후보군 지워” @[01:03]
[^22]: “그렇게 7년” @[01:08]
[^23]: “불연듯 아이디어” @[01:08]
[^24]: “컴퓨터가 못 찾는 방법…?” @[01:17]
[^25]: “그렇다고 할 수도” @[01:18]
[^26]: “컴퓨터한테 시킬 수 있는 방법은 정해져” @[01:23]
[^27]: “보면 바로 핵심… 직관” @[01:23]
[^28]: “이세돌… 신의 한수” @[01:32]
[^29]: “사람만의… 직관이 60년 난재를” @[01:32]
[^30]: “만능 문제 해결사… AI… 정답일 확률이 높은 답” @[01:41]
[^31]: “정답이 뚜렷한 수학 문제는 곧잘…” @[01:41]
[^32]: “AI가 직관까지 흉내내… 물어봤습니다” @[02:01]
[^33]: “운이 좋죠” @[02:08]
[^34]: “AI가 만들어지기 전에… 끝냈으니까” @[02:09]
[^35]: “AI를 더 적극적으로 활용” @[02:12]