Astra

스펙

Attribute	Value
Developer	OpenAI
Released	not yet
Announced	2026-08-01 (이름만 공개, 출시 아님)
Context window	unknown
Pricing	unknown
License	unknown
Availability	unknown — 확인한 어떤 소스에도 API 식별자나 제공 일자가 없다
위의 unknown 은 모두 실제로 명시되지 않은 값이다. 2026-08-01 글은 제품 발표가 아니라
결과 발표이고, 여기서 확인한 어떤 소스도 출시일·가격·엔드포인트를 제시하지 않는다
(source).
2026-08-07 글도 그중 어느 것도 채우지 않는다 — 날짜를 더하는 것이 아니라 없앤다
(source).

안전 분류

2026-08-07 OpenAI 는 Astra 에 대한 예비 내부 평가에서 에이전트형 코딩과 사이버보안 성능이 충분히 강해, 자사 Preparedness Framework 의 Critical 사이버 역량 등급을 "배제할 수 없다" 며 Astra 를 사이버보안 관련 첫 "Critical" 모델로 다루고 있다고 발표했다 (source).

그 문장에 함께 붙어야 할 유보가 두 가지이고, OpenAI 가 둘 다 제공한다: 테스트는 진행 중이며, OpenAI 는 Astra 가 임계값을 넘었다고 확인하지 않았다고 명시한다. 공표된 입장은 임계값을 배제할 수 없다는 것이지 충족했다는 것이 아니다. 이전에 평가된 모든 OpenAI 모델은 — GPT-5.6 Sol (and Terra, Luna) 포함 — Critical 이 아니라 High 로 판정됐다.

글에 인용된 OpenAI 의 Critical 사이버 임계값은, 다수의 견고한 실제 핵심 시스템에서 모든 심각도의 작동하는 제로데이 익스플로잇을 사람의 개입 없이 식별하고 개발할 수 있거나, 높은 수준의 목표만 주어졌을 때 견고한 표적에 대해 처음부터 끝까지 새로운 공격 전략을 고안하고 실행할 수 있는 모델이다.

발표된 대응:

조치	공표된 내용
개발	프레임워크가 요구하는 대로 안전장치가 갖춰질 때까지 감속
테스트 환경	격리; 네트워크·도구 접근 제한; 샌드박스 실행
가중치	모델 가중치의 추가 보호와 암호화
모니터링	모든 에이전트 실행을 위험 행동에 대해 모니터링; 에이전트 애플리케이션에 대한 추가 통제
안전장치 테스트	역량 수준에 맞게 견고성 테스트 확대
외부 테스트	더 넓은 배포 전 정부 기관 및 선정된 AI 안전 기관과 함께
테스트 파트너	고위험 평가를 수행하는 서드파티에 권장 보안 통제 제공
Axios 는 단독 보도로 OpenAI 가 행정부에 지연 계획을 자발적으로 알렸다고 전한다
(Axios).
그것은 OpenAI 의 발표가 아니라 보도이며, 그렇게 유지한다.

이 페이지가 말할 수 없는 것은 얼마나 늦춰지는가다. 여기서 읽은 어느 소스도 수정된 날짜, 기간, 또는 충족되면 지연이 끝나는 조건을 제시하지 않는다 — 그래서 Released 는 날짜가 붙은 전망으로 옮겨가지 않고 not yet 으로 남는다.

2026-08-18 — 기간이 공개됐고, 중단은 끝났다

Pacing model development in an era of cyber-critical capabilities 가 08-07 글이 내놓지 않았던 수치를 제공한다: 중단은 2주 남짓 이어졌고 끝났다 — OpenAI 는 리스크를 평가하고 가드레일을 마련한 뒤 해당 활동을 재개했다고 밝힌다 (source).

보안 통제는 OpenAI 가 이전에는 적용할 필요가 없었던 것들로 다시 서술된다 — 격리된 테스트 환경, 제한된 네트워크·도구 접근, 모델 가중치의 강화된 보호와 암호화, 추가 모니터링·탐지, 샌드박스 실행. 이 목록은 위 08-07 표를 확장한 것이 아니라 그대로 반복한다.

