오픈AI가 새로운 핵심 모델 패밀리 **‘아스트라(Astra)’**를 공개했다. 정식 출시나 데모 대신, 10개의 난제 수학 문제를 풀었다는 연구 성과를 통해서다. 한편 중국발 오픈웨이트 경쟁사들은 글로벌 AI 트래픽에서 토큰 점유율을 빠르게 넓히고 있다.
핵심 포인트
- 오픈AI는 8월 1일, 최소 10년 이상 미해결로 남아 있던 10개 수학·이론컴퓨터과학 문제의 해법을 제시했다며 연구 게시글을 통해 아스트라를 처음 공개했다.
- 모델 출시 일정도, 최종 명칭도 확정되지 않았고, 이용자에게 제공되기 전 새로운 연방 규제 심사를 통과해야 한다.
- 라우팅 기준 토큰 비중은 이제 중국 오픈웨이트 모델이 다수를 차지하지만, 실제 비용 지출의 거의 전부는 여전히 미국 연구소들이 가져가고 있다.
아스트라, 10개 미해결 수학 문제 제압
오픈AI는 이번 모델을 제품 발표회가 아닌, 수학 연구 성과를 다룬 연구 게시글 속에서 이름을 처음 공개했다.
내부 버전 아스트라는 수학과 이론 컴퓨터 과학 분야에서 최소 10년 이상 풀리지 않은 문제 10개에 대해 새로운 결과를 도출했다.
오픈AI는 249쪽 분량의 논문과 함께, 기계 검증이 가능한 Lean 4 형식의 증명 인증서를 깃허브에 오픈 라이선스로 공개했다.
가장 눈에 띄는 성과는 ‘비-소픽(non-sofic) 군의 첫 명시적 구성’이다. 군론에서 1999년부터 공백으로 남아 있던 질문에 대한 정면 돌파라는 평가다. 연구진에 따르면, 10개 문제의 해법을 생성하는 데 쓰인 토큰 양은 회사의 현 플래그십 모델 ‘Sol’의 API 요금 기준으로 약 2,000달러 규모에 그친다.
관련 기사: 오픈AI, 인플루언서들 농장 리조트 초청했다 역풍 맞다
수학자들, 아스트라의 ‘증명’ 주장 검증 나선다
맨체스터대 수학자 **토머스 블룸(Thomas Bloom)**은 에르되시(Erdős) 문제 데이터베이스를 공개로 관리하는 연구자로, 이번 결과를 “큰 뉴스”라고 평가하면서 오픈AI가 5월에 내놓았던 기하학 성과보다 더 높은 수준이라고 평했다.
다만 그는 “기계가 수학자를 대체한다”는 식의 해석에는 선을 그었다. 아스트라가 활용한 학습 데이터에는 100년이 넘는 기간에 걸친 수학자들의 논문과 글이 광범위하게 포함돼 있기 때문이다.
오픈AI 연구원 **노암 브라운(Noam Brown)**은 팀이 몇몇 유명 난제에도 도전했지만 실패했다고 밝혔다. 밀레니엄 문제는 단 하나도 해결하지 못했다. 그럼에도 그는 “각 시도에 투입된 연산량은 상대적으로 적었다”며 과학적 추론 능력 측면에서 “본격적인 단계 도약”이라고 주장했다.
샘 올트먼(Sam Altman) 최고경영자는 지난주 워싱턴 D.C.에서 법안 마련을 논의 중인 의원들에게 이 시스템을 먼저 시연했다. 아스트라는 새로 마련된 연방 심사 프레임워크 아래 검토받는 첫 모델이 될 전망이다. 회사 측은 출시 일정을 못 박지 않았고, 이 모델 패밀리를 ‘GPT-6’로 내놓을지 아니면 ‘GPT-5’의 또 다른 변형으로 포지셔닝할지도 아직 결정하지 못한 상태다.
중국 오픈웨이트, 토큰 수요 지도 다시 짠다
출시 타이밍이 중요한 이유는 ‘오픈웨이트’ 진영이 더 이상 미국 연구소의 로드맵을 기다리지 않기 때문이다. 지난달 엔비디아(Nvidia) CEO **젠슨 황(Jensen Huang)**은 미국 빅테크 여러 곳을 오픈웨이트 진영으로 끌어들이며 세를 규합했다. 반면 앤쓰로픽(Anthropic) CEO **다리오 아무데이(Dario Amodei)**는 의무적인 안전성 테스트와 반도체 수출 규제 강화를 촉구하고 나섰다.
중국의 **문샷 AI(Moonshot AI)**는 7월, 2.8조(트릴리언) 파라미터를 탑재한 오픈웨이트 모델 Kimi K3를 선보였다. 현존하는 오픈 모델 가운데 최대 규모라는 타이틀을 내걸었다.
모델 라우팅 허브인 OpenRouter 기준으로, 미국 모델들이 가져가던 토큰 비중은 2025년 6월 약 70%에서 1년 뒤에는 30% 수준으로 급락했다. 그럼에도 6월 한 달간 한 대형 엔터프라이즈 게이트웨이에서 집계된 실제 이용료 지출의 약 95%는 여전히 미국 연구소들이 가져갔다. 아스트라가 방어해야 할 바로 그 매출 격차다.