오늘의 AI 뉴스 (2026년 9월 7일): 클로드, 페르마의 마지막 정리 사상 최초 형식 증명 완성
앤트로픽의 클로드가 협업 플랫폼 ‘프루브투미(Prove2Me)’를 통해 단 11일 만에 ‘페르마의 마지막 정리’를 세계 최초로 컴퓨터 검증 가능한 형식 증명으로 완성해 수학계에 화제를 모았습니다. 같은 시기 구글·앤트로픽·오픈AI가 나란히 사이버보안 특화 AI 모델을 공개했고, AI 인프라 기업 크루소는 30억 달러를 조달하며 밸류에이션 300억 달러를 달성했습니다. 소니뮤직퍼블리싱·워너채플의 앤트로픽 저작권 소송과 구글 어시스턴트의 제미나이 전환 소식도 함께 정리했습니다.
연구 성과 — 클로드, 페르마의 마지막 정리 세계 최초 형식 증명 완성
앤트로픽은 9월 4일(현지시간) 클로드가 ‘페르마의 마지막 정리(Fermat’s Last Theorem)’를 린(Lean) 언어로 사상 최초로 완전히 컴퓨터 검증한 형식 증명을 완성했다고 발표했습니다. 컬럼비아대 연구자 티안이 펑(Tianyi Peng)이 만든 협업 플랫폼 ‘프루브투미(Prove2Me)’를 활용해 다수의 클로드 에이전트가 병렬로 작업했습니다.
- 규모: 증명 과정에서 린 코드 1,300만 줄이 생성됐고, 최종 증명에 사용된 정리만 29,500개(전체로는 30,300개)에 달합니다.
- 소요 기간·자원: 완성까지 약 11일이 걸렸으며, 내부 연구용 모델의 출력 토큰 약 60억 개가 투입됐습니다. 프루브투미 도입 전에는 에이전트 간 조율 실패로 여러 차례 시도가 무산됐습니다.
- 검증: 임페리얼칼리지런던의 케빈 버즈워드(Kevin Buzzard) 교수가 이 증명이 린의 표준 공리 3개만 사용했다고 확인하며 의의를 인정했습니다. 앤드루 와일스의 1995년 원 증명(129쪽)을 단순화한 버전을 기반으로 합니다.
- 의미: 이번 성과로 프릭 비디크(Freek Wiedijk)의 ‘형식화 100대 난제’ 목록이 20년 만에 완결됐습니다.
(출처: Anthropic, SiliconANGLE, AI Weekly)
신모델·보안 — 구글·앤트로픽·오픈AI, 사이버보안 특화 모델 동시 공개
9월 2일(현지시간) 구글·앤트로픽·오픈AI가 하루 사이에 나란히 사이버보안 특화 AI 모델과 접근 프로그램을 발표했습니다.
- 구글: ‘가장 강력한 사이버보안 모델’이라고 소개한 제미나이 3.8 플래시 사이버를 공개하고, 크라우드스트라이크·팔로알토네트웍스 등 650개 이상의 신뢰 파트너가 참여하는 ‘페어윈드(Fairwind)’ 프로그램을 통해 공급하기 시작했습니다. 공격 능력보다 취약점 탐지·수정에 초점을 맞췄다고 밝혔습니다.
- 앤트로픽: 클로드 페이블 5.1과 신뢰 접근 전용 클로드 미토스 5.1을 공개했습니다. 페이블 5.1은 소프트웨어 취약점 식별 용도로 허용됐고, 제로 데이터 보존과 오남용 탐지를 결합한 ‘엔터프라이즈 프런티어 세이프가드(EFS)’도 함께 도입했습니다.
- 오픈AI: GPT-6 아스트라가 자체 대비 프레임워크에서 ‘치명적’ 사이버보안 등급 문턱을 넘었다고 밝혔습니다. 익스플로잇벤치(ExploitBench)에서 100% 점수를 기록했고 평가 과정에서 제로데이 취약점을 발견했으며, 테스터 대상 ‘데이브레이크 블루(Daybreak Blue)’ 프로그램도 함께 발표했습니다.
(출처: The Hacker News)
기업 동향 — 크루소, 30억 달러 추가 조달로 밸류에이션 300억 달러 달성
AI 인프라 기업 크루소(Crusoe)가 9월 3일(현지시간) 30억 달러 이상을 조달하며 밸류에이션 300억 달러를 기록했다고 발표했습니다. 지난해 10월 100억 달러 밸류에이션으로 13억 8,000만 달러를 조달한 지 약 10개월 만입니다.
- 투자자: 아트레이데스매니지먼트와 발러에쿼티파트너스가 공동 주도했고, 아부다비 국부펀드 무바달라 산하 무바달라캐피털도 참여했습니다.
- 사업 배경: 크루소는 메타·마이크로소프트·오픈AI 등에 GPU·데이터센터 인프라를 공급 중이며, 최근 퀀트 트레이딩 회사 제인스트리트와 130억 달러 규모·5년 계약을 체결한 바 있습니다.
- 연혁: 2018년 소각 천연가스를 활용한 암호화폐 채굴 사업으로 출발해 AI 인프라·데이터센터 기업으로 전환했습니다.
(출처: Bloomberg, TechCrunch)
정책·법률 — 소니뮤직퍼블리싱·워너채플, 앤트로픽에 대규모 저작권 소송
소니뮤직퍼블리싱과 워너채플뮤직이 8월 29일 캘리포니아 연방법원에 앤트로픽을 상대로 저작권 침해 소송을 제기했습니다. 다리오 아모데이·벤저민 만 등 공동창업자도 개인 피고로 이름을 올렸습니다.
- 혐의: 클로드 학습 과정에서 저작권이 있는 음악 작품 수만 건을 무단으로 토렌트·스크레이핑·다운로드했다는 ‘노골적 캠페인’이라고 주장했습니다.
- 거론 곡: 머라이어 캐리 ‘All I Want for Christmas Is You’, 테일러 스위프트 ‘Paper Rings’, 마빈 게이 ‘Ain’t No Mountain High Enough’ 등이 소장에 언급됐습니다.
- 청구액: 침해곡당 최대 15만 달러, 저작권관리정보 훼손 건당 2만 5,000달러의 법정 손해배상과 배심 재판을 요구했습니다.
- 앤트로픽 입장: “발행사 측 주장에 동의하지 않으며 법정에서 적극 다툴 것”이라고 반박했습니다.
- 맥락: 유니버설뮤직퍼블리싱그룹·콩코드뮤직그룹(2023년), BMG(2026년 3월), 라운드힐뮤직(2026년 8월 17일)에 이은 다섯 번째 음악 저작권 소송입니다.
(출처: Engadget, Music Business Worldwide)
단신 — 구글, 안드로이드·웨어OS서 구글 어시스턴트 퇴역시키고 제미나이 전환 개시
구글이 9월 4일부터 안드로이드 스마트폰·태블릿, 웨어OS 스마트워치 등에서 구글 어시스턴트를 순차적으로 퇴역시키고 제미나이로 전환을 시작했습니다. 전환이 끝난 기기에서는 “헤이 구글” 음성 명령과 전원 버튼 길게 누르기 등 기존 트리거가 모두 제미나이로 연결되며, 어시스턴트로 되돌릴 수 없습니다. 단, 구글 빌트인이 탑재된 차량과 스마트 스피커·디스플레이, 구글 TV는 이번 전환 대상에서 제외됩니다.
(출처: 9to5Google, The Decoder)
한 줄 요약
클로드가 11일 만에 페르마의 마지막 정리를 형식 증명해낸 사건은 AI가 순수 수학 연구에서도 실질적 동료가 될 수 있음을 보여줬습니다. 동시에 구글·앤트로픽·오픈AI의 사이버보안 모델 경쟁, 크루소의 대규모 자금 조달, 음악 업계의 잇단 저작권 소송, 구글 어시스턴트의 퇴장은 AI 산업이 연구·인프라·법률·소비자 서비스 전 영역에서 동시에 재편되고 있음을 보여주는 한 주였습니다.
본 글은 2026년 9월 7일(KST) 시점의 공개 보도를 정리한 것으로, 이후 상황이 바뀔 수 있습니다. 출처는 본문 링크를 참고하세요.
댓글남기기