NVIDIA Hugging Face 인수, Claude 페르마 정리 증명 외 주요 테크 소식

AI

Anthropic Claude, 페르마의 마지막 정리를 Lean으로 형식화

Anthropic의 Claude가 Prove2Me 플랫폼을 통해 11일간 자율적으로 작동하며, 페르마의 마지막 정리를 Lean 프로그래밍 언어로 완전히 기계 검증했습니다. 1,300만 줄의 Lean 코드를 생성하고 30,300개의 정리를 증명했습니다.

이번 작업은 수십 개의 에이전트가 병렬로 작동하며 약 60억 개의 출력 토큰을 소비한 결과입니다. 페르마의 마지막 정리는 1994년 Andrew Wiles가 이미 증명했으므로, Claude의 작업은 새로운 수학적 발견이 아닌 기존 증명의 형식화입니다. 그럼에도 AI가 대규모 수학적 증명을 자율적으로 형식화할 수 있음을 보여주는 의미 있는 성과입니다.

Prove2Me는 Anthropic 연구원 Tianyi Peng의 그룹이 Columbia University에서 개발한 플랫폼입니다. 11일이라는 시간은 단일 에이전트가 연속 작동한 것이 아니라 대규모 병렬 처리의 결과입니다.

NVIDIA, Hugging Face를 129.3억 달러에 인수

NVIDIA가 오픈소스 AI 플랫폼 Hugging Face를 129.3억 달러에 인수하기로 합의했습니다. NVIDIA 역대 최대 규모의 인수입니다. 인수 대금 중 119억 달러는 주주에게, 10억 달러는 NVIDIA에 합류하는 직원 유지를 위한 주식으로 배정됩니다.

Hugging Face는 1,800만 명 이상의 개발자가 300만 개의 모델과 50만 개의 데이터셋을 공유하는 플랫폼입니다. NVIDIA는 플랫폼의 개방성을 유지하고 다른 실리콘 벤더도 계속 지원하겠다고 약속했습니다. 인수는 2027년 상반기에 완료될 예정입니다.

AI 모델 공유 생태계의 핵심 인프라를 확보함으로써 NVIDIA는 GPU 하드웨어를 넘어 AI 개발 워크플로 전반에 영향력을 확장합니다. 오픈소스 커뮤니티에서는 플랫폼의 중립성 유지 여부에 관심이 집중되고 있습니다.

OpenAI ChatGPT Ads, 200일 만에 연간 10억 달러 달성

OpenAI의 ChatGPT 광고 사업이 출시 200일 만에 연간 10억 달러 매출 런레이트에 도달했습니다. 현재 40개국 이상에서 셀프서브 광고 플랫폼이 운영되고 있습니다.

OpenAI는 2026년 광고 매출 목표를 25억 달러로 설정했습니다. 인도, 유럽, 중동, 북아프리카 등으로 확대하며 수만 명의 광고주가 Ads Manager를 통해 직접 광고를 구매하고 있습니다.

연간 총매출 런레이트는 400억 달러를 넘어서며 2025년 말 대비 약 2배 수준입니다. 구독 모델 중심이던 OpenAI가 광고 사업을 빠르게 성장시키면서 수익 구조를 다각화하고 있습니다.

빅테크

Apple CEO 교체: John Ternus 취임

9월 1일부로 John Ternus가 Apple CEO에 취임했습니다. Tim Cook은 15년간의 CEO직을 마치고 이사회 집행 의장으로 전환했습니다. Ternus는 51세로, 2001년 Apple에 입사해 25년간 근무했습니다.

Ternus는 하드웨어 엔지니어링 수석 부사장으로서 iPhone, Mac, iPad, Apple Watch, AirPods 등 Apple의 모든 하드웨어 제품 개발을 총괄해 왔습니다. Cook 재임 중 Apple의 기업가치는 4.6조 달러에 달했습니다.

Ternus는 자체 프론티어 AI 모델이 없는 유일한 대형 기술 기업의 수장이 됩니다. AI 시대에 Apple의 전략을 어떻게 이끌어갈지가 주요 관심사입니다.

삼성전자, 사상 최대 주주환원 90-110조원 발표

삼성전자가 2026년 약 90조~110조원 규모의 주주환원을 시행한다고 발표했습니다. 기존 최대인 2020년 20조 3천억원의 약 5배에 달하는 역대 최대 규모입니다.

