오픈AI “차기 모델 ‘아스트라’, 수학 난제 10개 풀었다” 작성일 08-02 42 목록 <div id="layerTranslateNotice" style="display:none;"></div> <strong class="summary_view" data-translation="true">美 정책·규제 당국에 먼저 시연…출시는 미정</strong> <div class="article_view" data-translation-body="true" data-tiara-layer="article_body" data-tiara-action-name="본문이미지확대_클릭"> <section dmcf-sid="xWrIrdJ6CB"> <figure class="figure_frm origin_fig" contents-hash="9f334f7fa06ae86b3da7bcf337fc5996039f6351ae4de7425cfbaf2259962978" dmcf-pid="yJV6V1tWTq" dmcf-ptype="figure"> <p class="link_figure"><img alt="챗GPT로 그린 일러스트." class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202608/02/dt/20260802141709083mzue.png" data-org-width="640" dmcf-mid="Qq6M60pXCb" dmcf-mtype="image" height="auto" src="https://img4.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202608/02/dt/20260802141709083mzue.png" width="658"></p> <figcaption class="txt_caption default_figure"> 챗GPT로 그린 일러스트. </figcaption> </figure> <p contents-hash="33329e563093c379a4ecffe2a94e41c6e790f7dc4e330fd8235df0d94601494c" dmcf-pid="WifPftFYWz" dmcf-ptype="general"><br> 오픈AI는 자사 차세대 인공지능(AI) 모델 ‘아스트라’(Astra)가 수학과 이론 컴퓨터과학 분야 미해결 문제 10건에서 새로운 결과를 도출했다고 1일(현지시간) 발표했다. 새 모델에 대한 세부사항이나 출시 시점 등은 아직 공개되지 않았다.</p> <p contents-hash="80ab535c98fc549ee52ec6c400d9828fda5e06f56009025e2c1c1190f5108796" dmcf-pid="Yn4Q4F3Gv7" dmcf-ptype="general">전날 디인포메이션은 샘 올트먼 오픈AI 최고경영자(CEO)가 워싱턴 D.C.에서 정책·규제 당국자들에게 아스트라를 시연했다고 3명의 소식통을 인용해 보도한 바 있다. 이 자리에선 여러 AI에이전트가 수시간~수일간 협업해 난제를 푸는 능력이 강조된 것으로 전해졌다. 이어 이날 회사가 새로운 모델의 존재를 공식적으로 인정한 것이다.</p> <p contents-hash="9b7176214dd1ab3e5c4be39f861cc09094bb03db34dc5214fb6f95289acdd159" dmcf-pid="GL8x830Hlu" dmcf-ptype="general">아스트라가 다룬 문제들은 최소 10년 이상 핵심 결과에 진전이 없던 상태였다. 오픈AI의 이번 행보는 정답이 알려진 벤치마크를 넘어 AI가 연구 최전선에서 독창적 논증을 만들 수 있음을 보이려는 시도로 보인다. 트럼프 대통령이 지난 6월 내린 행정명령에 따라 미국 정부의 사전검토 절차를 거치는 첫 프런티어 AI 모델이 될 것으로도 알려졌다.</p> <p contents-hash="de8a4e0e6a97b09d5ea64f87deb4a2247f2435a83a582b4dc4bfca5a571d29f0" dmcf-pid="Ho6M60pXWU" dmcf-ptype="general">오픈AI와 주요 외신 등에 따르면 이번 성과는 고차원 기하학, 부호 이론, 산술회로 복잡도, 군론, 작용소 대수, 양자 복잡도, 격자 암호, 극값 조합론에 걸쳐 있다. 대표적으로, 유한 순열로 근사되지 않는 ‘비(非)소픽 군’을 명시적으로 구성했다. 1999년 미하일 그로모프가 개념을 제시한 이래 27년간 미해결로 남아 있던 군론의 핵심 질문이다.</p> <p contents-hash="3ac8774d818803309c778c3f113466a635a64f35c187b1fa7e177dfc6bf33e65" dmcf-pid="XgPRPpUZSp" dmcf-ptype="general">특정 군이 그 군의 폰 노이만 대수로 결정된다는 ‘콘의 강성 추측’에는 반례를 제시했고, 고차원 구(球) 채우기 밀도 상한은 1978년 이후 처음 개선했다고 주장했다. 에르되시 문제 146·180·183번도 해결목록에 올랐다. 양자내성암호(PQC)와 직결되는 ‘최근접 벡터 문제’의 근사 난도, 계산의 근본 한계에 관한 산술회로 하한도 포함됐다.</p> <p contents-hash="75358a2716fb721710dde31f2d52d0e146e2be83a7ab06e7f3e60f44ceb3e841" dmcf-pid="ZaQeQUu5S0" dmcf-ptype="general">오픈AI는 249쪽 분량의 논문과 그 과정에 대한 62쪽짜리 해설, 각 논증을 증명보조기 ‘린’(Lean)으로 형식화한 기계검증 인증서를 공개했다. 이 10개 해답 탐색에 쓰인 토큰은 자사 ‘GPT-5.6 솔(Sol)’의 응용프로그램인터페이스(API) 요금 기준으로 약 2000달러(약 290만원)어치라고 밝혔다. 이는 추론 토큰만 환산한 값으로, 모델 학습비용이나 문제선정·논문작성에 든 인건비 등은 빠져 있다.</p> <p contents-hash="50d6243d537ff3550bdc59116ad56c388331358d56a8b32efa2eb5e120f71178" dmcf-pid="5Nxdxu71h3" dmcf-ptype="general">오픈AI는 지난 5월에도 미공개 모델이 80년 된 에르되시 ‘단위거리 추측’을 반증했다고 공개한 바 있다. 에르되시 문제 데이터베이스(DB)를 운영하는 토머스 블룸 영국 맨체스터대 교수는 이번 결과를 두고 소셜미디어 엑스(옛 트위터)에 “빅뉴스”라며 “(앞선 성과보다) 더 중요한 것으로 평가하고 싶다”고 말했다. 노엄 브라운 오픈AI 연구원은 “과학적 추론의 중대한 진전”이라면서도 “안타깝게도 밀레니엄 문제는 (아직) 없다”고 덧붙였다.</p> <p contents-hash="c2f7924f0d964e23df1dd7af09d5df52c2e932aa1eb872476eeac242e373d2e1" dmcf-pid="1jMJM7ztSF" dmcf-ptype="general">다만, 이번 발표가 학계의 독립 검증을 모두 마쳤다는 뜻은 아니다. 린 인증서는 형식화된 명제가 주어진 전제에서 논리적으로 도출되는지 기계적으로 확인해줄 뿐이라, 여전히 전문가의 독립적인 검토를 필요로 한다.</p> <p contents-hash="10c26bdb7bb441054317feb1dc8907e6edba61225b82089a0caeeb065a4249d3" dmcf-pid="tARiRzqFWt" dmcf-ptype="general">AI 수학 경쟁은 올림피아드형 문제에서 실제 연구 난제로 이동하고 있다. 구글 딥마인드는 수학 연구 에이전트 ‘알레테이아’를 앞세워 공개 문제 해결 사례를 내놓고 있다. 앤스로픽 직원이자 하버드대 수학자인 레벤트 알푀게는 지난달 ‘클로드 페이블 5’를 활용해 1939년 제기된 야코비안 추측의 반례를 찾기도 했다. 오픈AI는 올 9월까지 연구 인턴 수준의 AI를, 2028년 3월까지 완전 자율 AI 연구자를 내놓겠다는 목표를 제시한 바 있다.</p> <p contents-hash="a26b6785c37e0c51d4f8eb50c4ad2556a0a3d38b863e8b8e0eaf9d1ce77484f0" dmcf-pid="FceneqB3C1" dmcf-ptype="general">팽동현 기자 dhp@dt.co.kr</p> </section> </div> <p class="" data-translation="true">Copyright © 디지털타임스. 무단전재 및 재배포 금지.</p> 관련자료 이전 中 CXMT, LPDDR6 개발 막바지… 차세대 모바일 D램 시장 ‘도전장’ 08-02 다음 문경오미자씨름대회 금강장사는 최정만…개인 통산 26번째 08-02 댓글 0 등록된 댓글이 없습니다. 로그인한 회원만 댓글 등록이 가능합니다.