바뀌지 않은 것: Critical 지정은 읽은 자료 어디에서도 해제되거나 확정되거나 수정되지 않았고, 출시일·가격·엔드포인트·컨텍스트 창은 주어지지 않았다. 위 Spec 표의 모든 unknown 이 그대로다. 그러니 08-07 에 "명시적으로 무기한" 이던 지연은, 그것이 덮은 내부 활동 에 대해서는 대략 2주로 경계가 있었던 셈이다 — 반면 독자가 "개발을 늦춘다" 는 말에서 떠올릴 것, 즉 출하 일정은 애초에 일정에 붙어 있지 않았고 지금도 그렇다.

중단의 범위는 보도가 엇갈리며 아래 ## 상충 보고 에 기록했다: Fortune 의 헤드라인은 OpenAI 가 "2주간 AI 훈련을 중단했다" 고 하고, Cryptobriefing 은 Sam Altman 이 Astra 의 핵심 훈련은 멈춘 적이 없으며 중단된 것은 일부 내부 활동 이라고 말했다고 전한다. OpenAI 발췌 자체는 "일부 내부 활동" 이라고 말하며, 이 페이지는 그 독법을 따른다.

출시일

출시되지 않았다. OpenAI 는 사용된 모델을 Astra 의 내부 버전이라고 설명하고, Sébastien Bubeck (OpenAI) 은 이를 "our next major model" 이라고 부른다 (@SebastienBubeck).

2026-08-07 기준 일정은 명시적으로 무기한이다: OpenAI 는 "올바른 안전장치가 갖춰질 때까지" 개발을 늦추겠다고 말한다 (source).

비용은 Astra 자체 가격이 아니라 Sol API 가격 기준으로 제시된다 — 열 건 전체에 토큰 기준 약 $2,000. 이는 Astra 에 공개된 자체 가격이 없다는 사실과 일관된다 (source).

벤치마크

Astra 에 대해 공개된 표준 벤치마크 점수는 없다. 대신 존재하는 것은 주장된 연구 결과 열 건이며, 각각에 Lean 4 인증서와 사고 사슬 설명, 그리고 249쪽 원고가 함께 붙어 있다 (source):

Result	Field
최초의 명시적 비소픽 군(non-sofic group)	군론
Connes' Rigidity Conjecture 반증	작용소 대수 / 폰 노이만 대수
일반적인 2인 얽힘 게임에 대한 양자 병렬 반복	양자 복잡도
Ehrhart's volume conjecture 증명	이산 기하학
1978년 이후 처음으로 개선된 고차원 구 채우기(sphere-packing) 일반 상한	고차원 기하학
새로운 회로 복잡도 하한	산술 회로 복잡도
다색 그래프에서의 단색 삼각형	극단 조합론
Erdős 문제 3건	조합론
문제들은 최소 10년, 여러 건은 그보다 훨씬 오래 미해결 상태였다고 명시된다. 나머지
결과는 부호 이론과 격자 암호에 속한다
(source).

Eval Harness Configuration 에 따라 이 값들은 벤치마크 점수와 비교할 수 없고 그렇게 기록하지도 않는다. 공유된 하니스도, 기준선도 없고, 같은 열 문제로 측정된 다른 모델도 없다.

활용 사례

입증된 용도는 하나뿐이다 — 새로운 수학적 논증의 자율적 산출. 다만 사람이 결과물을 논문 형태로 정리했고, Lean 인증서는 별도의 형식화 단계에서 만들어졌다 (source). 이 분업이 무엇을 입증하고 무엇을 입증하지 못하는지는 AI for Mathematics 참조.

비교

