**오픈AI(OpenAI)**가 8월 1일 차세대 주요 모델 계열의 이름을 ‘아스트라(Astra)’로 공식화하고, 내부 버전이 수학·이론컴퓨터과학 분야에서 최소 10년 동안 진전이 없었던 난제 10개를 해결했다고 밝혔다.
핵심 요약
- 오픈AI는 공식 보고서에서 아스트라라는 이름을 처음 확인하며, 이 모델이 최소 10년간 사실상 손대지 못했던 난제 10개에 성과를 냈다고 밝혔다.
- 비소픽 군(non‑sofic group) 구성, 콩느스(Connes)의 강직성 추측 반례, 에르되시(Erdős) 관련 문제 3건 등이 포함됐다.
- 모든 증명은 기계 검증이 가능한 Lean 인증서를 동반했으며, 솔(Sol) API 요율 기준 토큰 비용은 총 약 2,000달러 수준으로 집계됐다.
오픈AI, 아스트라 성과 담은 249쪽 수학 보고서 공개
오픈AI는 토요일, 구체적인 결과를 담은 249쪽 분량의 연구 보고서를 공개했다. 보고서는 구형 포장(sphere packing), 부호 이론(coding theory), 산술 회로 복잡도, 군론, 양자 복잡도, 격자 기반 암호(lattice cryptography) 등 난도 높은 영역 전반을 다룬다.
보고서에 실린 문제들은 모두 “핵심 쟁점” 기준으로 최소 10년간 본질적인 진전이 없었던 과제들이다. 상당수는 그보다 훨씬 오래 정체돼 있었다. 이 가운데 한 구성 결과는 비소픽 군(non‑sofic group)의 존재를 처음으로 확립해 군론의 중심 질문 하나를 매듭지었다.
또 다른 결과들은 콩느스(Alain Connes)의 강직성(rigidity) 추측을 반박하고, 에르하르트(Ehrhart)의 체적(volume) 추측을 증명했으며, 에르되시(Erdős) 문제집에서 뽑은 3개 난제를 해결했다. 여기에는 다색 삼각형 램지 수(multicolor triangle Ramsey numbers)에 대한 새로운 하한 설정이 포함된다. 오픈AI는 이 10개 해법을 찾는 데 들어간 총 토큰 비용이 솔(Sol) API 요율로 약 2,000달러라고 추산했다.
아스트라는 하나의 대형 난제를 여러 에이전트가 나눠 맡아 장시간 병렬로 탐색하고, 중간 결과를 통합하는 구조를 채택한 것으로 전해진다. 이 모델 계열은 GPT‑5.6 레이블을 단 솔(Sol), 테라(Terra), 루나(Luna)와 나란히 위치한다.
다만 오픈AI는 아스트라를 정식 출시할 때 ‘GPT‑6’로 내놓을지, ‘GPT‑5.7’의 변형으로 둘지, 혹은 별도 등급으로 분리할지 아직 결정하지 않았다고 밝혔다. 구체적인 출시 일정도 제시되지 않았다.
함께 읽기: 비트코인 ETF로 2억3310만 달러 유입…단일 펀드가 대부분 흡수
수학계, 아스트라 ‘Lean 증명’ 본격 검증 착수
에르되시 문제 카탈로그를 관리하는 맨체스터대 수학자 **토머스 블룸(Thomas Bloom)**은 X(옛 트위터)에서 이번 결과를 “큰 뉴스”라고 평가했다. 그는 이번 성과가 적어도 “구체적 구성” 측면에서는 오픈AI가 5월에 공개했던 단위 거리(unit distance) 반례보다 한 단계 위에 있다고 평했다.
특히 각 증명은 예외 없이 기계 검증이 가능한 Lean 포멀 인증서와 함께 제시됐다. 이는 AI 연구 분야에서 제기된 수많은 ‘증명’ 주장들이 넘지 못한 높은 문턱이다. 다만 수학자들은 보고서에 제시된 형식화된 명제가 실제로 해당 분야에서 “열린 문제”로 인정돼 온 원래 질문을 정확히 포착하고 있는지 일일이 대조해 확인해야 한다.
시스템의 추론 기법 개발에 참여한 **노암 브라운(Noam Brown)**은 별도 코멘트에서 이번 성과 가운데 밀레니엄 난제(Millennium Prize Problems)는 포함돼 있지 않다고 밝혔다.
샘 올트먼, 워싱턴서 정치권 상대로 아스트라 비공개 시연
오픈AI CEO **샘 올트먼(Sam Altman)**은 보고서 공개 며칠 전, 워싱턴 D.C.에서 상원의원과 행정부 고위 인사를 상대로 비공개 회의에서 아스트라를 시연한 것으로 알려졌다.
올트먼은 수요일 라파엘 워녹(Raphael Warnock), 버니 모레노(Bernie Moreno) 상원의원을 연달아 만났고, 일정에는 마크 워너(Mark Warner) 상원의원, 스콧 베선트(Scott Bessent) 재무장관, 하워드 러트닉(Howard Lutnick) 상무장관과의 면담도 포함돼 있었다.
아스트라는 향후 도입될 예정인 연방 차원의 ‘AI 선제 검토(pre‑release review)’ 제도 아래 최초로 심사를 받는 모델이 될 것이라는 전망이 나온다.
오픈AI는 지난 5월에도 학술지 대신 블로그 게시글 형식으로 에르되시의 단위 거리 추측(unit distance conjecture)에 대한 AI 생성 반례를 먼저 발표한 바 있다. 그러자 국제수학연맹(IMU)의 지원을 받은 수학자들이 6월 ‘라이덴 선언(Leiden declaration)’을 발표하며 “보도자료 기반 증명(Proof by press release)” 관행에 공식적으로 경고를 날렸다. 오픈AI는 이번 보고서에서도 이 선언을 인용했다.