3분기에 정규배당을 포함해 약 30조원 규모의 현금배당을 시작합니다. 나머지 주주환원은 2026년 경영실적 확정 후 내년 1월에 현금배당과 자사주 매입·소각을 포함한 방식을 결정합니다.

2024년부터 2026년까지 3개년 누적 주주환원은 총 120조~140조원에 달할 전망입니다. 반도체 사업 호조에 따른 실적 개선이 대규모 주주환원의 배경입니다.

스타트업

Ultrahuman, Qualcomm Ventures 주도로 7,000만 달러 투자 유치

인도 벵갈루루 기반의 Ultrahuman이 Qualcomm Ventures, Labcorp 등으로부터 7,000만 달러를 유치했습니다. 기업가치는 3.65억 달러로, 2023년 1.2억 달러 대비 약 3배 증가했습니다. 투자금은 6,500만 달러 주식과 500만 달러 부채로 구성됩니다.

Ultrahuman은 스마트링으로 알려진 회사이지만, 이번 투자를 통해 링에서 소프트웨어를 직접 실행하고 AI 상호작용까지 가능한 플랫폼으로 전환할 계획입니다. 연간 매출 런레이트는 1.4억 달러로 전년 대비 약 45% 성장했으며, 2027년 1월까지 2억 달러를 목표로 합니다.

Qualcomm의 참여는 웨어러블 디바이스가 단순 센서에서 독립적인 컴퓨팅 플랫폼으로 진화하는 방향을 시사합니다.

Conversed.ai, 유럽 시장 확대를 위한 성장 투자 유치

암스테르담 기반의 Conversed.ai가 네덜란드 기술 투자자들로부터 성장 투자를 유치했습니다. 금액은 비공개입니다. 이 회사는 AI 에이전트 최적화 스튜디오를 통해 독립된 챗봇을 CRM, ERP, 전자 건강 기록 등과 통합된 프로덕션급 디지털 어시스턴트로 전환합니다.

투자금은 유럽 전역으로의 시장 확대와 핵심 제품 개발 팀 확충에 사용됩니다. 의료, 금융 등 규제가 엄격한 산업 분야를 주요 타깃으로 합니다. 규제 산업에서 AI 에이전트 도입이 가속화되면서 통합 오케스트레이션 플랫폼에 대한 수요가 증가하고 있습니다.

오픈소스

LibreOffice 26.8, AI 없이 다국어·호환성 개선

LibreOffice 26.8이 8월 26일 출시되었습니다. Writer Paragraph Composer를 포함해 양방향 텍스트 도구, 한중일(CJK) 문서 처리, OOXML 호환성이 크게 개선되었습니다. 120개 언어를 지원하며 Windows, macOS, Linux에서 사용 가능합니다.

Document Foundation은 생성형 AI 기능을 의도적으로 제외했다고 밝혔습니다. 이는 “의도적인 입장”으로, 문서를 로컬에서 처리하고 프라이버시 위험을 줄이는 것이 목표입니다.

대부분의 오피스 제품이 AI 기능 통합을 경쟁적으로 추진하는 가운데, LibreOffice의 접근 방식은 사용자 개인정보 보호와 데이터 주권을 우선시하는 대안을 제시합니다.

Ladybird, 10년 만의 새 독립 브라우저 엔진

Ladybird는 Chromium, WebKit, Gecko에 의존하지 않는 완전히 새로운 브라우저 엔진입니다. Andreas Kling과 Chris Wanstrath가 설립한 501(c)(3) 비영리단체가 운영합니다. 8명의 풀타임 엔지니어와 커뮤니티 기여자들이 개발에 참여하고 있습니다.

2026년 Linux와 macOS 대상 첫 알파 릴리스를 목표로 하고 있습니다. 최근에는 인라인 PDF 뷰어, 브라우징 히스토리, HTTP 캐싱, CSS 앵커 포지셔닝 등이 추가되었습니다. C++에서 Rust로의 점진적 전환도 진행 중입니다.

검색 거래, 데이터 수집, 광고 없이 순수 기부금으로 운영됩니다. 10년 이상 새로운 독립 브라우저 엔진이 등장하지 않았던 상황에서, 웹 브라우저 생태계의 다양성 회복에 기여할 수 있을지 관심이 집중됩니다.

