소파 하나가 세상을 바꿨다: 백진언 박사가 AI도 못 푼 '60년 수학 난제'를 7년 만에 혼자 해결한 5가지 의미

31세 백진언 박사가 컴퓨터 없이 순수 수학 추론만으로 58년 묵은 '소파 움직이기 문제'를 해결해 세계 수학계를 놀라게 했다. 미국 사이언티픽 아메리칸이 2025년 10대 수학 혁신으로 선정, AI 전성시대에도 인간 직관이 최후의 무기임을 다시 증명했다.

#ai #AI트렌드 #테크리뷰 #2026트렌드 #GenerativeAI #미래기술투자

왜 지금 봐야 하는가? AI가 인간의 직업을 대체한다는 공포가 극에 달한 2026년, 정작 AI조차 60년 동안 손도 못 댄 수학 난제를 31세 한국인이 혼자 풀어버렸다.

TL;DR

백진언(고등과학원 허준이수학난제연구소) 박사가 1966년 제기된 '소파 움직이기 문제'를 2024년 12월 순수 수학으로 최종 증명
컴퓨터·AI 비의존, 손으로 쓴 수식만으로 거버의 소파(2.2195㎡)가 최적해임을 확정
미국 Scientific American 2025년 10대 수학 혁신 선정, 전 세계 학계 주목
MBC 등 한국 주요 방송이 2026년 2월 일제히 재조명 — "AI가 도달 못 한 인간만의 능력"
허준이펠로우(만 39세 이하, 최대 10년 지원) 선정으로 연구 지속성 확보

소파 움직이기 문제란?

"폭 1m짜리 복도 직각 코너를 막히지 않고 통과할 수 있는 가장 넓은 소파의 형태와 면적은 무엇인가?"

얼핏 이삿짐 센터 고민 같지만, 1966년 캐나다 수학자 레오 모저가 공식 제기한 이후 전 세계 수학계의 대표 난제였다. 폭 1m 직각 복도를 세우거나 기울이거나 분해하지 않고 회전·이동할 수 있는 2차원 도형의 최대 넓이를 구하는 문제다.

1968년 영국 수학자 존 해머즐리: 전화 수화기 형태 도형 제안
1992년 미국 조셉 거버 교수: 18개 곡선으로 이뤄진 면적 2.2195㎡ 도형 제안 → 이후 30년간 가장 유력한 답이었지만 '최적해'임을 수학적으로 증명하지 못함

5가지 의미

1. AI 전성시대에 '인간 직관'의 역전

MBC는 2026년 2월 22일 이 소식을 재조명하며 제목을 "AI가 도달 못 한 인간만의 능력" 이라 붙였다. 백 박사 스스로도 "컴퓨터에게 시킬 수 있는 방법은 정해져 있다"고 말했다. AI가 소화할 수 없는 비선형적 직관과 창의적 도약이 이 증명의 핵심이다.

2. 7년 몰입이 만든 '불현듯 아이디어'

백 박사는 처음에는 코딩으로 수많은 소파 후보군을 지워나갔다. 7년을 그 과정만 반복하던 중 불현듯 순수 수학적 아이디어가 떠올랐고, 컴퓨터를 끈 채 손으로 증명을 완성했다. 논문은 119페이지. Scientific American은 "전혀 컴퓨터에 의존하지 않았다는 점이 더욱 놀랍다"고 평가했다.

3. 한국 수학 생태계 — 허준이 효과의 연쇄 반응

백 박사는 허준이펠로우다. 필즈상 수상자 허준이 교수가 만든 지원 프로그램으로, 만 39세 이하 수학자에게 최대 10년간 연구 자유를 보장한다. 2022년 허준이 효과 이후 젊은 수학자 지원 인프라가 실제로 세계적 성과를 낳기 시작했다.

4. 수학 난제 해결의 경제·산업적 파급

소파 문제는 단순해 보이지만 로봇 팔 경로 최적화, 자율주행 회전 반경 계산, 물류 창고 자동화 등과 직결되는 기하학 최적화 문제다. 실제로 현대의 경로 계획 알고리즘은 이와 동류의 수학적 기반 위에 서 있다.

5. '한 문제에 7년' — 딥워크 모델의 부활

단기 성과와 논문 수 경쟁이 지배하는 학계에서, 백 박사의 사례는 한 문제에 7년을 쏟아붓는 딥워크 모델이 여전히 최고의 혁신을 만든다는 것을 입증했다. "대학원 시절 수년을 한 문제에 몰입할 수 있었던 건 축복"이라는 그의 말은 연구자뿐 아니라 모든 창작자에게 울림을 준다.

맥락 & 배경

연도	사건
1966	레오 모저, '소파 움직이기 문제' 공식 제기
1968	존 해머즐리, 수화기형 도형 제안
1992	조셉 거버, 면적 2.2195㎡ 도형 제안 (이후 최유력 답)
2017	백진언, 박사 과정 중 이 문제에 몰입 시작
2024.12	백진언, arXiv에 최종 증명 논문 공개
2025	Scientific American 2025년 10대 수학 혁신 선정
2026.01	한국 주요 언론 대대적 보도
2026.02	MBC 등 방송 재조명, "AI도 못 푼 난제" 집중 보도

전망

백 박사의 증명 방법론 — 후보군 소거 + 순수 수학 직관 전환 — 은 현재 수학계 미해결 난제 공략에 새 표준을 제시할 수 있다. 동시에 AI 연구자들은 이 증명 과정을 역으로 학습시켜 AI의 기하학 직관 한계를 보완하는 데 활용하려는 시도를 시작했다. 백 박사가 다음 도전할 문제가 무엇인지, 수학계가 주목하고 있다.

체크리스트 — 이 소식을 어떻게 활용할까?

수학/AI 관심자: arXiv 논문 검색 — "Jineon Baek, Moving Sofa" (2024)

스타트업/엔지니어: 경로 최적화 알고리즘에 거버 소파 해법 적용 가능성 검토

교육자: '소파 문제'를 수업 도구로 활용 — 고교 수준에서도 직관적 이해 가능

투자자: 허준이펠로우 지원 기관(고등과학원) 및 한국 수학 인재 파이프라인 주목

참고 링크

이미지 출처: Wikimedia Commons — Moving sofa animation (Public Domain)