오픈AI 차세대 모델 ‘아스트라’... “수학 난제 10개 풀었다” 작성일 08-03 30 목록 <div id="layerTranslateNotice" style="display:none;"></div> <strong class="summary_view" data-translation="true">군론·양자컴퓨팅·암호학 등<br>최소 10년 이상 미해결 문제 포함<br>AI가 아이디어, 사람은 논문 정리</strong> <div class="article_view" data-translation-body="true" data-tiara-layer="article_body" data-tiara-action-name="본문이미지확대_클릭"> <section dmcf-sid="8Dzl9tFYhz"> <figure class="figure_frm origin_fig" contents-hash="d5883cbdc787c9c3ea923b21a9a4ad10bac31598d494a567093088f968931667" dmcf-pid="6wqS2F3Gy7" dmcf-ptype="figure"> <p class="link_figure"><img alt="오픈AI 차세대 모델 ‘아스트라’... “수학 난제 10개 풀었다” [그림=챗GPT]" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202608/03/mk/20260803092405770oclf.png" data-org-width="700" dmcf-mid="468ZMBb0vq" dmcf-mtype="image" height="auto" src="https://img3.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202608/03/mk/20260803092405770oclf.png" width="658"></p> <figcaption class="txt_caption default_figure"> 오픈AI 차세대 모델 ‘아스트라’... “수학 난제 10개 풀었다” [그림=챗GPT] </figcaption> </figure> <div contents-hash="d1d8a5de97c03679f6e5dca7e1f012a22e045e7dff1d4d681222aa79a344ca53" dmcf-pid="PrBvV30Hhu" dmcf-ptype="general"> 챗GPT 개발사 오픈AI가 차세대 인공지능(AI) 모델 ‘아스트라(Astra)’를 앞세워 수십 년간 풀리지 않았던 수학·이론컴퓨터과학 난제 10개의 새로운 해법을 제시했다. 정답이 이미 알려진 시험을 푸는 수준을 넘어 학계의 미해결 연구 문제에서 새로운 결과를 내놓았다고 주장하면서 AI가 연구자의 역할까지 넘보고 있다는 평가가 나온다. </div> <p contents-hash="edba83122e32adf0a8984bd3e47cfbaa60ffd3ce39db5b00d37a8e303c273e31" dmcf-pid="QmbTf0pXWU" dmcf-ptype="general">오픈AI는 2일(현지시간) 내부 시험 중인 아스트라가 최소 10년 이상 핵심 진전이 없었던 오픈 문제 10개를 해결했다고 발표했다. 대상은 고차원 기하학과 코딩 이론, 군론, 산술 회로 복잡도, 양자 복잡도, 격자 기반 암호학, 그래프 이론 등 현대 수학과 이론컴퓨터과학의 대표 난제들이다.</p> <p contents-hash="2e35fd2e6d29260e158f9212791282cdc78cf7543035bc9f5e52ad2ecb13229e" dmcf-pid="xsKy4pUZWp" dmcf-ptype="general">이번 성과에는 비소픽(non-sofic) 군의 존재 증명, 콘스의 강직성 추측 반례, 최근접 벡터 문제(CVP)의 근사 난이도 증명, 일반 양자 게임의 병렬 반복 정리, 다색 램지 수의 새로운 하한 등이 포함됐다. 최근접 벡터 문제는 양자컴퓨터 시대를 대비한 격자 기반 암호의 핵심 문제로 꼽히며 산술 회로 복잡도와 램지 수 역시 수십 년 동안 세계 연구자들이 도전해온 대표적인 난제다.</p> <p contents-hash="207d94fb31b1fed69708a03883ecad8480f8ea6f53f8e2d1e82e9d9d31b02a0f" dmcf-pid="yS8ZMBb0v0" dmcf-ptype="general">오픈AI는 AI가 먼저 수학적 논리를 생성한 뒤 연구진이 이를 논문 형태로 정리했으며 이후 수학 증명 검증 시스템인 ‘린(Lean)’으로 모든 논리를 형식 검증했다고 설명했다. 각 결과에 대해서는 AI가 어떤 과정을 거쳐 해법을 도출했는지 보여주는 ‘추론 워크스루(reasoning walkthrough)’도 함께 공개했다.</p> <p contents-hash="968340d211c6f486255c7bd5ec8e2d24dafbc2b89a79533e250a41fced8f0e84" dmcf-pid="Wv65RbKpl3" dmcf-ptype="general">또 이번 연구에 사용된 전체 토큰 비용은 현재 GPT-5.6 ‘솔(Sol)’ API 이용 요금 기준 약 2000달러(약 290만원)에 불과했다고 밝혔다. 복잡한 수학 연구도 비교적 낮은 비용으로 수행할 수 있음을 보여주는 사례라는 설명이다.</p> <p contents-hash="be0fb6bd2f8fb5f96ec25fb337693da97fd0d721f40bad4c9d56d790623701f6" dmcf-pid="YTP1eK9UTF" dmcf-ptype="general">오픈AI는 AI 연구 윤리에 대해서도 입장을 밝혔다. 오픈AI는 “AI가 생성한 증명을 인간 연구자의 성과인 것처럼 발표하는 것은 실제 연구 과정을 왜곡하는 것”이라며 “논문 작성은 사람이 수행했지만 수학적 아이디어와 논증 자체는 AI 시스템이 생성했다”고 밝혔다. 이어 “증명의 정확성은 오픈AI가 책임진다”고 덧붙였다.</p> <p contents-hash="374ef3484d0efa5db30e439c80c01b8f2f180b24e0aaf9430d6a33659c2781d9" dmcf-pid="GyQtd92ult" dmcf-ptype="general">이와 관련해 샘 올트먼 오픈AI 최고경영자(CEO)는 최근 미국 워싱턴DC에서 정관계 인사와 규제 당국자를 대상으로 아스트라를 직접 시연했다고 정보기술(IT) 전문매체 더인포메이션이 보도했다. 올트먼 CEO는 여러 AI 에이전트가 장기간 협력해 복잡한 연구 문제를 해결하는 능력이 아스트라의 핵심이라고 설명한 것으로 전해졌다.</p> <p contents-hash="b371b11de07d879f1cd2d31a34fc5e42b6a13f23c8eb1a9e0a7f4651b03e595d" dmcf-pid="HWxFJ2V7S1" dmcf-ptype="general">오픈AI는 최근 GPT-5.6을 출시하며 ‘솔(Sol)’, ‘테라(Terra)’, ‘루나(Luna)’ 등 천체 이름을 세부 모델명으로 사용했다. 이에 따라 아스트라 역시 같은 계열의 신규 모델일 가능성이 제기된다. 다만 GPT-5 시리즈의 추가 모델인지, GPT-6로 출시될지는 아직 공개되지 않았다. [실리콘밸리 원호섭 특파원]</p> </section> </div> <p class="" data-translation="true">Copyright © 매일경제 & mk.co.kr. 무단 전재, 재배포 및 AI학습 이용 금지</p> 관련자료 이전 우리금융, 금융그룹 첫 AI 모의해킹 도입…티오리 '진트' 공급 08-03 다음 윤곽 드러나는 국가대표AI…독파모 2차 평가 ‘결전의 달’ 08-03 댓글 0 등록된 댓글이 없습니다. 로그인한 회원만 댓글 등록이 가능합니다.
