2
부산메디클럽

일상 속 수학…산업 속 수학 <7> 수학과 인공지능 알고리즘

‘생각하는 기계’ 고안한 튜링, AI시대 서막을 열다

  • 우영호 국가수리과학연구소 응용기하팀장
  •  |   입력 : 2022-08-02 19:57:04
  •  |   본지 12면
  • 글자 크기 
  • 글씨 크게
  • 글씨 작게
- 英고액권 50파운드 초상 인물
- 컴퓨터 빼닮은 ‘튜링머신’ 제시
- ‘정지문제’는 계산 불가능 증명

- 구 소련 수학자 페일러와 레만
- 그래프 동형문제 연구 큰 성과
- ‘신경학습’ 주된 방법론에 기여

- 수학서 출발한 AI·컴퓨터과학
- 독립 후엔 상호작용으로 발전
앨런 튜링의 사진이 담긴 영국 50파운드 지폐. 튜링은 인공지능(AI)컴퓨터(오른쪽 사진)의 기본 개념을 수립했을 뿐만 아니라 2차 세대대전 당시 24시간마다 바뀌는 독일군의 ‘애니그마’ 암호를 풀어내 노르망디 상륙작전의 성공에 지대한 공을 세웠다는 평가를 받고 있다. 국제신문 DB
■인공지능의 수학적 기원

19세기 후반부터 수학계에서는 수학의 기초 토대를 마련하기 위해 여러 관점이 제시됐다. 칸토어는 수학의 근간이 되는 집합론을 창시해 무한의 개념을 엄밀하게 다루게 되었으나 러셀의 파라독스가 제기됨으로써 집합론으로부터 시작되는 수학의 체계에 관한 근본 논의가 시작됐다. 논리주의 직관주의 형식주의가 대표적이다. 논리주의는 수학을 논리학의 일부로 치환하려는 노력이었고, 직관주의는 수학이 인간 정신활동의 산물로, 직관적으로 혹은 본능적으로 참으로 여겨지는 명제만이 참인 것으로 인식된다. 마지막으로 형식주의는 수학이 몇 가지 공리로부터 출발해 기호의 기계적인 연역을 통해 체계를 완성할 수 있다는 주장이다.

형식주의 대표적인 옹호자인 독일의 수학자 힐버트(David Hilbert)는 1928년 세계수학자대회(ICM·International Congress of Mathematics)에서 완벽성(Completeness) 무모순성(Consistence) 결정성(Decidability)이 담보되는 수학의 공리체계가 존재할 것이라고 주장했다. 이를 ‘힐버트 프로그램’이라고 한다. 간략히 설명하면, 완벽성은 “모든 참인 명제는 공리로부터 도출될 수 있다”이고, 무모순성은 “공리체계가 모순이 없음은 주어진 공리계 안에서 증명될 수 있다”이며, 결정성은 “항상 명제의 참과 거짓을 결정할 수 있는 알고리즘이 있다”는 것으로 결정문제(Entscheidungsproblem)로 불리운다. 그러나 불행히도 몇 해 지나지 않아 힐버트가 제시한 세 가지 원칙은 모두 가능하지 않음이 증명된다.

먼저, 괴델(Kurt Godel)은 불완전성 정리를 증명해 완벽성과 무모순성이 성립하지 않음을 보였다. 괴델의 불완전성 정리는 그 당시 수학계의 화두였다. 당시 수학의 중심이었던 유럽 유수한 대학의 수학과에서는 괴델의 정리에 관한 강의가 개설되었는데, 영국 케임브리지 대학의 수학자 앨런 튜링(Alan Turing)은 자신만의 독특한 방법으로 힐버트의 결정문제에 관한 해답을 제시했다. 튜링은 ‘튜링머신’이라는 가상의 기계를 고안해, 결정문제에 등장하는 ‘알고리즘’을 이 기계가 계산할 수 있다는 것으로 규정했다. 그는 소위 ‘정지문제(Halting problem)’라는 것은 튜링머신으로 계산될 수 없음을 증명함으로써 힐버트의 결정문제를 풀었다.

