"AI는 도구···'리만 가설' 풀더라도 인간의 결과물로 봐야"

작성일 07-30

<div id="layerTranslateNotice" style="display:none;"></div>  <strong class="summary_view" data-translation="true">[구글 'IMO 금메달' 이끈 韓수학자 정준혁 美 브라운대 수학과 교수]<br>6개 문제 중 5개 완벽하게 풀어<br>1년 후엔 최고난도도 풀이 예상<br>범용언어모델로 성과 거둬 의미<br>韓에 훌륭한 학생들 많이 있지만<br>빅테크 활약 중인 인재 활용 필요</strong> 
        <div class="article_view" data-translation-body="true" data-tiara-layer="article_body" data-tiara-action-name="본문이미지확대_클릭"> 
         <section dmcf-sid="qN66gLval6">
          <figure class="figure_frm origin_fig" contents-hash="9e302469163e359950b21e5c4e41172025d756ceb904bef559ade818654bd1a1" dmcf-pid="BVtt9bg2W8" dmcf-ptype="figure">
           <p class="link_figure"><img alt="사진 제공=구글 딥마인드" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174132626tvxo.png" data-org-width="640" dmcf-mid="Ufsv3tQ0WM" dmcf-mtype="image" height="auto" src="https://img2.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174132626tvxo.png" width="658"></p>
           <figcaption class="txt_caption default_figure">
            사진 제공=구글 딥마인드
           </figcaption>
          </figure>
          <div contents-hash="0665cbba2ab40db7508618758de84cdeaf268ef5dd37d9eb98323fdd45783318" dmcf-pid="bfFF2KaVC4" dmcf-ptype="general">
            [서울경제] 
           <p>구글 딥마인드가 이달 20일(현지 시간) 호주에서 폐막한 IMO 2025에 공식 참가해 6개 문제 중 5개를 완벽하게 풀어 42점 만점 중 35점을 기록해 금메달을 획득했다. 참가자 630명 중 상위 11% 안에 드는 성적이다. 지난해 첫 참가에서 4개 문제를 풀어 은메달을 딴 지 불과 1년 만의 성과다. 오픈AI도 IMO에서 금메달급 성적을 기록했다고 밝혔으나 대회에 정식 참가해 주최 측 공식 채점을 받은 곳은 구글뿐이다.</p>
          </div>
          <figure class="figure_frm origin_fig" contents-hash="8df8947c4652d42a1b2342c3c32389e6dd24607bd2b37d5bee913c18277b5945" dmcf-pid="K433V9Nfyf" dmcf-ptype="figure">
           <p class="link_figure"><img class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174133914cghv.jpg" data-org-width="640" dmcf-mid="ur99dROJyx" dmcf-mtype="image" height="auto" src="https://img1.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174133914cghv.jpg" width="658"></p>
          </figure>
          <div contents-hash="fd564c2cc3af55e454ba8b8d7919b53c9eb291cecdd3e77efdd5b07fb7bc60b5" dmcf-pid="9800f2j4SV" dmcf-ptype="general">
           <p>정준혁 미국 브라운대 수학과 교수 겸 구글 딥마인드 방문연구원은 최근 서울경제신문과의 인터뷰에서 “각국에서 가장 높은 수준의 추론·계산 능력을 지닌 학생들을 위해 열리는 IMO에서 일반 언어 인공지능(AI) 모델로 금메달을 기록했다는 것은 1년 새 상상을 초월하는 발전이 있었다는 의미”라고 설명했다. 정 교수는 정수론 연구자로 고등과학원 허준이수학난제연구소 키아스 스칼러(KIAS Scholar)이기도 하다. 지난해부터 구글 딥마인드 AI 추론 개선과 IMO 프로젝트에 참여해 학습 데이터 큐레이팅 및 AI 성능평가를 이끌고 있다.</p>
          </div>
          <p contents-hash="05bc89255fa37c6b795e4a0ba33027d9861f4710f1470da65a2b41dd6da57277" dmcf-pid="26pp4VA8h2" dmcf-ptype="general">정 교수는 “1년 전 만해도 AI는 딸기(strawberry)라는 단어에 포함된 알파벳 ‘R’의 개수조차 셀 수 없을 정도로 추론과 연산이 터무니없이 약했다”며 “발전 속도를 감안할 때 1년 후에는 AI가 최고 수준 수학 문제풀이에서도 학자들의 ‘컴패니언(동반자)’이 될 수 있을 것”이라고 예상했다.</p>
          <p contents-hash="734bf10e87385ca7f8703e822ca375f80dd2cc54be0a3096b7e7b8db9c01139a" dmcf-pid="VPUU8fc6y9" dmcf-ptype="general">실제로 세부 사항을 들여다보면 점수보다 놀라운 발전이 읽힌다. 지난해 구글은 수학·기하학 전용 모델인 ‘알파프루프’와 ‘알파지오메트리’로 IMO에 도전했다. 올해 사용한 모델은 일반 언어 모델에 고급 추론 기능을 더한 ‘제미나이 딥싱크’다. 수학 외 범용 과학 연구에 활용할 수 있음을 뜻함과 동시에 곧 일반 사용자들도 ‘IMO 금메달급 AI’를 누릴 수 있다는 의미다. 정 교수는 “수학 전용 모델은 수식과 프로그래밍 언어 같은 ‘형식 언어’로 추론해 환각(할루시네이션)이 없는 대신 다룰 수 있는 문제가 한정돼 있다”며 “환각이 심하지만 자연어로 기술할 수 있는 모든 문제에 접근 가능한 범용 언어 모델로 거둔 성과라 의미가 크다”고 설명했다.</p>
          <figure class="figure_frm origin_fig" contents-hash="9a14a2300f64312a2aa797e07e8ab333c1cf9b808a56ac7695f677854eccb1fe" dmcf-pid="fQuu64kPSK" dmcf-ptype="figure">
           <p class="link_figure"><img alt="정준혁(왼쪽) 브라운대 수학과 교수와 IMO 2025에 참여한 동료들. 사진 제공=정준혁 교수" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174135209pelg.jpg" data-org-width="640" dmcf-mid="7V00f2j4CQ" dmcf-mtype="image" height="auto" src="https://img3.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174135209pelg.jpg" width="658"></p>
           <figcaption class="txt_caption default_figure">
            정준혁(왼쪽) 브라운대 수학과 교수와 IMO 2025에 참여한 동료들. 사진 제공=정준혁 교수
           </figcaption>
          </figure>
          <div contents-hash="160a5b7defb077842e2923cd7c4f50473fcb4482f3b5e747d3a3734d3f913598" dmcf-pid="4x77P8EQWb" dmcf-ptype="general">
           <p>풀이 과정도 인상적이다. 구글 딥마인드 AI는 IMO 참가자와 동일한 하루 4시간 30분의 풀이 시간을 부여받았으나 주어진 시간을 모두 쓰지 않고도 1장가량의 ‘간단한’ 답안지를 내놓았다. 문제 풀이 동안 외부 문헌 참조를 금지했고 IMO 2003 금메달리스트인 정 교수를 비롯한 유경험자들의 ‘노하우’를 학습하지도 않았다. ‘증명은 간결해야 한다’는 명령에 따라 창의적인 방안을 내놓기도 했다.</p>
          </div>
          <p contents-hash="6d26b8e4f18d21f09e7309fc6c93c10a4a96461aa9b8b1b3cc18b128fe144eaf" dmcf-pid="8MzzQ6DxWB" dmcf-ptype="general">정 교수는 AI가 사람이 쓰지 않을 법한 아이디어를 종종 내놓는다며 3번 문제 풀이 방식을 예로 들었다. 그는 “디리클레 정리(소수가 특정 규칙 속에서 예측 가능하게 나타난다는 정리)를 사용하는 게 일반적이나 문제 풀이에 너무 큰 개념이었다”며 “AI는 풀이에 필요한 경우만 찾아 ‘자체 완비 증명(타 문헌을 찾아볼 필요가 없는 증명)’을 해내 IMO 회장으로부터 경이롭다(astonishing)는 평가를 받았다”고 말했다.</p>
          <p contents-hash="f396958318c8b17ebcfcc25fcfd267d72166677a1c14bfdd6dbc3825dbacaf42" dmcf-pid="6RqqxPwMvq" dmcf-ptype="general">AI가 완벽하지만은 않다. 가장 어려운 6번째 문제를 풀지 못했음은 물론 조합 등 특정 유형에서는 약한 모습을 보이기도 한다. 정 교수는 “조합에 약한 건 반은 맞고 반은 틀린 얘기”라며 “조합은 유형이 많아 낯선 문제를 어려워하는 건 자연스럽다”고 했다. 그는 농담 섞어 “AI가 한국식 암기 학습법을 떠올리게 한다”며 “AI는 작은 정보로 새로운 지식을 창출하는 것을 힘들어한다”고 설명했다.</p>
          <figure class="figure_frm origin_fig" contents-hash="51b4e5040265b1a350e6438548a913bcd7d113cb4c35aceabbf2ba51c3c1d310" dmcf-pid="Pg44Lilolz" dmcf-ptype="figure">
           <p class="link_figure"><img alt="정준혁 브라운대 수학과 교수. 사진 제공=정준혁 교수" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174136610jrgi.jpg" data-org-width="557" dmcf-mid="zXHHzuJqCP" dmcf-mtype="image" height="auto" src="https://img3.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202507/30/seouleconomy/20250730174136610jrgi.jpg" width="658"></p>
           <figcaption class="txt_caption default_figure">
            정준혁 브라운대 수학과 교수. 사진 제공=정준혁 교수
           </figcaption>
          </figure>
          <div contents-hash="c55ba8858894cf7077f118d287cb21c6be1def33d4e6774f299593d8aee50bc4" dmcf-pid="Qa88onSgW7" dmcf-ptype="general">
           <p>AI의 IMO 참가를 냉소적인 시선으로 보는 학자들도 많다. 29세에 필즈상을 받은 테런스 타오 UCLA 교수는 “무제한의 풀이 시간과 계산·검색력을 지닌 AI와 인간을 단순 비교하면 안 된다”고 비판했다. 정 교수 또한 AI는 기본적으로 ‘도구’여야 한다는 입장이다. 그는 “언젠가 인류가 리만 가설의 풀이를 보게 된다면 그건 AI를 활용한 인간의 결과물일 것”이라며 “AI와 인간 각각의 존재보다는 AI와 인간의 결합이 더욱 강력할 것이라고 생각한다”고 말했다. 이어 “AI 또한 인간에게 가장 적합한 도구를 만드는 방향으로 개발돼야 한다”고 덧붙였다. 아울러 일반인공지능(AGI)에 대해서도 “수십년이 지나도 인간은 AI가 대답하지 못하는 바보 같은 질문을 찾아내고 ‘이건 AGI가 아니다’라고 주장할 것”이라고 했다.</p>
          </div>
          <div contents-hash="0dea499e5ab1d2c1fb8b9c9ab30242045996af50f3db7f7bb46465b613b961c5" dmcf-pid="xN66gLvaTu" dmcf-ptype="general">
           <p>구글의 IMO 2025 금메달 수상 발표문에는 유난히 한국인의 이름이 많이 보인다. 실제 이번 IMO 프로젝트에 참여한 120명 중 한국계가 30명에 달한다. 대부분 서울대·KAIST 등에 재학 중인 한국 IMO 대표 출신들로 정 교수의 ‘인맥’이 작용했다고 한다. 올해 한국 대표단은 금메달 5개, 은메달 1개로 전체 3위를 기록하기도 했다. 정 교수는 한국에 훌륭한 인재들이 많다며 육성보다 활용에 집중해야 한다는 의견을 남겼다. 그는 “지금부터 기초과학·AI 인재를 육성해서는 하루가 다르게 바뀌는 환경에 대응할 수 없다. 이미 빅테크와 글로벌 학계에서 활약 중인 인재들을 제대로 활용할 구체적인 아이디어가 필요하다”며 “2003년 출전 당시에는 한국이 IMO 3위에 드는 게 힘든 목표 같았다. 똑똑한 요즘 학생들에게 자신감을 줘야 한다”고 말했다.</p> 실리콘밸리=윤민혁 특파원 beherenow@sedaily.com
          </div>
         </section> 
        </div> 
        <p class="" data-translation="true">Copyright © 서울경제. 무단전재 및 재배포 금지.</p>

이전

글로벌 접수 ‘파인: 촌뜨기들’… 류승룡 ‘진가’ 빛나

07-30
다음

최종현학술원·한국고등교육재단, SKT AI 컨소시엄과 협력키로

07-30

등록된 댓글이 없습니다.

로그인한 회원만 댓글 등록이 가능합니다.

먹튀폴리스

"AI는 도구···'리만 가설' 풀더라도 인간의 결과물로 봐야"

멤버랭킹

관련자료

멤버랭킹