앤트로픽의 큰 컴퓨팅 계약, 결국 누가 그 약속의 돈을 책임지느냐는 얘기입니다. AI Daily Briefing — Easy Korean입니다. 오늘은 앤트로픽 계약의 금융 구조, SpaceX의 전력 목표, 그리고 AI 답을 검사하는 새 증명 도구까지 봅니다. 먼저 앤트로픽부터 가죠.
출처는 바이트 유럽입니다:
블룸버그에 따르면, Claude를 만든 Anthropic은 Volta Infra Holdings와 6년간 100억 달러 규모의 컴퓨팅 구매 계약을 체결했습니다. Volta Infra Holdings는 2026년 1월에 설립된 스타트업으로, 설립된 지 약 7개월 됐습니다. 이 계약으로 최첨단 인공지능 연구소인 Anthropic은 노르웨이에 있는 Bitdeer Technologies Group의 티달 데이터센터 단지에서 Nvidia Vera Rubin의 121 IT 메가와트 규모 컴퓨팅 용량을 이용할 수 있게 됐습니다.
볼타는 올해 1월에 생긴 지 7개월 된 회사예요. 그런데 Anthropic과 6년, 100억 달러 계약의 직접 상대가 됐습니다. 이 회사가 잡은 건 GPU가 아니라, 계약을 성립시키는 금융 구조예요. JP모건 계열사의 13억 달러 신용장, 은행이 지급을 뒷받침하는 문서이죠. 여기에 이름이 공개되지 않은 글로벌 기관까지 붙었습니다. Anthropic의 컴퓨팅 비용이 연구소 장부에서 은행 신용으로도 흘러가기 시작한 겁니다. 노르웨이 티달 시설의 엔비디아 베라 루빈 용량은 121메가와트입니다. Anthropic 매출이 계약 중간에 기대만큼 안 커지면, 그 전력을 누가 얼마나 오래 채우는지 봐야 해요. 계약서의 100억 달러와 실제 사용량은 같은 숫자가 아닙니다. 비트디어는 시설을 계속 100% 소유하고, 볼타는 그 위에 자금과 신용을 얹습니다. 비트디어가 공개한 16년 임대 계약의 기본 매출은 47억 달러. AI 인프라 경쟁이 이제 칩 경쟁만은 아니네요.
출처는 Nile1입니다:
SpaceX는 2027년 말까지 인공지능 컴퓨팅 용량을 최대 20기가와트로 늘리는 것을 목표로 하고 있습니다. 이를 위해 2분기에 184억 달러를 자본 지출로 투입하며 대규모 인프라 건설을 빠르게 진행하고 있습니다. 최고경영자 일론 머스크는 화요일, 상장사로서 처음 연 실적 발표에서 이 확대 목표를 공개했습니다.
스페이스X는 2분기에 이미 184억 달러를 썼습니다. 그중 거의 160억 달러가 AI 인프라, 즉 데이터센터와 칩을 돌릴 시설에 들어갔고요. 그런데 20기가와트는 2027년 말 목표예요. 쓴 돈과 아직 지어야 할 용량은 구분해야 합니다. 현재 컴퓨팅 용량은 1.4기가와트입니다. 연말 2기가와트 이상, 2027년 말 20기가와트라면 열 배 가까이 키우는 계획이죠. 머스크도 공사가 늦으면 15기가와트 정도라고 했습니다. 분기 AI 매출은 26억 달러, 계약된 클라우드 서비스는 141억 달러입니다. 숫자는 큽니다. 하지만 20기가와트짜리 시설은 계속 바쁘게 돌아가야 비용이 맞아요. GPU, 즉 AI 계산용 칩을 엔비디아에서 대량 받는다고 해도, 빈 랙은 매출을 만들지 않습니다. 조금 전 Anthropic 계약도 봤지만, 이번 주는 계약과 전력 용량이 함께 커지고 있습니다. 스페이스X는 처음 공개 실적 발표에서 우주항공 기술로 지상 데이터센터를 짓겠다고 했어요. 로켓 회사의 다음 큰 시험은 발사가 아니라 가동률일 수 있겠습니다.
출처는 루미다 뉴스입니다:
CoreWeave는 인도네시아에 총 360메가와트 규모의 데이터센터 3곳을 건설할 계획을 발표했습니다. 이는 아시아 시장에 처음 진출하는 것입니다. 이 시설들은 동남아시아 전역의 연구소, 스타트업, 기업 고객을 대상으로 합니다. 시설은 2028년에 가동될 예정이며, 현지 팀이 운영합니다. CoreWeave는 구체적인 비용을 밝히지 않았지만, 이 사업에 수십억 달러를 쓸 것이라고 말했습니다.
코어위브가 인도네시아에 서버를 돌리는 데이터센터 세 곳, 합쳐서 360메가와트를 짓겠다고 했습니다. 가동 목표는 2028년이에요. 지금 빈 용량이 없다는 말과, 2028년에 실제 고객 일이 돈다는 말은 꽤 다른 얘기죠. 그래도 인도네시아를 첫 아시아 시장으로 고른 이유는 분명합니다. 기업 데이터는 나라 안에 둬야 한다는 데이터 현지 보관 규정이 있어서, 미국이나 싱가포르 서버만으로는 계약을 따기 어려운 시장이에요. 발표 뒤 주가가 19.49퍼센트 올랐는데, 시장은 360메가와트를 이미 쓸 수 있는 전기처럼 보고 있습니다. 코어위브는 2026년 기존 49개 시설 용량이 거의 다 팔렸다고 했지만, 이번 세 곳은 아직 건설 전입니다. 앞서 본 앤트로픽 계약도 그렇고, 오늘은 미래 용량을 먼저 돈으로 바꾸는 날이네요. 코어위브가 ‘수십억 달러’를 쓴다고만 한 만큼, 2028년까지 전력과 고객 계약을 얼마나 단단히 묶는지가 더 중요합니다.
IT Brief Asia의 션 미첼이 전한 내용입니다:
Sharon AI는 한 글로벌 인공지능 플랫폼과 3억 7,300만 달러 규모의 5년짜리 인공지능 클라우드 서비스 계약을 체결했습니다. 이에 따라 고객과 계약한 AI Factory 용량의 비중이 늘어났습니다.
샤론 AI는 132메가와트 가운데 120메가와트를 이미 고객과 계약했습니다. 91%예요. 조금 전 2028년 가동을 말한 CoreWeave와 달리, 여기엔 지금 잡힌 수요가 있습니다. 5년간 3억 7,300만 달러 계약이고 매출은 2027년 1분기부터 예상됩니다. 고객 이름은 공개하지 않았지만, 남은 빈 용량은 12메가와트뿐입니다. 첫 배치는 엔비디아 Blackwell Ultra B300 GPU 2,048개입니다. GPU는 인공지능 계산용 칩이죠. 6만 4천 개 목표보다 제가 보는 숫자는 이쪽입니다. 실제로 어느 고객 작업이 이 2,048개에서 계속 돌아가느냐. 아시아태평양 수요를 잡겠다는 말은 흔합니다. 하지만 120메가와트가 계약서에 들어간 건 꽤 단단한 신호예요. 이제 2027년 매출 시작이 그 계약을 뒷받침하는지 보면 됩니다.
arXiv의 하오 셴이 전한 내용입니다:
MechGeo를 소개합니다. MechGeo는 Mathlib를 기반으로 한 에이전트형 프레임워크입니다. 이 시스템은 유클리드 기하 문제를 충실하게 자동 형식화하고, 인증된 증명을 만드는 일을 함께 처리합니다. 이 프레임워크에서 GeoFormalizer는 비형식적인 문제를 GeoIR로 표현합니다. 그런 다음 이를 정해진 방식으로 Lean 4로 변환합니다. 이후 구조 진단과 의미 평가를 사용해 후보 문장을 반복해서 수정합니다.
오늘 나온 것 중 제가 제일 보고 싶은 결과는 이겁니다. MechGeo가 국제수학올림피아드 기하 문제 43개 중 29개를 풀었고, Lean 4의 커널, 그러니까 증명을 기계적으로 검사하는 핵심 프로그램이 그 답을 확인했어요. 앞에서 100억 달러 계약과 20기가와트 목표를 봤죠. 여기서는 큰 숫자 대신, 답이 맞는지 독립적으로 걸러낼 수 있는 장치가 나왔습니다. 더 좋은 부분은 틀린 14개를 그냥 실패로 덮지 않았다는 거예요. 반례, 즉 원래 문장이 틀렸다는 예를 Lean 4로 확인했고, 사람이 고친 뒤에는 14개도 모두 증명했습니다. 에이전트가 중간 단계에서 틀리면 잡아내는 구조가 실제로 보인 겁니다. 다만 이건 기하 문제입니다. 회사의 실제 데이터와 긴 작업 흐름으로 바로 옮길 수는 없어요. 그래도 외부 도구가 계산을 도와도 마지막 증명은 Lean 4가 받거나 거절한다는 점은, 데모 영상보다 훨씬 믿을 만합니다.
오늘 방송이 도움이 되셨다면, 듣고 계신 곳에서 구독하고 짧은 후기를 남겨 주세요. 여러분의 후기는 다른 사람들이 이 방송을 찾는 데 큰 도움이 됩니다.
앞으로 SpaceX의 명목 컴퓨팅 용량, 즉 표시된 계산 능력이 2026년 말까지 2기가와트를 넘을지 지켜보겠습니다. CoreWeave의 인도네시아 데이터센터 세 곳은 2028년에 가동될 예정이고, Sharon AI의 새 클라우드 서비스 계약 매출은 2027년 1분기에 시작될 것으로 예상됩니다.
오늘 다룬 모든 이야기의 링크는 쇼 노트에 모아 두었습니다. 관심이 간 내용은 링크를 눌러 더 읽어 보세요.
오늘의 AI 데일리 브리핑, 쉬운 한국어 편이었습니다. 랜턴 팟캐스트입니다.