튜링머신은 입력할 숫자들을 적을 수 있는 테이프, 이들 숫자를 읽거나 쓸 수 있는 ‘헤드’, 이들의 작동규칙을 결정하는 ‘제어기’ 등 세 가지 구성요소를 가지고 있다. 놀랍게도 이런 각각의 구성요소는 현대컴퓨터에 메모리, 중앙처리장치(CPU) 및 키보드, 모니터와 같은 입출력 장치로 고스란히 재현되고 있다. 이후 튜링은 기계가 계산할 수 있는 것, 즉 기계지능에 관한 연구를 계속해 ‘이미테이션 게임(튜링테스트)’ 같은 인공지능(AI) 연구에 막대한 영향을 끼쳤다. 영란은행은 2019년 새로운 50파운드 지폐의 초상 인물로 튜링을 선정, 그의 업적을 기리고 있다.
튜링머신을 물리적으로 구현한 모델. 영문 위키피디아
■그래프 신경학습과 동형문제

위에서 언급된 서방세계의 앨런 튜링이나 마빈 빈스키, 존 매카시 등이 인공지능 연구의 시초로 여겨지고 있으나, 소련의 인공지능 초기 연구는 알려지지 않았다. 1960년대의 컴퓨터과학의 주요 연구주제 중 하나는 알고리즘의 계산복잡도였다. 즉, 빠른 알고리즘과 그렇지 않은 알고리즘으로 구분하는 연구였다. 다양한 문제가 분류되고 있었으나 실질적으로 중요한 문제였던 그래프 동형문제에 관해서는 빠른 알고리즘이 알려지지 않았다. 그래프는 점과 이를 연결한 선을 추상화한 수학적인 개념인데, 그래프 동형문제란 주어진 두 그래프가 같은 그래프인지를 판별하는 문제다.

당시 소련의 AI 연구소의 젊은 수학자인 바이스 페일러(Boris Weisfeiler)와 레만(Andrey Leman)은 두 그래프가 동형일 필요조건을 계산 가능한 빠른 알고리즘으로 구현했다.

지금은 ‘Weisfeiler-Leman algorithm’으로 불리고 있다. 이 알고리즘은 주어진 그래프의 각각의 점에서 주변의 연결된 점의 정보를 취합하는 과정을 통해 그래프 특성을 파악하는 게 핵심이다. 이런 그래프의 각 점에서 주변의 정보를 취합하고 자신의 정보와 결합하는 ‘Aggregate-Combine’ 방법은 현대 그래프 신경학습의 주된 방법론인 ‘Massage Passing’에 그대로 적용되고 있다.
주어진 두 개의 그래프 G, G’ 출처:Weisfeiler-Lehman Graph Kernels(2011, N. Shervashidze et al)
■수학과 인공지능 연구의 상호 작용

위에서 언급된 바와 같이 최근 딥러닝을 비롯한 인공지능 알고리즘의 초기 연구는 수학의 한 분야였고, 현재도 수학적 원리나 개념을 기반으로 연구되고 있다.

알고리즘이란 용어도 수학에서 출발했고 알고리즘에서 기본적인 서술은 수학적인 기호나 용어로 기술된다. 이렇게 인공지능이나 컴퓨터과학은 수학에서 출발했으나 이후 수학과는 별개로 독립된 연구 분야로 자리매김 했으며 수학과 지속적인 상호작용으로 발전하고 있다.

최근에는 전통적으로 자연과학이나 공학에 널리 활용되는 선형대수학 미적분학 확률론 등의 분야뿐 아니라 수학의 세분된 전문분야인 (편)미분방정식 미분기하 위상수학 등의 순수수학으로 분류되던 수학의 영역까지도 활용돼 딥러닝이나 머신러닝 알고리즘에 적용되고 있다. 또한 반대로 이렇게 개발된 인공지능 알고리즘을 활용해 전통적인 수학 문제를 해결하거나 새로운 수학적 명제를 발견하는 데 도움을 주고 있다.


# 수리연 기하학 활용, 그래프신경망 연구 

