AI·코딩·테크 브리핑 2026-08-02: EU AI법 집행 전환과 Astra의 수학 증명 10건

AI·코딩·테크 브리핑 2026-08-02: EU AI법 집행 전환과 Astra의 수학 증명 10건
목차

오늘부터 달라지는 것, 그리고 아직 달라지지 않는 것

주말이라 신제품 발표는 조용했습니다. 대신 규제 시계와 연구 성과가 같은 날 한 칸씩 움직였습니다. 한쪽에서는 유럽의 AI 규범이 문서에서 집행으로 넘어갔고, 다른 쪽에서는 모델이 10년 넘게 풀리지 않던 수학 문제의 답을 내놓았습니다. 두 소식 모두 "무엇이 확정되었고 무엇이 아직 아닌가"를 구분해서 읽어야 하는 종류입니다.


EU AI법, 의무의 시대에서 집행의 시대로

8월 2일부터 EU AI Office와 회원국 감독기관이 AI법의 감독·집행 역할을 본격적으로 맡습니다. AI Office는 범용 AI 모델 제공자에게 기술 문서를 요구하고, 모델을 평가하고, 시정 조치와 과징금을 부과할 수 있습니다. 규범이 존재하는 단계에서 그 규범을 강제할 주체가 움직이는 단계로 넘어간 셈입니다.

같은 날부터 챗봇은 사용자가 기계와 대화하고 있다는 사실을 알려야 하고, 생성형 AI 제공자는 만들어낸 콘텐츠를 식별할 수 있게 해야 합니다. 딥페이크와 공익 정보를 다루는 일부 AI 생성 텍스트에는 명확한 표시 의무가 붙습니다.

여기서 자주 나오는 오해를 하나 정리하고 갑니다. "오늘부터 AI법이 전면 적용된다"는 표현은 정확하지 않습니다. 디지털 옴니버스 협상 결과로 고위험 AI 규정의 적용 시점이 뒤로 밀렸기 때문입니다. 이사회와 유럽의회는 5월 7일 규칙 간소화에 잠정 합의했고, 그 결과 Annex III에 열거된 단독형 고위험 시스템은 2027년 12월 2일로 16개월, 제품에 내장되는 Annex I 고위험 시스템은 2028년 8월 2일로 12개월 미뤄졌습니다. 다만 이 변경은 관보 게재를 거쳐야 법적 효력이 생기며, 8월 2일 이전 게재가 예상된다는 조건이 붙어 있었습니다.

실무 관점에서는 국적이 기준이 아니라는 점이 중요합니다. 한국에서 만든 서비스라도 EU 사용자에게 챗봇이나 이미지·음성 생성, 콘텐츠 자동 게시 기능을 제공한다면 대상입니다. 약관 한 줄에 "AI를 사용합니다"라고 적어두는 것보다, UI에서의 고지와 출력물에 붙는 메타데이터·워터마크 처리가 실제 판단 기준에 가깝습니다.


Astra, 미해결 문제 10건을 2,000달러에

오픈AI는 8월 1일 수학과 이론 컴퓨터과학의 새로운 결과 10건을 공개하면서, 차기 모델 패밀리의 이름이 Astra임을 함께 밝혔습니다. 제품으로 출시된 것은 아니고, 결과물로 먼저 존재를 알린 형태입니다.

선정된 문제들은 핵심 결과가 최소 10년 이상 정체되어 있던 것들이고, 고차원 기하학·부호 이론·산술 회로 복잡도·군론·작용소 대수·양자 복잡도·격자 암호·극단 조합론까지 여덟 개 분야에 걸쳐 있습니다. 비소픽(non-sofic) 군의 존재를 보이는 구성, 작용소 대수에서 콘의 강직성 추측 반증, 양자 게임의 지수적 병렬 반복 정리, 에르되시 문제 두 건의 해결이 대표적으로 꼽힙니다.

엔지니어 입장에서 눈에 띄는 것은 검증 구조입니다. 모델이 만든 논증을 사람이 논문 형태로 정리했고, 그 결과를 다시 모델이 Lean 증명 인증서로 형식화했습니다. 공개된 249쪽 원고와 Lean 4 인증서 저장소의 sorry 개수는 0입니다. 증명에 빈 구멍이 남아 있지 않다는 뜻입니다. 그리고 열 건 전체를 얻는 데 든 연산 비용은 Sol API 단가 기준으로 약 2,000달러였습니다.

다만 "새로운 결과 10건"이 곧 학계의 최종 인정은 아닙니다. 형식 증명은 논리적 일관성을 강하게 보장하지만, 문제 정의가 적절한지, 전제가 타당한지, 기존 연구와 겹치지 않는지까지 자동으로 보증하지는 않습니다. 이 부분은 독립 연구자의 검토와 심사를 거쳐야 결론이 납니다.


단가는 확정됐고, 속도는 유료 옵션이 됐다

7월 30일 조정된 GPT-5.6 API 단가는 이제 확정된 것으로 봐도 됩니다.

모델입력(100만 토큰)출력(100만 토큰)
GPT-5.6 Sol$5$30
GPT-5.6 Terra$2$12
GPT-5.6 Luna$0.20$1.20

Luna가 80%, Terra가 20% 내려갔고 Sol은 그대로입니다. 대신 Sol에는 Fast 모드가 붙었습니다. 기존 Priority Processing을 7월 30일자로 이름을 바꾼 것으로, 표준 대비 최대 2.5배 빠른 처리를 표준의 두 배 가격에 제공합니다. 모델의 지능이 달라지는 것은 아니고 순수하게 처리 속도만 사는 옵션입니다. service_tier: "priority"로 보내던 기존 요청은 계속 호환됩니다.

