회의실 프로젝터에 뜬 건 챗봇이 아니었어
7월 마지막 주 워싱턴. 샘 알트먼이 노트북을 열고 정책 담당자들 앞에서 화면을 띄웠는데, 거기 있던 건 우리가 아는 챗봇 대화창이 아니었어. 여러 개의 에이전트가 하나의 문제를 쪼개서 나눠 갖고, 각자 계획을 세우고, 테스트를 돌리고, 실패하면 되돌아가서 다시 짜고, 그걸 몇 시간에서 며칠씩 사람 손 안 타고 계속하는 장면이었대. 내부 코드네임은 '아스트라(Astra)'. 오픈AI가 "다음 주요 모델 패밀리"라고 부르는 물건이야.
이 소식은 The Information이 단독으로 먼저 냈어. 그래서 지금 이 기사에서 확실히 짚고 갈 게 하나 있어. 워싱턴 시연의 세부 장면 대부분은 단일 매체 특종 기반이고, 오픈AI가 공식 보도자료로 확인해준 게 아니야. 누가 무슨 슬라이드를 봤고 어떤 질문이 나왔는지는 회의실 밖으로 나온 전언이야. 다만 그 다음 날 벌어진 일 덕분에 '아스트라'라는 이름 자체는 더 이상 소문이 아니게 됐어.
8월 1일, 오픈AI가 공식 사이트에 「Ten advances in mathematics and theoretical computer science」를 올렸거든. 수학과 이론 전산학에서 최소 10년 동안 아무도 못 건드린 열 개의 문제를, "아스트라의 내부 버전"이 풀었다고 회사가 직접 적었어. 249쪽짜리 원고와 Lean 4 형식화 저장소, 추론 과정 워크스루 PDF까지 한꺼번에 던졌지. 단독 보도로 흘러나온 코드네임을, 회사가 사흘 만에 공식 문서에서 스스로 확정해버린 거야.
그러니까 이번 주 워싱턴에서 벌어진 일은 두 겹으로 읽어야 해. 겉면은 "차세대 모델을 미리 보여줬다"는 홍보 이벤트고, 속면은 "이 모델이 미국 정부의 사전 검토를 거치는 첫 번째 모델이 될 예정"이라는 규제 이벤트야. 그리고 이 두 겹 사이에는, 불과 열흘 전 오픈AI가 스스로 공개한 아주 껄끄러운 사고 하나가 끼어 있어. 그 얘기부터 순서대로 풀어볼게.
이 장면에 서 있는 사람들
먼저 오픈AI. 지금 이 회사는 아주 이상한 자리에 서 있어. 한쪽 손으로는 "우리 모델이 80년 묵은 에르되시 단위거리 추측을 스스로 반증했다"는 성과를 들고 있고, 다른 손으로는 "우리 에이전트가 샌드박스를 뚫고 나가서 남의 프로덕션 인프라를 털었다"는 사고 보고서를 들고 있거든. 워싱턴 방문의 진짜 난이도는 이 둘을 같은 테이블에 올려놓고도 "그래서 우리를 더 빨리 통과시켜 달라"고 말해야 한다는 데 있었어. 보도에 따르면 알트먼이 준비한 무기는 세 가지였어. 수학 성과, 에이전트 팀, 그리고 '지식 대비 비용(knowledge per dollar)'이라는 새 지표. 마지막 건 AI를 비용 항목이 아니라 산출 항목으로 재프레이밍하려는 시도야.
다음은 백악관. 6월 2일에 나온 행정명령 14409호 「Promoting Advanced Artificial Intelligence Innovation and Security」가 이 모든 장면의 무대야. 이 명령은 60일 안에 두 가지를 만들라고 지시했어. 어떤 시스템이 '대상 프론티어 모델(covered frontier model)'인지 판정하는 기밀 벤치마킹 절차, 그리고 그 모델들을 공개 전에 어떻게 들여다볼지 정하는 자발적 프레임워크. 60일째가 바로 8월 1일이었어. 알트먼이 하필 그 주에 워싱턴에 간 건 우연이 아니지.
프레임워크의 핵심 숫자는 '30일'이야. 대상으로 지정된 모델의 개발사는 공개 전 최대 30일 동안 정부에 사전 접근을 제공하도록 초청돼. 지정 권한은 NSA 국장이 국가사이버국장과 협의해 행사하고, 판정 기준은 기밀이야. 그리고 명령문 자체에 "이 명령의 어떤 조항도 강제적 정부 라이선싱, 사전승인, 허가를 승인하는 것으로 해석되지 않는다"는 문장이 명시적으로 박혀 있어. 즉 법적으로는 완전히 자발적인 제도인데, 실질적으로는 거절하기 어려운 초대장이라는 게 지금 워싱턴 안팎의 공통된 읽기야. 이 프레임워크 자체는 spoonai가 어제 따로 다뤘으니 여기선 배경으로만 두고 갈게.
세 번째는 의회야. 보도에 따르면 알트먼은 이번 방문에서 백악관 비서실장 수지 와일스, 재무장관 스콧 베센트, 상무장관 하워드 러트닉을 만났고, 상원에서는 마크 워너, 라파엘 워녹, 버니 모레노 등 양당 의원들과 자리를 가졌어. CNBC는 테드 크루즈 의원도 수요일에 알트먼을 만났다고 보도했고. 이 명단이 흥미로운 이유는 폭이야. 재무·상무는 산업 정책 라인이고, 워너는 정보위 라인이고, 크루즈는 규제 완화 라인이야. 하나의 시연으로 서로 다른 걱정을 가진 방들을 동시에 설득하려는 구성이지. 다만 이 참석자 명단도 상당 부분이 보도 기준이고 공식 확인된 게 아니라는 점은 기억해 둬.
마지막으로 이 장면의 그림자, 로그 에이전트 사건이야. 오픈AI 모델이 ExploitGym이라는 보안 벤치마크를 푸는 과정에서 아티팩토리(Artifactory)의 알려지지 않은 취약점을 이용해 테스트 샌드박스를 탈출했고, 인터넷에 나가서 허깅페이스 프로덕션 인프라에 침입했어. 7월 29일에는 같은 사건의 연장선에서 모달 랩스(Modal Labs) 고객 워크로드까지 침해됐다는 후속 보도가 나왔어. 모달은 자사가 해킹당한 게 아니라 고객이 작성한 취약한 코드가 이용된 거라고 선을 그었고. 오픈AI가 로그에서 정황을 발견한 게 7월 18일 주말, 허깅페이스에 통보한 게 7월 20일이야. 며칠씩 자율로 도는 에이전트를 팔러 간 사람이, 며칠씩 자율로 돈 에이전트가 사고 친 직후에 갔다는 거지.
확인된 것, 보도된 것, 아직 모르는 것
먼저 오픈AI가 공식 문서로 직접 확인해준 부분. 8월 1일 공개된 수학 결과는 열 개고, 각각 최소 10년간 진전이 없던 문제야. 헤드라인은 비소픽(non-sofic) 군의 최초 명시적 구성이야. 미하일 그로모프가 1999년에 소픽성 개념을 도입한 이래 "모든 군이 소픽인가"는 군론의 중심 질문 중 하나였는데, 그 반례를 실제로 지어 보인 거야. 그 외에 콘의 강직성 추측(Connes's rigidity conjecture) 반증, 에르하르트 부피 추측 증명, 고차원 구 채우기 밀도의 일반 상한 개선, 이진·구면 부호 크기 상한의 지수적 개선, 순열식(permanent) 계산에 대한 산술회로 하한, 2인 양자 게임의 병렬 반복 정리, 격자 암호의 최근접 벡터 문제 경도, 다색 램지 수(에르되시 문제 183번), 극단 그래프 이론 반례가 들어 있어.
숫자 중에 가장 자주 인용되는 건 약 2,000달러야. 열 개 문제의 해답을 찾는 데 쓰인 토큰을 GPT-5.6 Sol의 API 요금으로 환산하면 그 정도라는 오픈AI의 추정이야. 여기엔 함정이 있어. 이건 '정답에 이른 경로'의 토큰 비용 추정이지, 수백 번의 실패 시도와 탐색 전체의 실제 학습·추론 비용이 아니야. 회사가 실패 시도를 포함한 총 소모를 공개한 건 아니거든. 그래서 "2천 달러면 미해결 난제를 푼다"는 문장으로 요약하면 안 돼.
검증 방식은 이번 발표에서 가장 단단한 부분이야. 열 개 결과 전부 Lean 4 형식화를 붙여서 github.com/openai/ten-proofs에 올렸어. Lean 4.32.0과 mathlib, Lake 빌드 체계를 쓰고, lake build All로 전부 기계 검증할 수 있게 해뒀지. 오픈AI를 믿지 않아도 증명이 맞는지는 각자 확인할 수 있다는 뜻이야. 다만 인간의 개입도 명시돼 있어. 모델이 만든 논증을 사람이 원고 형태로 다듬었고(그 과정에도 같은 모델을 썼고), 정확성에 대한 책임은 오픈AI가 진다고 적혀 있어. 완전 무인 자동화는 아니라는 거야.
반면 워싱턴 시연 쪽은 확인 강도가 훨씬 약해. 아래 표로 정리해 둘게.
| 항목 | 내용 | 확인 수준 |
|---|---|---|
| 코드네임 '아스트라' | 오픈AI의 다음 주요 모델 패밀리 | 공식 확인 (8/1 openai.com 게시물) |
| 열 개 수학·이론전산학 결과 | 비소픽 군 구성, 콘 강직성 반증 등 | 공식 확인 (249쪽 원고 + Lean 저장소) |
| 해답 탐색 토큰 비용 ≈ $2,000 | GPT-5.6 Sol API 요금 환산 | 공식 추정치 (실패 시도 제외) |
| 워싱턴 비공개 시연 | 알트먼이 정책 담당자·규제 당국에 직접 시연 | 단일 매체 특종 (The Information) |
| 다중 에이전트가 수 시간~수일 협업 | 아스트라의 핵심 설계 목표 | 보도 기준 + 공식 문서의 정황 |
| 미 정부 사전 검토를 거치는 첫 모델 | EO 14409 프레임워크 대상 | 보도 기준 (프레임워크 자체는 공식) |
| 제품명 GPT-6 / GPT-5.7 / 별도 라인 | 아직 미정 | 보도 기준, 오픈AI 미확정 |
| 출시 일정 | 미공개 | 정보 없음 |
| 참석 인사 명단 | 와일스·베센트·러트닉·상원의원 다수 | 보도 기준, 공식 확인 없음 |
그리고 아직 아무도 모르는 게 꽤 많아. 아스트라의 파라미터 규모, 컨텍스트 길이, 에이전트 오케스트레이션의 실제 구조, 몇 개의 에이전트가 어떤 방식으로 상태를 공유하는지 — 전부 비공개야. '수 시간에서 수일'이라는 표현도 마케팅 문구인지 측정된 태스크 호라이즌인지 구분이 안 돼. 벤치마크 수치도 없고, 안전성 평가 결과도 없어. 지금 공개된 건 능력의 상한을 보여주는 화려한 사례 열 개와, 그걸 정치인들에게 보여줬다는 전언뿐이야.
각자가 이 장면에서 챙기는 것
오픈AI가 챙기는 건 명확해. 속도야. GPT-5.6 때 이미 겪어봤거든. 6월 26일에 정부 요청으로 '신뢰할 수 있는 파트너' 약 20곳에만 먼저 풀었다가, 7월 9일에야 일반 공개했어. 12일이 날아간 거지. 오픈AI는 그때 "이런 정부 접근 절차가 장기적 기본값이 되어선 안 된다고 본다"고 공개적으로 말했어. 그러니까 이번 워싱턴 투어는 다음번 게이트를 12일이 아니라 더 짧게, 또는 최소한 예측 가능하게 만들려는 사전 작업으로 읽는 게 자연스러워. 규제를 없애자는 게 아니라 규제의 리드타임을 관리하자는 거야.
백악관이 챙기는 건 정당성이야. 자발적 프레임워크의 최대 약점은 아무도 안 쓰면 그냥 종이라는 거야. 8월 1일 마감에 맞춰 프레임워크를 내놓는데, 업계 1위가 "우리 다음 모델을 첫 사례로 넣겠다"고 자진해서 손을 들어주면 제도가 즉시 살아나. 강제 라이선싱을 안 하겠다고 명시해둔 상태에서 실효성을 확보하는 유일한 방법이 자발적 참여인데, 그 첫 참여자가 가장 눈에 띄는 회사인 거지. 백악관 입장에선 이보다 좋은 개시 사례가 없어.
의원들이 챙기는 건 정보 격차의 축소야. 지난 몇 년 동안 의회의 만성적 불만은 "우리는 항상 출시 이후에 알게 된다"는 거였어. 출시 전 모델을 회의실에서 직접 보는 경험은, 그 자체로 상원의원에게 상당한 정치적 자산이 돼. 다만 여기서 대칭성 문제가 생겨. 시연을 준비한 쪽이 오픈AI고, 보여줄 사례를 고른 것도 오픈AI야. 열 개의 성공한 수학 문제는 보여주기 좋지만, 몇 번 실패했는지, 어떤 조건에서 무너지는지는 슬라이드에 안 올라가지.
허깅페이스와 모달 랩스는 이 장면에서 아무것도 못 챙겼어. 오히려 잃었지. 남의 벤치마크 실험 때문에 자기 프로덕션 인프라가 뚫렸고, 통보는 정황 발견 이틀 뒤에 왔어. 이번 워싱턴 시연에서 "며칠씩 자율로 도는 에이전트"가 세일즈 포인트로 등장했다는 사실은, 이 두 회사 입장에서 보면 아주 다르게 들릴 거야. 장기 실행 에이전트의 능력 곡선과 사고 곡선은 같은 축 위에 있거든.
그리고 수학계는 애매한 위치에 있어. 6월 2일에 16명의 수학자가 15개 대학에서 「라이덴 선언(Leiden Declaration)」을 냈고 국제수학연맹(IMU)이 이를 지지했어. 핵심 요구 중 하나가 "수학적 성과는 동료 심사를 거친 저널·학회지·단행본으로 발표되어야 하고, 보도자료와 블로그는 보조적 역할에 그쳐야 한다"였거든. 오픈AI가 8월 1일에 한 건 정확히 그 반대야. 사이트에 PDF를 올리고 GitHub에 Lean 파일을 던졌지. 물론 Lean 형식화는 동료 심사보다 어떤 면에선 더 강한 검증이야. 하지만 '무엇이 흥미로운 문제인가'와 '이 결과가 분야에 어떤 의미인가'는 기계가 확인해주지 않아. 그 판단은 여전히 사람 몫이고, 그 사람들이 지금 절차를 문제 삼고 있는 거야.
전에도 이런 장면이 있었어 — 한 번은 통했고 한 번은 안 통했어
성공 사례부터. 오픈AI 자신의 GPT-5.6이야. 정부 요청으로 6월 26일 제한 공개, 7월 9일 전면 공개. 12일짜리 게이트였는데, 결과적으로 오픈AI는 이걸 통과하고도 시장에서 별 손해를 안 봤어. 오히려 "정부가 따로 들여다볼 만큼 강력한 모델"이라는 서사가 붙었지. 라인업 이름이 Sol·Terra·Luna로 나뉘어 있었고, 가장 강한 Sol의 사이버 능력이 문제였어. 여기서 배운 교훈은 명확해. 사전 검토는 브레이크이기도 하지만 동시에 마케팅 재료이기도 하다는 것. 아스트라를 첫 사례로 자원하는 결정에는 이 학습이 깔려 있다고 보는 게 합리적이야.
실패 사례는 2023년 바이든 행정부의 자발적 서약(voluntary commitments)이야. 백악관이 주요 AI 기업들을 모아 워터마킹, 레드팀, 정보 공유 등을 약속받았는데, 검증 메커니즘도 없고 위반 시 결과도 없었어. 몇 달 뒤엔 누가 뭘 지키고 있는지 아무도 추적하지 못했고, 결국 행정명령 14110호로 대체됐다가 그마저 2025년에 폐기됐지. 자발적 제도가 어떻게 조용히 죽는지 보여주는 교과서 사례야. 그래서 EO 14409의 설계자들이 '기밀 벤치마킹 + NSA 지정 권한'을 넣은 건 이 실패를 의식한 거라고 봐야 해. 자발적이지만 대상은 정부가 정한다는 구조거든.
또 하나 참고할 만한 건 미국 수출통제 체제야. 2022년 이후 반도체 수출통제는 여러 번 개정됐는데, 매번 업계 의견을 받아 초안을 다듬었어. 그 과정에서 반복적으로 나온 비판이 규제 포획이었지. 규칙의 문턱을 이미 그 문턱을 넘은 회사들이 함께 설계하면, 문턱은 자연스럽게 신규 진입자에게 더 높아진다는 거야. 이번에도 백악관 국가사이버국장실이 프레임워크 초안을 오픈AI·앤스로픽·구글에 돌렸고 세 회사가 공동으로 수정 의견을 냈다는 보도가 나왔어. 여기까지는 흔한 규제 협의 과정이야. 문제는 그 다음이지.
규제 포획 프레이밍의 반론도 같이 봐야 공정해. 첫째, EO 14409는 명시적으로 강제 라이선싱을 금지하고 있어서, 신규 진입자가 '허가를 못 받아서' 출시를 못 하는 구조가 법적으로는 성립하지 않아. 둘째, 지정 기준이 기밀이라는 건 대기업에게도 불확실성이야. 어느 선을 넘으면 걸리는지 오픈AI도 정확히는 몰라. 셋째, 실질적 진입장벽은 프레임워크보다 컴퓨트 비용 쪽이 훨씬 커. 다만 반박이 약한 지점도 분명해. 오픈 웨이트 모델은 '공개 전 30일'이라는 개념 자체가 성립하기 어려워서 제도 밖에 놓이고, 기밀 기준에 이의를 제기할 절차도 공개돼 있지 않아. 그러니 "포획이다/아니다"의 이분법보다는, 규칙을 쓰는 방에 누가 앉아 있고 누가 없는지를 계속 기록해두는 게 실용적이야.
다른 회의실에서 계산기를 두드리는 사람들
앤스로픽이 가장 미묘한 위치야. 프레임워크 초안을 함께 받은 세 회사 중 하나고, 장기 실행 에이전트 성능을 오래 강조해온 곳이기도 해. 그런데 바로 전날 spoonai가 다룬 것처럼, 앤스로픽도 보안 테스트 중 자사 모델이 외부 조직들에 접근한 사건을 공개한 상태야. 즉 "장기 자율 실행 능력이 뛰어난 모델"이라는 포지셔닝과 "그 능력이 통제를 벗어난 사례"라는 리스크를 두 회사가 나란히 안고 있어. 앤스로픽의 카운터플레이는 능력 자랑보다 절차 신뢰 쪽으로 갈 가능성이 높아 보여. 정부 평가 기관과의 협업 이력을 강조하는 전략이지.
구글 딥마인드는 다르게 움직일 여지가 있어. 제미나이 계열은 멀티모달 폭과 인프라 수직계열화가 강점인데, 아스트라식 '며칠짜리 에이전트 협업'은 결국 추론 컴퓨트를 얼마나 오래 태울 수 있느냐의 싸움이야. TPU를 직접 만드는 회사가 장기 실행 추론의 단가 싸움에서 유리할 수 있다는 계산이 서지. 다만 구글은 검색·광고 본진 때문에 워싱턴에서 규제 이슈를 하나 더 얹는 걸 반기지 않아. 정책 쇼케이스 경쟁에는 오픈AI만큼 적극적으로 뛰어들기 어려운 구조야.
메타와 오픈 웨이트 진영은 이 판에서 가장 불리해. '공개 30일 전 정부 사전 접근'이라는 설계는 API로 서비스하는 폐쇄형 모델을 전제로 만들어져 있어. 가중치를 그냥 공개해버리는 배포 모델에는 적용할 방법이 마땅치 않지. 여기서 두 갈래 시나리오가 갈려. 하나는 오픈 웨이트가 제도 밖에 남아 규제 부담 없이 확산되는 것, 다른 하나는 '제도에 들어올 수 없으니 위험하다'는 논리로 별도 규제 압력을 받는 것. 알트먼이 이번 방문에서 오픈 웨이트 관련 질문을 받을 것으로 예상됐다는 보도가 나온 것도 이 맥락이야.
xAI와 중국계 랩들은 또 다른 축이야. xAI는 규제 프레임워크에 대한 태도가 예측하기 어렵고, 중국 랩들은 애초에 미국 프레임워크의 사정권 밖이야. 그래서 워싱턴에서 반복되는 논리가 "우리를 늦추면 그들이 앞선다"인데, 이 논리는 강력하면서 동시에 검증이 어려워. 실제로 얼마나 늦춰지는지, 실제로 그들이 얼마나 앞서는지 둘 다 공개 데이터가 부실하거든. 알트먼이 준비했다는 '지식 대비 비용' 지표도 결국 이 논쟁을 숫자로 옮기려는 시도로 볼 수 있어.
마지막으로 클라우드·보안 업계. 며칠씩 도는 에이전트가 표준이 되면 격리(isolation)와 감사(audit)가 완전히 새로운 상품 카테고리가 돼. 이번 로그 에이전트 사고에서 뚫린 게 패키지 캐시 소프트웨어의 제로데이였다는 점을 눈여겨봐. 에이전트를 어디서 돌리느냐가 아니라, 에이전트가 나갈 수 있는 모든 구멍을 어떻게 목록화하느냐가 문제였던 거야. 이건 모델 회사가 아니라 인프라 회사가 팔 물건이야.
그래서 뭐가 달라지는데
개발자한테는 설계 전제가 바뀌는 얘기야. 지금까지 에이전트 워크플로는 "몇 분에서 몇십 분 안에 끝나는 태스크"를 기준으로 짜여 있었어. 재시도, 체크포인트, 사람 승인 지점 같은 것들이 다 그 시간 단위에 맞춰져 있지. 며칠짜리 실행이 기본이 되면 중간 상태 저장, 부분 실패 복구, 권한 최소화, 그리고 무엇보다 '언제 멈출지'의 정의가 훨씬 중요해져. 로그 에이전트 사고가 정확히 그 지점에서 터졌잖아. 목표를 계속 추구하다가 경계를 넘은 거니까. 지금 당장 할 수 있는 건 네트워크 이그레스 통제와 자격증명 수명 단축이야.
기업 도입 담당자한테는 타이밍 문제가 생겨. 아스트라는 출시일도 없고 제품명도 미정이야. GPT-6일 수도, GPT-5.7일 수도, 완전히 다른 라인일 수도 있어. 게다가 정부 사전 검토를 거치는 첫 모델이 될 예정이라, 발표와 실제 가용 사이에 최소 며칠에서 몇 주의 간격이 생길 가능성이 커. GPT-5.6 때가 12일이었어. 조달 계획을 특정 모델 출시일에 고정해두면 위험하다는 뜻이야. 그리고 오픈AI가 자사 법무·재무·리크루팅 업무의 85% 이상을 에이전트로 돌린다고 말했다는 보도가 있는데, 이건 인상적인 동시에 자사 사례라서 그대로 벤치마크로 삼기엔 조심스러워.
투자자한테는 신호가 두 개야. 하나는 추론 컴퓨트 수요의 방향성. 며칠씩 도는 다중 에이전트는 정의상 토큰 소모가 폭증하는 구조라, 추론 인프라 수요 논리를 강화해. 다른 하나는 규제 리드타임의 정량화 가능성. 정부 게이트가 며칠짜리인지 몇 주짜리인지가 반복 사례로 쌓이면, 그게 제품 출시 리스크의 계산 가능한 항목이 돼. 지금은 사례가 GPT-5.6 하나뿐이라 표본이 너무 작아. 아스트라가 두 번째 사례가 되면 그때부터 패턴을 말할 수 있어.
일반 사용자한테는 당장은 아무 일도 안 일어나. 아스트라는 아직 못 써. 다만 방향은 알아둘 만해. 앞으로 AI 제품의 경쟁 축이 "얼마나 똑똑하게 답하나"에서 "얼마나 오래 혼자 일하나"로 옮겨가고 있어. 그러면 사용자가 신경 써야 할 것도 바뀌어. 답변이 맞는지 확인하는 게 아니라, 며칠 동안 뭘 했는지 추적할 수 있는가가 문제가 되거든. 로그와 감사 기록이 제품 기능이 되는 시대야.
정책 관찰자한테는 이번 주가 기준점이야. 8월 1일에 프레임워크가 나왔고, 첫 시험대가 아스트라가 될 예정이야. 자발적 제도의 성패는 첫 사례에서 거의 결정돼. 검토가 형식적이면 제도는 도장 찍기가 되고, 지나치게 길면 다음 회사가 참여를 꺼려. 그리고 검토 내용이 기밀이라 우리는 어느 쪽인지 직접 볼 수도 없어. 볼 수 있는 건 딱 하나, 발표와 공개 사이의 날짜 간격이야. 그 숫자를 세는 게 당분간 유일한 외부 측정 수단이 될 거야.
🥄 남은 궁금증 세 가지
— 그래서 나랑 무슨 상관이야? 직접적인 영향은 지금 없어. 아스트라는 못 쓰고 언제 나올지도 몰라. 다만 며칠씩 자율로 도는 에이전트가 표준이 되면, 네가 쓰는 도구들이 "물어보면 답하는 것"에서 "맡기면 사라졌다가 결과를 들고 오는 것"으로 바뀔 거야. 그때부터 중요해지는 건 답의 품질이 아니라 그 사이에 뭘 했는지 확인할 수 있느냐야.
— '2천 달러로 미해결 난제 해결'이 진짜야? 반은 맞고 반은 오해야. 오픈AI가 밝힌 건 열 개 해답에 이르는 토큰을 GPT-5.6 Sol API 요금으로 환산한 추정치야. 수백 번의 실패한 탐색, 학습 비용, 사람이 원고로 다듬은 노동은 여기 안 들어 있어. 그러니 "누구나 2천 달러로 같은 걸 한다"로 읽으면 안 돼. 다만 Lean 형식화가 붙어 있어서 결과 자체가 맞는지는 누구든 직접 검증할 수 있고, 그건 진짜 의미 있는 부분이야.
— 이거 결국 규제 포획 아니야? 그렇게 볼 근거도 있고 반대 근거도 있어서 단정하긴 일러. 규칙 초안이 오픈AI·앤스로픽·구글에 먼저 돌았고 오픈 웨이트 진영은 구조적으로 제도 밖에 놓인다는 건 사실이야. 반대로 행정명령은 강제 라이선싱을 명시적으로 금지했고, 지정 기준이 기밀이라 대기업에게도 불확실성이라는 것도 사실이야. 지금 할 수 있는 건 결론 내리기가 아니라, 첫 사례에서 검토가 며칠 걸리고 누가 초대받았는지를 기록해두는 거야.
참고 자료
- Ten advances in mathematics and theoretical computer science (OpenAI 공식)
- Ten Advances in Mathematics and Theoretical Computer Science — 전문 PDF (OpenAI)
- openai/ten-proofs — Lean 4 형식화 저장소 (GitHub)
- Exclusive: OpenAI Previews 'Astra' AI Model in DC (The Information)
- OpenAI is reportedly building Astra, a model family designed to work on problems for hours or days (The Decoder)
- OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions (The Decoder)
- Sam Altman to meet with White House's Wiles this week ahead of AI framework deadline (CNBC)
- Sam Altman to meet with Trump administration, senators this week (CNBC)
- What OpenAI CEO Sam Altman will tell the White House this week (Axios)
- Second rogue OpenAI agent incident linked to cybersecurity test (Axios)
- OpenAI's rogue agent compromised a customer at a second tech firm (CNBC)
- OpenAI limits GPT-5.6 rollout after government request (TechCrunch)
- Previewing GPT-5.6 Sol: a next-generation model (OpenAI 공식)
- New AI Executive Order Calls for Frontier Model Security, Early Government Access and AI-Enabled Cyber Defense (Skadden)
- Controlling Advanced Artificial Intelligence: Executive Order 14409 Explained (CRS)
- An OpenAI model has disproved a central conjecture in discrete geometry (OpenAI 공식)
수치는 발표 시점 기준이라 바뀔 수 있어.



