본문으로 건너뛰기

OpenAI Astra: 프리뷰 현장 노트

중급

2026년 8월 1일 OpenAI는 차세대 주요 모델 제품군인 Astra를 — 키노트나 출시 페이지가 아니라, 수학과 이론 컴퓨터 과학의 이전에 풀리지 않았던 문제들에 대한 Lean-4 형식화 증명 열 개를 공개 GitHub 저장소에 밀어 넣음으로써 — 프리뷰했다. API도, 가격도, ChatGPT 표면도, 출시일도 없다. 이번 주 읽게 될 모든 "Astra vs GPT-5.6" 또는 "Astra vs Claude" 구매 가이드는 보도로 위장된 추측이다.

이 페이지는 Claude 사용자를 위한 정직한 현장 노트다: 실제로 확인된 것, 확인되지 않은 것, 그리고 오늘 하고 있는 일을 바꿔야 하는지.

What you'll learn
  • 정확한 발표 메커니즘, 그리고 2026년 8월 1일 OpenAI가 말한 것과 말하지 않은 것을 배우기
  • Astra가 푼 열 문제를 읽고, 왜 수학/TCS가 공개 표면으로 선택됐는지 이해하기
  • 확인된 사실(다중 에이전트, 장기 자율, 내부 전용)과 추측(컨텍스트 크기, 가격, ChatGPT 배포, 벤치마크)을 분리하기
  • 오늘 Claude Opus 5 / Fable 5 위에 계속 빌드할지, 기다릴지 결정하기 — 구체적인 판단 규칙과 함께

한 문장으로 정리​

Astra는 OpenAI의 내부 전용, 다중 에이전트, 장기 자율 차세대 모델이며, Lean으로 확인 가능한 수학 증명 열 개를 통해 공개됐다. GPT-5.6 Sol / Terra / Luna와 같은 것이 아니고, 제품 표면이 없다 — 그래서 이번 달 내리는 어떤 이관 결정도 여전히 Claude 대 GPT-5.6 대 Gemini 3.6에 대한 결정이지, Astra에 대한 결정이 아니다.

OpenAI가 실제로 말한 것(그리고 말하지 않은 것)​

공개 방식이 이례적이다. OpenAI는 "차세대 주요 모델"을 연구 포스트의 세 번째 문단에서 발표했다. 보도자료도, 벤치마크도, 가용성도, 가격도 없다. 그 프레이밍은 모델만큼이나 많은 것을 말해준다 — "아직 제품이 아니고, 규제 검토 중"이라는 뜻이다.

2026년 8월 1일 확인됨​

  • Astra는 모델 제품군 이름이다. OpenAI는 이를 "차세대 주요 모델"이라고 표현한다. Sol / Terra / Luna GPT-5.6 티어와 나란히 위치하며, 그 안에 있지 않다.
  • 결과는 내부 버전에서 나왔다. ChatGPT 앱, API, 파트너 전용 체크포인트가 아니다.
  • 공개 표면은 수학 + TCS다. 이전에 풀리지 않은 문제 열 개, 각각 Lean-4 증명이 github.com/openai/ten-proofs에 Apache-2.0으로 푸시됐다.
  • 시스템은 다중 에이전트이고 장기 자율이다. OpenAI 자체 프레이밍은 Astra가 "여러 에이전트가 몇 시간 또는 며칠에 걸친 장기 작업에서 함께 협업하도록 설계됐다"는 것이며, 연구·코딩·과학 문제를 겨냥한다.
  • 비용 앵커(모델 가격이 아님). OpenAI는 열 개 해답을 생성하는 데 쓴 토큰이 "Sol의 API 요금으로 약 $2,000이었을 것"이라고 썼다. 이는 Astra의 정가, 증명당 비용, 재현성 보증이 아니다 — 다른 모델의 미터로 매긴 토큰 볼륨 앵커일 뿐이다.
  • 정부 검토 경로. Sam Altman은 2026년 7월 말 워싱턴 D.C.에서 미 연방 관료들에게 시스템을 시연했다. 보도는 Astra가 공개 전 연방 검토를 요구하는 새로운 미국 프레임워크 하에 제출되는 첫 번째 모델이 될 가능성이 크다고 위치시킨다.
  • 명명된 인용. OpenAI 연구자 Noam Brown은 Astra를 "과학적 추론을 위한 중요한 진전"이라고 불렀고, "슬프게도, 아직 밀레니엄 상 문제는 없다"고 언급했다.

