패밀리 사이트
아주일보
베트남
회원서비스
로그인
회원가입
지면보기
오픈AI '아스트라', 10년 묵은 수학 난제 10개 풀었다
기사 읽기 도구
공유하기
기사 프린트
글씨 크게
글씨 작게
2026.08.03 월요일
구름 서울 36˚C
맑음 부산 30˚C
흐림 대구 37˚C
구름 인천 30˚C
구름 광주 37˚C
맑음 대전 32˚C
흐림 울산 32˚C
흐림 강릉 27˚C
흐림 제주 32˚C
IT

오픈AI '아스트라', 10년 묵은 수학 난제 10개 풀었다

기자정보, 기사등록일
선재관 기자
2026-08-03 10:45:58

토큰비용 2000달러로 산술회로·군론 등 해결

올트먼, 워싱턴 정관계 인사에 직접 시연

GPT-5.6 세 번째 티어 '솔' 다음 자리 유력

오픈AI 사진로이터연합뉴스
오픈AI [사진=로이터연합뉴스]

[경제일보] 오픈AI가 챗GPT를 이을 차세대 AI 모델 '아스트라'의 존재를 처음 공식화했다. 2일(현지시간) 오픈AI는 자사 뉴스룸을 통해 아스트라 내부 버전이 최소 10년, 대부분은 그보다 훨씬 오래 별다른 진전이 없었던 수학·이론전산학 난제 10개를 풀었다고 밝혔다.

이번에 다뤄진 난제는 고차원 구체 채우기, 부호 이론, 산술회로 복잡도, 군론, 연산자 대수, 양자 복잡도, 격자 암호, 극값 조합론 등 8개 분야에 걸쳐 있다. 성과는 단일한 형태가 아니다. 오픈AI에 따르면 10개 중 4개는 새로운 증명, 3개는 반례, 3개는 기존 한계치 개선이다. 

비소픽군의 첫 구성, 폰노이만 대수에 관한 '콘 경직성 추측' 반증, 폴 에르되시가 제시한 문제 목록 중 다색 램지 수를 다룬 183번을 포함한 3개 문제 해결이 대표적이다. 1978년 이후 처음으로 고차원 구체 채우기 밀도의 상한을 개선했고 2인용 양자 게임에 대한 병렬 반복 정리도 증명했다. 오픈AI는 이 논리를 수학 증명 검증 도구 '린(Lean)'으로 규격화해 기계적으로 검증 가능한 형태로 함께 공개했다.

오픈AI는 아스트라가 해법을 찾는 데 쓴 전체 토큰 비용을 GPT-5.6 최상위 티어 '솔' API 요금으로 환산하면 약 2000달러, 우리 돈 290만원 수준이라고 설명했다. 아스트라가 만든 수학적 논증은 이후 같은 모델의 도움을 받은 인간 연구자들이 정식 논문 형태로 다듬었고 린 검증을 거쳤다.

◆ 올트먼, 워싱턴서 정관계 인사에 시연

디인포메이션에 따르면 샘 올트먼 오픈AI 최고경영자(CEO)는 이번 주 워싱턴DC를 찾아 아스트라를 정책 입안자와 규제 당국자들에게 직접 시연했다. 

수지 와일스 백악관 비서실장, 스콧 베선트 재무장관, 하워드 러트닉 상무장관을 만났고 마크 워너(민주·버지니아), 라파엘 워녹(민주·조지아), 버니 모레노(공화·오하이오) 상원의원 등 여야 의원들과도 접촉했다. 올트먼 CEO는 여러 에이전트를 동시에 띄워 조율하고 장시간 결과물을 종합하는 능력이 아스트라의 핵심이라고 설명했다.

오픈AI는 최근 GPT-5.6을 내놓으며 최상위 '솔', 중간 '테라', 경량 '루나'로 이어지는 3단 체계를 도입했다. 아스트라가 이 체계에 추가되는 티어인지, GPT-6이라는 별도 세대로 나올지는 아직 정해지지 않았다. '아스트라'라는 이름 자체도 잠정적이라고 디인포메이션은 전했다.

한편 아스트라는 트럼프 대통령이 지난 6월 2일 서명한 행정명령에 따른 규제 체계를 적용받는 첫 모델이 될 가능성이 거론된다. 다만 이 체계는 의무 인허가가 아니라 프런티어 모델 개발사가 정부에 최장 30일간 사전 접근권을 자율적으로 제공하는 자발적 절차다. 관련 세부 기준은 재무부와 국가안보국, 사이버보안·인프라보안청, 국립표준기술연구소가 이달 1일까지 확정하도록 돼 있어 아스트라 실제 적용 여부와 시점은 알려지지 않았다.


0개의 댓글
0 / 300
댓글 더보기
포스코
하이닉스
여신금융협회
넷마블
올리브영
메리츠증권
부영그룹
태광
위메이드
효성
키움증권
한화
국민카드
신한라이프
농협
한국자산운용
롯데
우리금융
빙그레
SK증권
fnf
미래에셋자산운용
신한투자
KB국민은행
다음
이전
댓글을 삭제 하시겠습니까?
닫기
로그인 후 댓글작성이 가능합니다.
로그인 하시겠습니까?
닫기
기사 이미지 확대 보기
닫기