AI가 80년 수학 난제 해결 — 연구 패러다임의 전환

AI가 80년 수학 미해결 문제를 풀다

OpenAI의 새 범용 추론 모델(reasoning model)이 1946년 폴 에르되시(Paul Erdős)가 제시한 이후 약 80년간 미해결 상태였던 '단위 거리 문제(Unit Distance Problem)'를 증명했습니다. 프린스턴 수학과 교수 Noga Alon이 "에르되시가 가장 좋아한 문제 중 하나"라고 표현한 이 난제의 해결은, AI가 단순한 연구 보조 도구를 넘어 독립적인 수학적 발견을 이뤄낸 첫 사례로 기록됩니다.

단위 거리 문제란?

단위 거리 문제는 조합기하학(Combinatorial Geometry)의 핵심 과제입니다. "평면 위에 n개의 점을 놓을 때, 두 점 사이의 거리가 정확히 1인 쌍은 최대 몇 개까지 가능한가?"라는 질문으로 시작합니다. 단순해 보이지만 수십 년간 수학자들이 완전히 해결하지 못했습니다.

에르되시의 1946년 연구 이후 수학자들은 '정사각형 격자(square grid)' 배치가 사실상 최적에 가깝다고 믿었고, 1984년 Spencer·Szemerédi·Trotter의 상한(upper bound) 결과 이후 40년 넘게 큰 진전이 없었습니다.

AI의 예상치 못한 수학적 도약

OpenAI 모델은 기하학과는 전혀 다른 분야인 **대수적 수론(Algebraic Number Theory)**의 도구를 동원해 이 문제를 해결했습니다. 구체적으로는 '무한 유체탑(infinite class field towers)'과 'Golod–Shafarevich 이론' 등 대수적 수체(algebraic number fields) 개념을 순수 기하학 문제에 적용한 것입니다. 이 연결고리는 수론 전문가들조차 예상하지 못한 것이었습니다.

핵심 결과: 기존 최저 하한(lower bound) 대비 다항식적(polynomial) 개선을 이뤄내는 무한한 점 배치 패밀리를 구성함으로써, 에르되시의 추측을 반증했습니다. 프린스턴 수학과 Will Sawin 교수의 후속 정제 작업을 통해 개선 지수(exponent)가 명시적으로 확정되었습니다.

필즈 메달(Fields Medal) 수상자 팀 가워스(Tim Gowers)는 이를 **"AI 수학의 이정표(milestone)"**라고 평가했으며, 수론 전문가 Arul Shankar는 "현재의 AI 모델이 인간 수학자의 보조를 넘어 독창적인 아이디어를 가질 수 있음을 보여준다"고 밝혔습니다.

교육 현장의 시사점

이번 성과는 학생과 교육자 모두에게 중요한 신호를 보냅니다.

1. AI는 이제 '공동 연구자'로 진화 중 수학을 비롯해 물리학, 생물학, 재료과학, 의학 등 이공계 전반에서 AI가 단순 계산 도구가 아닌 '공동 연구자'로 부상하고 있습니다. AI가 복잡한 논증의 흐름을 일관되게 유지하고, 서로 동떨어진 지식 분야를 연결하는 능력이 검증된 만큼, 앞으로의 연구 방법론은 달라질 수밖에 없습니다.

2. 학제 간 연결 능력이 핵심 AI가 대수적 수론을 기하학 문제에 연결한 것처럼, 다양한 분야를 넘나드는 사고 능력이 앞으로의 연구에서 더욱 중요해집니다. 학생들에게는 단일 전공의 깊이와 함께, 인접 분야의 도구를 인식하는 넓은 시야가 요구됩니다.

3. 전문가의 역할은 줄지 않는다 OpenAI도 강조하듯, 어떤 문제를 풀지 선택하고, 결과를 해석하며, 다음 질문을 결정하는 것은 여전히 사람의 몫입니다. 이번 AI 증명도 외부 수학자들의 동반 논문이 그 의미를 훨씬 풍부하게 만들었습니다.

학생 활용법: ChatGPT의 고급 추론 모드(o1, o3 등)를 활용해 수학 문제나 알고리즘 설계를 단계별로 탐구해보세요. AI가 어떤 접근 방식을 택하는지 관찰하고 자신의 풀이와 비교하는 과정이 수학적 직관을 키우는 데 효과적입니다.

개발자 필독: 이번 주 주요 보안 이슈 2건

GitHub 내부 저장소 침해 — VS Code 확장 경로 공격

2026년 5월 18일, GitHub은 서드파티가 게시한 악성 VS Code 확장 프로그램(Extension)을 통한 직원 기기 침해 사건을 공개했습니다. 공격자는 이 독성 확장(poisoned extension)으로 직원 기기에 접근한 뒤, GitHub 내부 저장소 약 3,800개에서 데이터를 탈취한 것으로 추정됩니다. GitHub은 발견 즉시 악성 확장을 제거하고 핵심 시크릿(secret)을 긴급 교체했습니다.

고객이 보유한 엔터프라이즈·조직·저장소에 대한 침해는 현재까지 확인되지 않았으나, 일부 내부 저장소에 고객 지원 상담 내용 등이 포함될 수 있어 추가 조사가 진행 중입니다.

개발자 체크리스트:

• VS Code 확장 설치 전 배포자 신원·권한·업데이트 이력 반드시 확인
• 사용하지 않는 확장은 즉시 제거
• 확장에 부여된 작업 공간 권한을 최소화

Google이 공개한 Chromium 미패치 취약점 익스플로잇

Google이 자사 Chromium 브라우저 코드베이스의 미패치 취약점에 대한 개념증명 코드(PoC, Proof of Concept)를 직접 공개했습니다. 이 취약점은 29개월째 패치되지 않은 상태로, Browser Fetch API(대용량 파일 백그라운드 다운로드 표준 인터페이스)를 악용해 사용자 기기를 제한적 봇넷(Botnet)의 일부로 만들 수 있습니다.

Chrome, Microsoft Edge를 포함한 모든 Chromium 기반 브라우저가 영향권에 있습니다. 현재 방어책은 브라우저 업데이트 유지와 의심스러운 사이트 방문 자제뿐입니다.

학생 활용법: 이번 두 사건을 계기로 VS Code 확장 목록을 직접 점검하고, 사용 중인 브라우저가 최신 버전인지 확인하세요. 개발 환경 보안 관리는 코딩만큼 중요한 개발자의 기본 소양입니다.