2026-07-05

1. Anthropic, 싱가포르·VPN 우회로 Claude 를 쓰던 중국 기업들을 단속 (점수 2.03)

Anthropic 이 약 2만 5,000개 계정의 접근을 끊고 약 2,880만 건의 Claude 상호작용을 삭제했다. 싱가포르 자회사 경유와 VPN 중계소를 쓰던 중국 주체들이 만든 것으로, 주로 Alibaba 와 그 계열 랩과 연결된다. FT 는 7월 3일 이 조치를 특정 국가의 기업 생태계를 겨냥한 프런티어 랩의 모델 사용 제한 중 가장 광범위한 것으로 보도했다. 해당 계정들은 Anthropic 이 체계적 증류 캠페인이라고 표현한 목적으로 Claude 응답을 모아 왔다. 싱가포르 경유는 Anthropic 의 지역 라이선스 구조(중국 본토 직접 접근 불가)를 파고든 것이었고, 이번 조치는 그 틈을 막으면서 사용 제한을 관철하기 위해 상당한 상업적 비용(중국 인접 기업 매출)을 감수하겠다는 신호를 준다.

의의: 국가와 가까운 행위자의 AI 모델 증류를 정확히 겨냥한 첫 대규모 집행(계정 2만 5천 개)이며, 랩이 간접 접근을 어떻게 단속할 수 있는지에 대한 새 선례를 만든다. 얼마 뒤 공개된 Alibaba 의 Qwen 3.5 계열은 Claude 특유의 벤치마크에서 유난히 강한 성능을 보였다 — 증류 가설이 이제 정책적 힘을 얻고 있다. → Anthropic · Alibaba / Qwen AI Lab · source

2. Leanstral 1.5 — 오픈소스 형식 검증 모델이 miniF2F 를 100% 로 포화시키다 (점수 1.86)

Mistral 이 7월 1~2일 Leanstral 1.5 를 공개했다. Lean 4 자동 정리 증명을 겨냥해 만든 119B MoE 모델(활성 파라미터 6.5B)이다. miniF2F 100%(형식 수학의 대표 벤치마크를 완전히 포화시켰다), PutnamBench 587/672(87.4%)를 기록했고, 오픈소스 저장소 57곳에서 알려지지 않았던 버그 5건을 찾아냈다. Apache 2.0 라이선스이며 무료 API 엔드포인트와 HuggingFace 가중치로 제공된다.

의의: 형식 검증은 지금까지 전문 지식과 몇 주에 걸친 수작업 증명을 요구해 왔다. 대표 벤치마크를 포화시키는 실사용 가능한 오픈소스 모델이 나오면서, 수학적으로 인증된 소프트웨어를 누구나 만들 수 있게 됐다 — Apache 2.0 라이선스 덕분에 항공우주·금융·안전 필수 인프라에서의 상용 배포도 열린다. 실질적인 핵심은 버그 탐지 결과다. 실제 코드베이스에서 이미 쓸모가 있다. → Leanstral 1.5 · Mistral AI · source

3. 펜타곤 법원 이메일 공개 — "매우 가까운" 관계, 수정헌법 제1조 판단 (점수 1.69)

7월 2일 봉인이 풀리고 7월 4일 보도된 법원 문서에는 Emil Michael(Anthropic 투자자·자문)이 국방부–Anthropic 계약 검토를 총괄하던 펜타곤 관계자와 "매우 가깝다" 고 표현한 이메일이 들어 있다. Lin 판사는 별도로 계약 지연과 관련한 수정헌법 제1조 보복 주장이 개연성이 있다고 판단했다 — 펜타곤의 계약 결정을 헌법상 보호되는 표현과 연결한 첫 사법 판단이다. 이번 봉인 해제는 4월 Anthropic 의 자율 무기 정책 선언에 뒤이은 것이며, 두 사안 모두 중국 단속 조치와 같은 주에 터졌다.

의의: 국방부 AI 계약 분쟁에서 연방 판사가 수정헌법 1조 보복 가능성을 인정한 것은 이례적이다. 중국 집행 소식과 겹쳐 보면, Anthropic 은 미국 국방부와 중국 기업 생태계 양쪽에서 오는 국가 행위자의 압력을 동시에 헤쳐 나가는 처지가 되고 있다. "매우 가깝다"는 표현이 담긴 이메일은 투자자 관계와 정부 계약 사이의 경계에 대한 투명성 문제를 제기한다. → Anthropic · source