• GPT-5.6 Sol (and Terra, Luna) — 현재 서비스 중인 OpenAI 프런티어 계층이자 $2,000 이라는 수치의 가격 기준. Sol 은 이미 2026-07-30 에 자사 서빙 커널을 직접 재작성한 공으로 인정받았고, Astra 는 같은 프로그램을 인프라가 아니라 연구 산출로 돌린 것이다
• AlphaEvolve — Google DeepMind 의 수학·알고리즘 발견용 탐색 기반 시스템. 겹치는 목표를 다른 메커니즘(평가자에 대해 프로그램을 진화 탐색)으로 접근한다
• Leanstral 1.5 — Mistral AI 의 오픈 웨이트 Lean 4 정리 증명기. Astra 의 결과가 의존하는 파이프라인의 검증 쪽 절반을, 폐쇄된 내부 산물이 아니라 오픈 웨이트 산물로 차지한다
• Gemini 3.1 Deep Think — 경시대회 수준 수학에 공개적 근거를 기대 온 또 하나의 프런티어 라인
• Claude Science, Co-Scientist (Google DeepMind) — 자연과학에서의 동일한 "연구 도구로서의 모델" 구도

상충 보고

출시 상태. OpenAI 자신의 표현은 미출시 모델의 내부 버전이다. 여러 애그리게이터는 Astra 가 "출시" 또는 "공개"됐다고 서술한다 — 예를 들어 KuCoin 속보 는 "OpenAI has launched a new model, Astra" 라고 적는다. 여기서 확인한 어떤 소스도 제공 일자·가격·API 식별자를 제시하지 않으므로, 이 페이지는 소스 우선순위 규칙에 따라 OpenAI 의 표현을 따르고 불일치는 해소하지 않고 기록한다.

두 주간의 중단이 무엇을 덮었는가. 2026-08-18 글에 대한 보도는 범위에서 갈리며, 이 페이지는 OpenAI 자신의 표현을 따르는 것 이상으로 해소하지 않는다 (source):

주장	보도
OpenAI 가 "2주간 AI 훈련을 중단했다"	Fortune, 2026-08-18 (헤드라인)
Astra 의 핵심 훈련은 멈춘 적이 없고, 중단된 것은 일부 내부 활동 이며 새 모델은 여전히 곧 출하될 예정 — Sam Altman 에게 귀속	Cryptobriefing
중단이 훈련 실행이 아니라 내부 활동의 일부를 덮었다면 둘은 양립하며, 그것이 OpenAI 발췌가
말하는 바다. **두 주라는 수치와 "핵심 훈련은 멈춘 적이 없다" 는 해명을 함께 담은 문서는 읽은 것
중에 없으므로**, 어느 쪽도 다른 쪽 위에 채택하지 않는다.

GPT 계열과의 관계. 일부 보도는 Astra 를 "GPT-6" 로 풀이한다 (@kimmonismus 는 "Astra model (GPT6?)" 라고 물음표를 달아 적는다). 여기서 확인한 OpenAI 자료 중 Astra 가 GPT 계열의 후속인지 아닌지를 밝힌 것은 없다.

소스

• OpenAI — Ten advances in mathematics and theoretical computer science (2026-08-01) → snapshot
• OpenAI — Responding to the next frontier of critical cyber capabilities (2026-08-07) → snapshot
• OpenAI — Pacing model development in an era of cyber-critical capabilities (2026-08-18) → snapshot
• Axios — OpenAI slows release of Astra model citing cyber capabilities (2026-08-07) — 행정부에 대한 자발적 통지
• @OpenAI — "사이버보안 관련 첫 'critical' 모델" 이라는 발표
• @SebastienBubeck — OpenAI, 모델 이름과 결과 집합을 밝힌 글
• the-decoder — 보도, 그리고 Leiden 선언 맥락
• Techmeme — 내부 버전이라는 표현과 비용 수치

관련

• OpenAI
• AI for Mathematics
• Reasoning Models
• Frontier Pacing
• Eval Harness Configuration
• Preparedness Framework
• AI-Enabled Cyberattacks
• Eval Environment Containment