게임

SteamDB, Nexus Mods 운영사에 인수

게임 데이터베이스 SteamDB가 Nexus Mods 운영사 Chosen에 인수되었습니다. 창립자 Pavel “xPaw” Djundik은 2013년 취미로 시작한 프로젝트가 풀타임 업무량에 이르러 번아웃을 겪게 되었다고 밝혔습니다.

월 1.4억 뷰를 기록하는 SteamDB는 별도의 웹사이트로 유지되며 기존 기능은 무료로 계속됩니다. 다만 Nexus Mods는 일부 신규 기능에 대해 유료화를 도입할 계획입니다.

Chosen은 2025년 NexusMods를 인수한 인수 전문 기업입니다. SteamDB까지 산하에 두면서 게임 커뮤니티 데이터 인프라를 확장하고 있습니다.

Frontier Developments, Disney IP 기반 신작 개발

Frontier Developments가 Disney와 게임 개발 협력을 발표했습니다. Planet Coaster, Planet Zoo, Jurassic World Evolution을 개발한 크리에이티브 경영 시뮬레이션(CMS) 분야의 선두 기업입니다.

Disney의 지적재산권을 활용한 신작을 Frontier가 자체 자금으로 개발·퍼블리싱합니다. 제목, 장르, 플랫폼, 출시 시기 등 구체적인 정보는 아직 공개되지 않았습니다. Frontier는 2011년 Microsoft Studios와 함께 Disneyland Adventures를 출시한 경험이 있습니다.

Disney IP의 인지도와 Frontier의 CMS 개발 역량이 결합된다는 점에서 업계의 기대가 큽니다.

BlizzCon 2026, 9월 12-13일 개최 예정

BlizzCon 2026이 9월 12-13일 캘리포니아 애너하임 컨벤션 센터에서 개최됩니다. Blizzard Entertainment의 16번째 BlizzCon으로, World of Warcraft, Overwatch, Diablo 개발자 업데이트가 예정되어 있습니다.

오프닝 세러모니에서 주요 발표가 있을 예정이며, Overwatch와 Hearthstone e스포츠 토너먼트도 진행됩니다. YouTube, Twitch, Battle.net을 통해 무료 온라인 스트리밍이 제공됩니다.

코스프레 대회, Darkmoon Faire, March of the Murlocs 등 현장 이벤트도 마련됩니다. 오프닝 세러모니까지 공개되지 않는 서프라이즈 발표도 예고되어 있습니다.

참고 자료

Formalizing Fermat’s Last Theorem in Lean — Anthropic
NVIDIA to Acquire Hugging Face — NVIDIA Blog
Hugging Face approached Nvidia’s Huang weeks ahead of acquisition — CNBC
Expanding Access to AI with ChatGPT Ads — OpenAI
ChatGPT Surpasses $1 Billion in Annualized Ads Revenue — Adweek
Tim Cook to become Apple Executive Chairman, John Ternus to become Apple CEO — Apple Newsroom
Who is John Ternus, the incoming Apple CEO? — TechCrunch
삼성전자, 사상 최대 주주환원 실시 — Samsung Newsroom
Qualcomm backs Ultrahuman in $70M round — TechCrunch
Ultrahuman Raises $70M to Expand Multimodal Health Intelligence Platform — HLTH
Conversed.ai Raises Growth Funding — FinSMEs
Dutch investors back Conversed.ai’s push into regulated AI markets — Dealroom
LibreOffice 26.8 Release Notes — The Document Foundation
LibreOffice 26.8 Launches with Writer Paragraph Composer and No AI Features — gHacks
Ladybird Browser — Ladybird Browser Initiative
Exploring Ladybird, the Non-Chromium Browser Project — OpenReplay
Nexus Mods acquires the popular community site SteamDB — GamingOnLinux
Nexus Mods Acquires SteamDB, Features to Remain Free for Now — TechPowerUp
Frontier Announces Collaboration with Disney for New Video Game — Frontier Developments
Frontier Developments to Develop and Publish New Game Based on Disney IP — Gaming.net
BlizzCon 2026 — Blizzard Entertainment
BlizzCon 2026 Schedule and In-Game Rewards Revealed — Wowhead