신호 OpenAI, 수학 연구 발표에 차기 모델 'Astra' 이름 처음 공개

요약

OpenAI가 2026년 8월 1일 "수학·이론컴퓨터과학 10대 진전"이라는 블로그 글을 발표했는데, 이 글 3번째 문단에서 차기 주력 모델 'Astra'의 이름을 처음 공개했다 — 수학 성과를 달성한 것이 Astra의 내부 버전이라고 명시한 것이다. 이 글은 최소 10년 이상 핵심 결과에 진전이 없던 미해결 문제 10건의 해법을 제시하는데, 폰 노이만 대수(Connes 강직성 추측 반증), Cohn-Elkies 한계에 근접한 고차원 구 채우기 상한, 극단 그래프 이론(Erdős 문제 146·180 해결) 등을 포함한다. 각 결과에는 249쪽 매뉴스크립트, Lean 4 형식검증 인증서, 추론 과정 재구성 자료가 함께 제공된다. OpenAI는 문제당 계산 비용이 Sol API 요금 기준 약 2,000달러에 불과했다고 밝혔다. 2026년 5월 Erdős 단위거리 추측 반증 발표와 달리, 이번 발표는 외부 수학자의 광범위한 검증을 명시적으로 주장하지 않아 Lean 인증서에도 불구하고 독립 검증 여부가 남은 과제로 지적된다. OpenAI는 Astra의 공개 시점을 밝히지 않았으며, 일각에서는 GPT-6 계열로 추정하고 있다.