클로드가 11일 만에 페르마의 마지막 정리를 기계에 넘겼습니다 — 1,300만 줄과 29,500개의 정리
앤트로픽이 2026년 9월 4일 페르마의 마지막 정리를 Lean 4로 형식화한 결과물을 공개했습니다. 클로드가 11일간 대체로 자율적으로 작업해 1,300만 줄의 코드와 30,300개의 정리를 만들었고, 20년 넘게 비어 있던 100문제 목록의 마지막 칸이 채워졌습니다.
SVIL - Singularity Visual Intelligence Lab
사운드하운드가 라이브퍼슨을 삼켰습니다 — 포춘 100 중 25곳과 특허 750건
사운드하운드 AI가 9월 4일 라이브퍼슨 인수를 종결했습니다. 음성 AI와 기업 메시징이 한 회사로 묶였고, 상대의 빚을 모두 갚아 무부채가 됐습니다.
샤오미가 IFA에 사이버원을 데려왔습니다 — 나사 조이기 98퍼센트와 3나노 엑스링 O3
샤오미가 IFA 2026에 처음 나왔습니다. 삼성이 35년 만에 비운 자리였습니다. 휴머노이드 사이버원의 나사 조이기 성공률이 넉 달 만에 90에서 98퍼센트로 올랐습니다.
메타 뮤즈 스파크 1.3이 툴 호출을 20퍼센트 줄였습니다 — MRCR 98.5점과 100만 컨텍스트
메타가 뮤즈 스파크 1.3을 냈습니다. 툴 호출 20퍼센트, 토큰 25퍼센트를 줄이고 가격은 그대로 뒀습니다. MRCR 98.5점으로 이전 66.3점을 크게 넘겼습니다.
엔비디아가 집에 놀고 있는 그래픽카드를 묶었습니다 — 무료 오픈소스 PAIR
엔비디아가 IFA 2026에서 PAIR를 공개했습니다. 집안 컴퓨터를 묶어 로컬 AI 추론을 나눠 보내 주는 무료 오픈소스 도구인데, VRAM을 합쳐 주지는 않아요.
마이크로소프트가 받아쓰기 값을 72% 내렸습니다 — MAI-Transcribe-2와 60개 언어
마이크로소프트 AI가 9월 3일 음성인식 모델 MAI-Transcribe-2를 공개했어요. 오디오 1시간당 0.1달러로 전작보다 72% 싸고, FLEURS 60개 언어 1위에 속도는 최대 10배입니다.
오픈AI가 스스로 취약점을 찾는 모델을 냈습니다 — GPT-6 아스트라와 첫 크리티컬 판정
오픈AI가 9월 3일 GPT-6 아스트라를 공개했습니다. 자사 안전 기준에서 사이버보안 능력이 처음으로 크리티컬 등급에 도달해, 공격 관련 기능을 스스로 잠근 채 나왔어요.
구글 웨더넥스트 3이 날씨를 매시간 새로 계산합니다 — 해상도는 5킬로미터입니다
구글 딥마인드가 웨더넥스트 3을 공개했습니다. 매시간 갱신되는 첫 전 지구 기상 AI 모델이며, 수치예보 결과물이 아니라 위성과 지상 관측을 직접 학습합니다. 검색과 제미나이, 지도에 들어갑니다.
앤스로픽이 TPU 3.5기가와트를 예약했습니다 — 런레이트는 300억 달러를 넘었습니다
앤스로픽이 구글, 브로드컴과 차세대 TPU 공급 계약을 확대했습니다. 공식 표현은 수 기가와트, 공시 기준은 약 3.5기가와트이며 2027년부터 가동됩니다. 매출 런레이트는 300억 달러를 넘었습니다.
엔비디아가 허깅페이스를 129억 달러에 삽니다 — 오픈소스 AI의 길목이 팔렸습니다
엔비디아가 허깅페이스를 129억 3,030만 달러에 인수한다고 9월 3일 공식 발표했습니다. 주주 몫 119억에 직원 잔류 프로그램 10억이 더해진 구조이고, 남은 관문은 미국 HSR과 EU 합병 심사입니다.
알리바바 큐원3.8-맥스가 코드아레나 1위에 올랐습니다 — 버전은 그대로, 점수만 22점
큐원3.8-맥스-0902가 코드아레나 웹데브에서 1,691점으로 1위를 차지했습니다. 클로드 오퍼스 5보다 3점 앞섰는데, 파라미터도 문맥창도 가격도 그대로이고 바뀐 것은 사후학습뿐입니다.
메타가 토큰 사용량으로 직원을 평가하지 않기로 했습니다 — 8만 5천 명 순위표와 해치 에이전트
8만 5천 명을 월간 토큰 소비량으로 줄 세운 사내 순위표, 30일간 73조 7천억 토큰. 메타가 이번 주 AI 사용량을 성과 지표에서 뺐습니다. 그런데 챗봇보다 토큰을 훨씬 많이 쓰는 에이전트 해치는 사내에 퍼지고 있습니다.