오픈AI가 8월 1일 차세대 주력 모델 패밀리 이름으로 ‘아스트라(Astra)’를 공식 확인했다. 아직 제품화 전 단계지만, 이 시스템은 수학 문제 10개를 해결했다는 연구 결과와 함께 존재가 처음 드러났다. 발표 시점은 **앤스로픽(Anthropic)**의 클로드 오퍼스 5(Claude Opus 5) 출시 직후다.
핵심 포인트
- 오픈AI는 8월 1일 발표한 연구 보고서에서, 10개의 미해결 수학 문제를 풀어낸 내부 모델의 이름이 ‘아스트라’라고 밝혔다.
- 아스트라는 여러 에이전트를 장시간 하나의 문제에 투입하는 구조로, 아직 출시 일정과 상용 계획이 공개되지 않았다.
- 클로드 오퍼스 5는 7월 24일 출시됐으며, 100만 토큰 문맥창을 제공하면서 100만 입력 토큰당 5달러, 출력 토큰당 25달러를 책정했다.
오픈AI 아스트라: ‘속도’가 아닌 ‘장기 추론’에 방점
오픈AI는 한 연구 포스트를 통해, 내부 버전의 아스트라가 최소 10년 이상 풀리지 않았던 수학·이론 컴퓨터과학 난제 10개에 대해 해법을 제시했다고 공개했다. 문제 영역은 고차원 기하, 코딩 이론, 양자 복잡도 이론 등으로 넓게 걸쳐 있으며, 비소픽(non‑sofic) 군의 존재를 입증하는 증명도 포함돼 있다.
아스트라의 차별점은 ‘한 번에 빨리 풀기’가 아니라 ‘오래 붙들고 늘어지는 능력’이다. 다수의 에이전트를 한 문제에 수 시간에서 수일 동안 투입해, 장기적인 추론과 탐색을 병렬로 조정하는 구조라는 설명이다.
앞서 일부 보도는 아스트라를 솔(Sol), 테라(Terra), 루나(Luna)와 같은 내부 모델 패밀리 옆에 위치시키며, 출시 일정은 물론 ‘GPT‑6’ 혹은 ‘GPT‑5.7’ 같은 브랜드 레이블 여부도 미정이라고 전했다. 샘 알트먼(Sam Altman) 최고경영자(CEO)는 워싱턴 정계 인사들에게 아스트라를 시연했으며, 이 라인업이 향후 미국 연방정부가 도입하려는 사전 승인 프레임워크의 첫 적용 대상이 될 가능성이 크다는 관측이 나온다.
관련 기사: AI 인프라, 급전이 필요한 대부업체의 10억달러 데이터센터 베팅
클로드 오퍼스 5: 가격·성능 모두 ‘수치로’ 제시
앤스로픽은 7월 24일 발표를 통해 클로드 오퍼스 5를 정식 출시했다. 가격은 100만 입력 토큰당 5달러, 출력 토큰당 25달러로, 기존 오퍼스 4.8과 동일한 레이트다. 해당 모델은 인공지능 평가 지수인 Artificial Analysis Intelligence Index에서 61점을 기록하며, 태스크당 비용 기준으로는 Fable 5의 절반 수준에 그친다.
오퍼스 5는 100만 토큰(context) 문맥창을 지원하고, 한 번에 최대 12만8,000 토큰까지 출력을 제공한다. 표준 벤치마크에서도 성과가 뚜렷하다. ARC‑AGI‑3에서 30.2%를 기록해 기존 공개 모델 대비 약 3배 높은 점수를 냈고, 최대 난도 설정 기준 Terminal‑Bench 2.1에서는 89.1%를 달성했다.
앤스로픽 대변인은 잠재 고객에게, 본격 도입 전 “하나는 명확히 범위가 정해진 단기 태스크, 다른 하나는 장기적인 목표를 가진 업무 흐름에 대해 여러 모델을 병행 테스트해 볼 것”을 권고했다.
시장의 시선: ‘완제품’ 클로드 vs ‘연구 성과’ 아스트라
아스트라는 아직 가격표도, 공식 벤치마크도, 외부 검증도 없다. 기업 입장에서는 이미 출하된 상용 모델과, 논문으로만 존재감을 드러낸 연구용 시스템을 저울질해야 하는 상황이다.
맨체스터대 수학자 **토머스 블룸(Thomas Bloom)**은 X에서 아스트라의 10개 성과를 “정말 큰 뉴스”라고 평가하며, 오픈AI가 이전에 제시했던 증명들보다 한 단계 위에 놓일 만한 결과라고 언급했다.
다만 블룸은 “수학자를 대체한다”는 식의 과장된 해석에는 선을 그었다. 모델은 결국 사람들이 만들고, 수학자들이 써 온 모든 결과를 학습한 도구에 불과하다는 것이다. 오픈AI 연구자 노엄 브라운(Noam Brown) 역시, 이번 성과가 밀레니엄 난제와 같은 최고 난이도 문제를 건드린 것은 아니며, 개별 문제에 투입된 자원도 그리 크지 않았다고 밝혔다.
인지과학자 **게리 마커스(Gary Marcus)**는 이번 수학 결과가 “실질적인 돌파구인 것은 맞지만, ‘수학을 정복했다’는 식으로 지나치게 포장돼 있다”고 평가했다.
이번 발표는 같은 ‘장기 추론’ 계열에서 올 5월에 나온 또 다른 성과의 연장선에 있다. 당시 오픈AI 팀은 80년간 풀리지 않았던 이산기하학 난제인 에르되시 단위거리 추측을 반박하는 결과를 내놓았다. 필즈상 수상자 **팀 가워스(Tim Gowers)**는 그 증명에 대해, “망설임 없이 Annals of Mathematics(수학의 연보)에 게재를 추천하겠다”고 말한 바 있다.
