$ cat wiki/models/astra.md
Astra
OpenAI 의 차기 주력 모델. 2026-08-01 에 공개된 글에서 수학과 이론 컴퓨터과학의 미해결 문제 열 건을 이 모델의 내부 버전이 풀었다고 밝히면서 이름이 처음으로 공개됐다 (source).
출시일
출시되지 않았다. OpenAI 는 사용된 모델을 Astra 의 내부 버전이라고 설명하고, Sébastien Bubeck (OpenAI) 은 이를 "our next major model" 이라고 부른다 (@SebastienBubeck).
비용은 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 의 표현을 따르고 불일치는 해소하지 않고 기록한다.
GPT 계열과의 관계. 일부 보도는 Astra 를 "GPT-6" 로 풀이한다 (@kimmonismus 는 "Astra model (GPT6?)" 라고 물음표를 달아 적는다). 여기서 확인한 OpenAI 자료 중 Astra 가 GPT 계열의 후속인지 아닌지를 밝힌 것은 없다.
소스
- OpenAI — Ten advances in mathematics and theoretical computer science (2026-08-01) → snapshot
- @SebastienBubeck — OpenAI, 모델 이름과 결과 집합을 밝힌 글
- the-decoder — 보도, 그리고 Leiden 선언 맥락
- Techmeme — 내부 버전이라는 표현과 비용 수치