Astra 내부: OpenAI 내부 모델이 수십 년 된 수학 난제 10개를 풀다

뉴스 요약

OpenAI는 다음 주요 모델 패밀리를 "Astra"로 공식 명명하고 내부 역량에 대한 첫 증거를 공개했다. 2026년 8월 1일(미 동부 시간)에 이 모델의 내부 빌드가 수학 및 이론 컴퓨터 과학의 오랜 미해결 문제 10개에 대해 새로운 결과를 도출했다고 밝혔다. OpenAI 연구원인 Noam Brown이 공유한 이 발표는 여전히 내부 테스트를 진행 중인 모델에 대해 이 회사가 공개한 가장 상세한 미리보기 중 하나이며, Astra를 단일 턴 채팅 응답이 아닌 장기적이고 다중 에이전트 추론을 위해 구축된 시스템으로 규정한다.

Astra의 설계 목적

대화의 유창함이나 단기 작업의 정확성을 강조했던 기존 OpenAI 출시 모델과 달리, Astra는 내부적으로 지속적이고 자율적인 작업을 위해 구축된 범용 모델로 설명된다. OpenAI에 따르면, 이 아키텍처는 고립된 프롬프트-응답 교환을 완료하는 대신 여러 AI 에이전트가 몇 시간 또는 며칠에 걸쳐 단일 복잡 문제를 조율할 수 있도록 설계되었다. 이러한 장기적이고 다중 에이전트적인 접근 방식은 모델 패밀리의 핵심 기술적 베팅으로 제시되며, 이전 세대 OpenAI 시스템과 차별화된다.

다루어진 10개의 수십 년 된 난제

이번 공개의 핵심은 OpenAI가 최소 10년 동안, 그리고 몇몇 경우에는 그보다 훨씬 더 오랫동안 핵심 질문에 실질적인 진전이 없었던 미해결 상태로 남아있었다고 밝힌 수학 및 이론 컴퓨터 과학 문제 10개의 모음이다. 이 문제들은 고차원 기하학, 코딩 이론, 산술 회로 복잡도, 군론, 작용소 대수, 양자 복잡도, 격자 암호학, 극단 조합론에 걸쳐 있다. 가장 널리 인용되는 결과는 OpenAI가 비소픽 군의 첫 명시적 구성으로 설명하는 것으로, 수학자 Mikhail Gromov가 1999년에 소픽성 개념을 도입한 이래 군론에서 제기되어 온 질문에 대한 답이다.

결과가 검증된 방식

OpenAI는 이 결과가 단순히 모델에 의해 주장된 것이 아님을 강조했다. 인간 연구자들은 모델의 논증을 검토하고 전체 원고로 정리했으며, 그 후 모델 자체가 각 증명을 Lean 인증서로 형식화했다. 이는 증명의 논리적 단계가 타당한지 검증하기 위해 형식 수학에서 사용되는 기계 검증 가능 형식이다. 이 형식 검증 단계는 외부 수학자들이 모델 자체의 설명에만 의존하지 않고 각 해결책의 정확성을 독립적으로 확인할 수 있는 방법을 제공하기 위해 고안되었다.

작업의 비용과 규모

OpenAI는 10개의 해결책을 생성하는 데 드는 컴퓨팅 비용이 업계 기준으로는 적은 편이었으며, 현재 API 요율을 기준으로 총 토큰 사용량의 약 2,000달러로 추정된다고 밝혔다. 결과에 대해 논평한 Noam Brown은 주장의 범위를 보수적으로 규정하는 데 주의를 기울였다. 그는 연구소가 단일 문제에 광범위한 자원을 투입하지 않았으며, 결과에 수학의 밀레니엄 난제가 포함되지 않았다고 언급했다. 그는 이번 공개를 획기적인 순간이라기보다는 AI 시스템의 과학적 추론에서 의미 있는 진전으로 설명했다.

공개 출시 전 정부 검토

Astra는 아직 공개되지 않았다. OpenAI는 이 모델 패밀리가 여전히 내부 테스트를 진행 중이며, 이 능력 등급의 모델이 널리 제공되기 전에 공식 승인을 요구하는 새로운 미국 정부 검토 과정을 거치는 최초의 시스템 중 하나가 될 것이라고 밝혔다. OpenAI는 그 검토가 언제 끝날지 또는 Astra가 언제 일반적으로 사용 가능해질지에 대한 구체적인 날짜를 발표하지 않았다.

글로벌 AI 커뮤니티에 중요한 이유

AI 지원 과학의 궤적을 주시하는 학생, 교육자 및 연구자들에게 Astra 공개는 단일 증명보다는 프론티어 모델 개발 방향이 시사하는 바로 인해 주목할 만하다. 즉, 사후에 추가되는 것이 아니라 워크플로우에 내장된 형식 검증과 함께 장기간에 걸쳐 복잡하고 다단계적인 추론을 유지하도록 구축된 시스템으로의 전환이다. 장기적이고 다중 에이전트적인 아키텍처가 신뢰할 수 있는 것으로 입증된다면, AI의 유용성을 텍스트나 코드 작성을 넘어 전통적으로 전문적인 인간 전문 지식이 필요했던 개방형 과학적 문제 해결 영역으로 확장할 수 있을 것이다. 향후 몇 주 동안 독립적인 수학자들이 Lean으로 검증된 증명을 검토함에 따라 전 세계의 관찰자들이 이를 면밀히 주시할 것으로 예상된다.

향후 전망

OpenAI는 모델이 내부 테스트와 정부 검토를 완료함에 따라 Astra의 아키텍처, 훈련 방법론 및 출시 일정에 대한 추가 세부 정보가 이어질 것이라고 밝혔다. 그때까지 수학계는 공개된 Lean 인증서를 면밀히 조사할 것으로 예상되며, 업계 애널리스트는 다른 프론티어 연구소들이 유사한 장기적이고 다중 에이전트적인 자체 시스템으로 대응할지 지켜볼 것이다.