당신이 읽을 수 있는 것과 달리, 확인되지 않은 것​

  • 출시일 없음. ChatGPT 배포 일정도, API GA도, 베타 신청도 없다.
  • 가격 없음. 토큰당도, 실행당도, 티어당도 없다.
  • 컨텍스트 창 크기 없음, 최대 출력 없음.
  • 다중 모달 주장 없음. 이미지, 오디오, 비디오에 대한 언급이 없다.
  • 정면 대결 벤치마크 없음. SWE-Bench도, ARC-AGI도, Frontier-Bench 수치도 없다.
  • "GPT-6인가?"에 대한 답 없음. OpenAI는 Astra가 GPT-6로 출시될지, GPT-5.x 포인트 릴리스로 출시될지, 자체 이름으로 출시될지 말하지 않았다.
  • 티어 구조 확인 없음. GPT-5.6의 Sol/Terra/Luna 패턴이 Astra에 매핑되지 않았다.

이번 주 헤드라인이 위 항목 중 어느 것이라도 사실로 제시한다면, 그 기사는 추측하고 있는 것이다.

열 개 증명, 한 화면에​

Astra를 열려 있는 문제들에 대한 Lean-4 형식화 증명으로 공개한 선택은 많은 일을 하고 있다: OpenAI가 능력 주장을 기계 검증 가능하게 만들 수 있게 해준다. 게임 될 수 있는 리더보드 숫자가 아니다. 증명이 lake build All로 검증된다면, 당신이 모델에 대해 어떻게 생각하든 수학적 주장은 실재한다.

#문제분야
1구 패킹 밀도의 개선된 점근 상한고차원 기하학
2이진 코드의 지수적으로 더 강한 상한부호 이론
3비-소픽 군의 구성군론 / 작용소 대수
4Connes의 강성 추측에 대한 반례작용소 대수
5permanent 계산의 새로운 하한산술 회로 복잡도
6임의의 유한 게임에 대한 지수적 병렬 반복양자 복잡도
7최근접 벡터 문제의 근사 다항식 인수 어려움격자 암호
8모든 차원에서 예리한 최대 부피(Ehrhart)이산 기하학
9다중 색 램지 수에 대한 초지수적 하한극단 조합론
10콤팩트성과 축퇴 추측에 대한 반례극단 수론

왜 수학 + TCS가 공개 표면이었나​

세 가지 실용적 이유 — 어느 것도 알아채고 나면 신비하지 않다:

  1. 기계 검증 가능한 주장은 각색될 수 없다. 벤치마크 숫자는 마케팅 픽셀이다. Lean 증명은 타입 체크가 되거나 안 되거나 둘 중 하나다. 모든 연구소의 주장이 의심받는 해에 가능한 가장 깨끗한 능력 진술이다.
  2. 리더보드 게임 의혹 없음. 이전에 풀리지 않은 문제들의 해답을 Astra가 암기했다고 의심하는 사람은 없다.
  3. 규제 광학. OpenAI는 Astra를 새로운 미국 연방 검토 과정을 통과시키고 있다. "우리의 새 모델이 암호학과 양자 복잡도의 열린 질문을 진전시켰다"는 "우리의 새 모델이 SWE-Bench에서 96%를 받았다"와는 매우 다른 프레이밍이다.

이것이 오늘 Claude 대 GPT-5.6 결정에 대해 무엇을 바꾸는가​