주의할 점은 문서 쪽입니다. GPT-5.6 소개 페이지에는 출시 당시 단가(Terra $2.50/$15, Luna $1/$6)가 남아 있는 구간이 있습니다. 코드나 대시보드에 단가를 하드코딩해 두었다면 이번 기회에 갱신하는 편이 안전합니다. ChatGPT와 Codex의 구독료·전체 쿼터가 내려간 것은 아니며, Terra와 Luna를 쓸 때 차감되는 크레딧이 줄어든 것입니다.

라우팅 관점에서는 계층 구조가 명확해졌습니다. 로그 분류나 테스트 작성, 문서 요약, 코드 탐색처럼 반복량이 큰 작업은 Luna에 먼저 태우고, 실패했거나 판단이 복잡한 건만 Terra와 Sol로 올리는 방식이 비용 대비 효율이 좋습니다.


개발 도구와 국내 인프라

GitHub, Stacked Pull Requests 공개 미리보기

GitHub가 서로 의존하는 PR을 순서대로 쌓아 관리하는 Stacked Pull Requests를 공개 미리보기로 배포하기 시작했습니다. 큰 변경을 집중된 층 여러 개로 쪼개 각각 리뷰하면서, 하나만·일부만·전체를 골라 병합할 수 있습니다.

웹과 모바일 앱, CLI(gh extension install github/gh-stack)에서 쓸 수 있고 Copilot 같은 코딩 에이전트도 gh-stack 스킬로 접근합니다. 기존 리뷰와 상태 검사, 브랜치 보호 규칙은 그대로 적용됩니다. 저장소 전체에 순차 배포 중이고, merge queue 연동은 몇 주에 걸쳐 확대될 예정입니다.

에이전트가 만들어낸 거대한 PR이 리뷰 병목이 되는 상황에서는 쓸 만한 도구입니다. "DB 변경 → API 수정 → UI 변경 → 테스트"처럼 의존 순서가 분명한 작업을 층으로 나누면 리뷰어의 부담이 실제로 줄어듭니다. 다만 미리보기 단계라 UI와 CLI 동작이 바뀔 수 있고, PR을 잘게 나눈다고 품질이 저절로 올라가지도 않습니다. 층 사이의 숨은 의존성과 중간 상태의 빌드 실패는 여전히 따로 확인해야 합니다.

AI 데이터센터 얼라이언스 출범

국내에서는 과학기술정보통신부가 7월 29일 서울 롯데호텔에서 AI 데이터센터 얼라이언스 출범식을 열었습니다. 18.4기가와트 규모의 AIDC 구축과 전후방 산업의 수출 산업화, 클러스터·테스트베드 조성을 담은 'AIDC 국가 전략 산업화' 전략을 이행하기 위한 협의체입니다.

정부와 민간 공동의장 체제로 운영되고 초대 민간의장은 정재헌 한국정보통신진흥협회장이 맡았습니다. 의장단에는 네이버클라우드, 삼성SDS, SK텔레콤, NHN클라우드, LS일렉트릭, LG유플러스, LG전자, GS, 카카오, KT, KTNF, 퓨리오사AI 등 12개 기업이 참여하고, 수요·공급·기반 3개 분과와 수출산업화 태스크포스로 구성됩니다.

정책 방향이 모델 개발 지원에서 전력과 네트워크, 가속기, 인재를 함께 묶는 인프라 쪽으로 넓어지고 있다는 신호입니다. 다만 출범은 협의체와 방향의 확정이지 착공이나 공급 물량의 확정이 아닙니다. 구체적인 위치와 전력 규모, 투자액, 가동 시점은 개별 사업 발표를 따로 확인해야 합니다.


확정된 것과 예고된 것 사이에서

오늘 정리한 네 가지 소식에는 공통점이 하나 있습니다. 전부 "이미 정해진 부분"과 "아직 정해지지 않은 부분"이 한 문단 안에 섞여 있다는 점입니다. AI법은 집행 체계가 가동되지만 고위험 조항은 1년 이상 미뤄졌고, Astra의 증명은 기계가 검증했지만 학계 심사는 남아 있으며, Stacked PR은 공개됐지만 미리보기이고, 얼라이언스는 출범했지만 착공은 아닙니다.

이런 뉴스를 읽을 때 실무자가 얻어야 할 것은 결론이 아니라 경계선입니다. 어디까지가 지금 코드에 반영해야 할 사실이고, 어디부터가 캘린더에 표시해 두고 기다릴 항목인지 구분해 두면, 급하게 대응하다 두 번 일하는 상황을 줄일 수 있습니다.


당신의 트리거는 무엇인가요?

빠르게 움직이는 분야일수록 "언제부터"라는 질문이 "무엇을"보다 중요해집니다. 오늘 확인한 날짜들 가운데 팀의 로드맵에 실제로 적어 둘 항목은 몇 개나 될까요?

EU 사용자를 대상으로 한 고지 화면, 코드에 박혀 있는 옛 단가, 리뷰가 밀리고 있는 대형 PR. 이 중 하나라도 짚인다면, 그것이 이번 주에 당길 방아쇠일 것입니다.

참고 자료

← 이전 글
AI·코딩·테크 일일 브리핑 — 2026년 8월 1일
다음 글 →
AI·코딩·테크 브리핑 2026-08-03: 오늘 만료되는 것들과 4주 남은 가격표