기하적 딥러닝의 대상. 출처:‘Geometric Deep Learning Grids, Groups, Graphs, Geodesics, and Gauges’ by Bronstein et al.
19세기 후반 독일의 수학자 클라인(Felix Klein)은 전통적인 유클리드 기하와 18, 19세기를 거쳐 발전되어온 여러 비유클리드 기하를 통합해 기하학의 현대적 의미를 부여했다. 엘랑겐 프로그램(Erlangen program)이라고 말하는 것으로, 클라인은 기하학의 중요한 관점을 대수적인 개념인 군(群) 이론을 활용해 기하적인 대상의 변환불변량에 두어야 한다고 주장했다. 이런 기하학에 관한 관점은 현대적 개념의 기하학에 근간을 이뤄 위상수학 미분기하 대수기학 발전에 초석을 마련했다. 또한 수학뿐만 아니라 에너지의 보존법칙과 대칭성의 관계를 설명하는 뇌터의 정리(Noether’s theorem)를 통해 현대물리학에도 큰 영향을 주었다.

최근 데이터과학의 기계학습 분야에서도 비슷한 시도가 이루어지고 있다. RNN(순환신경망) CNN(합성곱신경망) GNN(그래프신경망) 등의 다양하게 개발된 많은 종류의 기계학습 원리를 기하학의 관점에서 접근해 통합적인 해석을 하려는 움직임이다. 소위 ‘기하적 딥러닝(Geometric deep learning)’이라고 한다.

국가수리과학연구소 응용기하팀은 이런 연구주제 가운데 하나인 그래프 표현론 및 그래프신경망 연구를 진행하고 있다. 현실의 데이터는 엑셀데이터와 같이 숫자의 정형적 구조뿐만 아니라 기하학적인 구조를 가진 그래프나 다양체로 표현되는 경우가 많다. 소셜네트워크 논문네트워크(citation network) 교통망 뇌신경망지도 분자구조 등이 대표적인 예라고 할 수 있다. 연구소는 이런 데이터의 분석을 전통적인 기계학습 방법론을 넘어 위상수학, 기하학 등 심화된 수학 연구와 접목해 기존 인공지능 알고리즘 개선, 기하적 특성을 보존하는 표현학습 알고리즘 개발 및 안정성 증명으로 알고리즘의 신뢰성을 확보하고자 노력하고 있다.