이번 달 조치가 필요한 것은 아무것도 없다. Astra는 제품 표면이 없다. 그 위에 빌드할 수 없다. 실시간 트레이드오프는 여전히 Choosing a model의 것이다:

  • 실제 저장소 소프트웨어 엔지니어링, 대규모 리팩터, 잘 관리된 플랫폼에서의 긴 툴 루프 → Claude Opus 5(claude-opus-5) 또는 Fable 5(Opus 5 field guide, Fable 5 / Mythos 5 flagship 참조).
  • 가장 저렴하게 가능한 긴 컨텍스트 대량 작업 → 전체 1.05M 컨텍스트로 입력 $1 / 출력 $6인 GPT-5.6 Luna(Sol / Terra / Luna).
  • 브라우저 중심 또는 에이전트 인덱스 형태 작업 → GPT-5.6 Sol 또는 Gemini 3.6 Flash(Gemini 3.6 Flash family).
  • 장기 자율 다중 에이전트 연구 또는 엔지니어링 — Astra가 겨냥하는 정확한 형태 — 오늘 가장 가까운 것은 OpenAI Responses API의 native multi-agent APIs 베타와 Anthropic의 managed agents + memory stores다. 둘 다 출시된 제품이다. Astra는 아니다.

Astra를 기다려야 하는가?​

Guided walkthrough1 of 4
  1. Astra는 API도, 가격도, 공개된 출시 시점도 없다. 공개는 제품 발표가 아니라 연구 포스트다. 존재하는 것 위에 출시하고, 가격/품질이 가치가 있으면 나중에 이관하라.

열 개 증명을 로컬에서 검증

# Requires elan (Lean toolchain manager)
# Install: curl -sSf https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh | sh
git clone https://github.com/openai/ten-proofs.git
cd ten-proofs
lake exe cache get     # pre-built mathlib artifacts
lake build All         # type-checks every proof; exits 0 on success

lake build All이 0으로 종료되면, 열 개 증명 모두 mathlib에 대해 타입 체크된다. 이는 OpenAI가 올해 공표한 가장 강력한 능력 주장이며, 당신의 노트북에서 검증 가능하다.

기자들이 계속 틀리는 세 가지​

Enter 또는 스페이스 키를 눌러 카드를 뒤집습니다. 좌우 화살표 키로 카드를 이동할 수 있습니다.용어가 표시되었습니다.
1 / 5

AILmanac가 이 페이지를 업데이트하는 곳​

이 페이지의 lastVerified는 OpenAI가 모델 카드, API 엔드포인트, 가격표, 또는 공식 ChatGPT 배포 노트를 공표할 때 만 갱신할 것이다 — 소문에는 아니다. 그동안 열 개 증명과 다중 에이전트 프레이밍이 기억할 지속적 사실이다.

  • 가격 페이지가 생기면 → 이 페이지는 Sol / Terra / Luna 및 Opus 5와 같은 모양의 티어 표가 있는 완전한 Astra 현장 가이드가 된다.
  • API가 생기면 → 기존 porting prompts across models 가이드와 함께 "Claude Opus 5 프롬프트를 Astra로 이식하기" 섹션을 추가할 것이다.
  • Anthropic이 비슷한 "장기 자율 다중 에이전트" 프리미티브를 출시하면 → managed agents를 업데이트하고 상호 링크할 것이다.

Check yourself

0/3
  1. OpenAI가 2026년 8월 1일 Astra에 대해 실제로 확인한 것은?
  2. 공개의 'Astra 비용은 약 $2,000' 숫자가 가리키는 것은…
  3. Astra 때문에 이번 달 프로덕션 Claude 아키텍처에서 바꿔야 할 것은?

출처 및 더 읽을거리​

다음​

  • Current Models & Pricing — AILmanac이 공식 문서에서 소싱해 유지하는 실시간 가격표(Astra는 공식 가격이 있는 날 추가된다).
  • This Month in Claude & AI — OpenAI가 공표하는 대로 새 Astra 사실이 안착하는 롤링 다이제스트.
  • Long-running agent harnesses — Claude / Managed-Agents 측에서 본, Astra가 겨냥한 작업 형태에 대한 프런티어 정리.