※공동기획:국제신문·국가수리과학연구소
ⓒ국제신문(www.kookje.co.kr), 무단 전재 및 재배포 금지
국제신문 뉴스레터
국제신문 네이버 뉴스스탠드 구독하기
국제신문 네이버 구독하기
뭐라노 뉴스

 많이 본 뉴스RSS

  1. 1부산 오시리아 관광단지 보행육교 22일 개통한다
  2. 2[이준영 기자의 전지적 롯데 시점] 살아난 선발진, 5강 경쟁 다시 불 지폈다
  3. 3내일 취임 100일 윤 대통령 지지율 32.9%..."노무현 배워라"
  4. 4생계 덮친 ‘녹조 쓰나미’… 관광·요식업까지 파랗게 질렸다
  5. 5비극이 된 부부싸움…남편, 아내 살해하고 극단선택(종합)
  6. 6호텔식 조식·앞마당 ‘파크뷰’…오피스텔서 누리는 ‘하이엔드 라이프’
  7. 7‘암 전 단계’ 위축성 위염·장상피화생, 헬리코박터균 만성감염 탓
  8. 8민주 부산시당위원장에 서은숙 “총선승리 이끌 개혁 착수”(종합)
  9. 9“1인 당 2만 원으로 크루즈에서 부산의 야경 즐겨보세요”
  10. 102027년까지 부산 등 지방 대도시에 주택 52만 호 공급된다
  1. 1내일 취임 100일 윤 대통령 지지율 32.9%..."노무현 배워라"
  2. 2민주 부산시당위원장에 서은숙 “총선승리 이끌 개혁 착수”(종합)
  3. 3尹 출근길 소통이 리스크 부메랑…사적채용 논란과 교육정책 혼선도
  4. 4빌게이츠 "한국 영향력 보건공조에 써라"...윤 대통령 면담
  5. 5주호영 "오늘 국힘 비대위원 인선 발표"
  6. 6국민의힘 오늘 비대위원 6명 인선...곧 비대위 체제 전환
  7. 7'이준석 리스크' 활로 될까... 尹, 국힘 연찬회 참석 검토
  8. 8尹, 인적개편론에 "정치득실 문제 아냐, 내실있게 변화 줄 것"
  9. 9첫 추경 받아든 부산시의회 '칼날 검증' 나선다
  10. 10빌 게이츠 만난 윤 대통령 "세계시민 건강 위해 내실있는 협력 기대"
  1. 1부산 오시리아 관광단지 보행육교 22일 개통한다
  2. 2호텔식 조식·앞마당 ‘파크뷰’…오피스텔서 누리는 ‘하이엔드 라이프’
  3. 3“1인 당 2만 원으로 크루즈에서 부산의 야경 즐겨보세요”
  4. 42027년까지 부산 등 지방 대도시에 주택 52만 호 공급된다
  5. 5추경호 "규제지역 추가 해제 추진"…부산 포함 여부 촉각
  6. 6삼성 이재용·롯데 신동빈 사면…부산엑스포 유치전 탄력 기대
  7. 7[뉴프런티어 해양인 열전] <16> 어촌정책 전문가 류청로
  8. 8부산 주택매매가격 2년2개월 만에 하락
  9. 9원-달러 환율 오름세 1310원대 회복..."위험 자산 기피 탓"
  10. 10'카페 노티드' 올 연말 롯데百 부산본점 입점
  1. 1생계 덮친 ‘녹조 쓰나미’… 관광·요식업까지 파랗게 질렸다
  2. 2비극이 된 부부싸움…남편, 아내 살해하고 극단선택(종합)
  3. 3‘노포~정관선’ 1단계 건설 탄력?
  4. 4코로나19보다 무서운 '살인진드기 바이러스' 감염 잇따라
  5. 5수영구 제2평생학습관·체육센터 사업 본궤도
  6. 6"부산시교육청 학업성취도평가 필수 신청 철회하라"
  7. 7오늘부터 추석 열차 승차권 예매 시작...전 좌석 판매 재개
  8. 8부산 강서구서 승합차 불타...내부엔 60대 남성 시신
  9. 9오늘 내일 부울경 시간당 30~150㎜ 물벼락...소강 지역 폭염
  10. 10재미로 도박 손대다 빚지고 범죄자 전락…숨기지 말고 치료해야
  1. 1[이준영 기자의 전지적 롯데 시점] 살아난 선발진, 5강 경쟁 다시 불 지폈다
  2. 2‘한·미·일 2843안타’ 이대호, 이승엽 넘어 최다안타 신기록
  3. 32022 카타르 월드컵 미리 보는 관전포인트 <2> 두 번째 원정 16강 도전
  4. 4꽁꽁 묶인 손흥민, 첼시전 침묵
  5. 5캐나다 교포 신용구, 생애 첫 KPGA 우승…코리안드림 이뤘다
  6. 6투타의 아름다운 조화…롯데 전 날 패배 설욕
  7. 7Mr.골프 <10> 티샷에 유틸리티를 들었다?
  8. 8예열 마친 손흥민, 시즌 첫골 정조준
  9. 9돌아온 털보 에이스, 첫 단추 잘 끼웠다
  10. 10‘월클 점퍼’ 우상혁 아쉬운 2위…바심과 ‘빅2’ 입증
일상 속 수학…산업 속 수학
아픈 사람엔 무슨 도움 될까
난치병 환우에 새 생명을
교통사고 후유증 최영 씨
  • 낙동강 일러스트 공모전
  • 유콘서트
  • Entech2022
  • 2022극지체험전시회
  • 제21회 국제신문 전국사진공모전
걷고 싶은 부산 그린워킹 홈페이지
국제신문 대관안내
스토리 박스