BTC $81,716.00 -0.17%
ETH $2,405.71 +0.01%
BNB $744.38 +1.56%
XRP $1.32 -0.20%
SOL $104.61 +0.84%
TRX $0.3297 -0.25%
DOGE $0.0800 +1.38%
ADA $0.2163 +0.36%
BCH $287.08 +4.90%
LINK $12.18 +1.29%
HYPE $78.61 +0.63%
AAVE $149.11 +0.89%
SUI $0.9968 +1.51%
XLM $0.1776 +0.03%
ZEC $1,231.91 -1.14%
AAPL $346.29 +0.43%
AMZN $251.11 -2.94%
GOOGL $325.81 -1.32%
MSFT $518.38 -1.98%
META $649.63 -6.14%
NVDA $215.04 -1.12%
TSLA $379.59 +3.30%
SNDK $1,305.83 -1.82%
INTC $87.99 -0.97%
SPCX $149.38 -4.18%
MU $882.03 -0.60%
AMD $519.91 -2.46%
BTC $81,716.00 -0.17%
ETH $2,405.71 +0.01%
BNB $744.38 +1.56%
XRP $1.32 -0.20%
SOL $104.61 +0.84%
TRX $0.3297 -0.25%
DOGE $0.0800 +1.38%
ADA $0.2163 +0.36%
BCH $287.08 +4.90%
LINK $12.18 +1.29%
HYPE $78.61 +0.63%
AAVE $149.11 +0.89%
SUI $0.9968 +1.51%
XLM $0.1776 +0.03%
ZEC $1,231.91 -1.14%
AAPL $346.29 +0.43%
AMZN $251.11 -2.94%
GOOGL $325.81 -1.32%
MSFT $518.38 -1.98%
META $649.63 -6.14%
NVDA $215.04 -1.12%
TSLA $379.59 +3.30%
SNDK $1,305.83 -1.82%
INTC $87.99 -0.97%
SPCX $149.38 -4.18%
MU $882.03 -0.60%
AMD $519.91 -2.46%

pi

전체
글
뉴스 플래시

first_img Anthropic: Claude는 대규모 형식 검증 오픈 소스 라이브러리입니다

인공지능 회사 Anthropic의 Frontier Red Team은 10월 22일 연구를 발표하며 대형 언어 모델이 더 큰 규모에서 자동으로 형식 증명을 작성할 수 있다고 밝혔습니다. 팀은 Theorem과 협력하여 Claude를 사용해 RISC-V 어셈블리 레벨에서 100개 이상의 실제 오픈 소스 라이브러리에 대한 안전 속성을 증명했으며, 이는 AI를 사용하여 어셈블리 레벨에서 생산 소프트웨어에 대해 대규모 형식 검증을 수행한 것으로 알려진 최초의 사례라고 합니다. 증명 작성 과정에서 수년간 발견되지 않았던 취약점도 발견되었습니다.실험은 Google OSS-Fuzz에 이미 존재하는 컴파일 가능한 퍼즈 테스트를 사양으로 변환했습니다: 단일 스레드 정적 바이너리, 고정 메모리 예산, RISC-V CPU 및 Linux 등의 가정 하에, 64MB 미만의 임의 입력에 대해 프로그램은 정상적으로 종료되어야 하며 메모리 안전 오류나 단언 실패를 유발하지 않아야 합니다. 몇 주 내에 Claude는 발견된 문제를 수정한 후 123개의 OSS-Fuzz 라이브러리 중 239개의 진입점에 대해 위의 속성을 증명했습니다. 증명은 컴파일된 RISC-V 명령어를 대상으로 하며, 약 1.8억 줄의 Rocq로 이루어져 있으며 Rocq 커널에 의해 검증됩니다. 페이지는 이것이 이러한 라이브러리에 취약점이 없다는 것을 의미하지 않으며, 남은 문제는 신뢰할 수 있는 구성 요소나 증명 범위 밖에 있을 수 있다고 언급했습니다.페이지는 또한 팀이 Claude에게 RFC 1950을 형식화하도록 하였고, x86 바이너리 레벨에서 Linux 커널의 zlib 구현이 해당 사양을 준수함을 증명했다고 밝혔습니다; Rust로 작성된 Python의 대규모 하위 집합을 커버하는 인터프리터는 170만 개 이상의 무작위 생성 프로그램과 CPython 행동이 일치하는 비율이 99.95%였습니다. 36개의 소규모 검증 작업에서 Opus 5.5는 필요한 토큰의 절반이 Opus 5보다 약 40% 적다고 증명했습니다. 팀은 또한 증명이 단일 스레드, 정적 링크된 RISC-V 바이너리를 대상으로 하며, 증명 검증기가 사양이 현실에 부합하는지 판단할 수 없다고 지적했습니다.

Anthropic은 가장 빠르면 11월 중순에 상장될 예정이며, 시장에서는 약 1.5조 달러의 가치를 논의하고 있습니다

인공지능 회사 Anthropic은 빠르면 11월 중순에 상장할 계획이며, 시장에서는 약 1.5조 달러의 IPO 가치를 논의하고 있으며, 이는 올해 5월 9650억 달러의 자금 조달 가치보다 약 55% 높은 수치입니다. 이 잠재적 가치를 기준으로 Spark Capital는 2023년에 7500만 달러를 투자했으며, 보유 주식 가치는 약 109억 달러에 이를 것으로 예상됩니다. 당시 가치는 약 50억 달러였으며 이사회 자리도 확보하여 현재 알려진 유일한 이사회 자리를 가진 벤처 캐피탈입니다. Sound Ventures는 첫 투자로 3500만 달러를 투자한 후 4억 달러를 추가로 투자했으며, Guy Oseary와 Ashton Kutcher가 공동 설립하고 2023년에 진입하여 보유 주식 가치는 수십억 달러에 달합니다. Menlo Ventures는 누적 10억 달러 이상을 투자했으며, 보유 주식 가치는 약 218억 달러로, 5억 달러 D 라운드 투자를 포함하고 있으며, 2023년 5월에 처음으로 진입했습니다.Iconiq은 2025년에 진입하여 누적 60억 달러 이상을 투자했으며, 보유 주식 가치는 약 264억 달러로, 첫 투자 시 가치는 이미 1830억 달러에 달했습니다. 세쿼이아 캐피탈은 올해부터 투자하기 시작했으며, 누적 약 30억 달러를 투자하여 약 1%의 지분을 보유하고 있으며, 가치는 약 150억 달러입니다. 이전에 OpenAI와 xAI에 투자한 바 있습니다. 싱가포르 국부펀드 GIC는 2025년에 처음으로 투자하여 누적 45억 달러 이상을 투자했으며, 약 1%의 지분을 보유하고 있으며, 가치는 약 150억 달러입니다. 구글 전 CEO 에릭 슈미트는 2021년에 수천만 달러를 투자하여 약 1%의 지분을 보유하고 있으며, 가치는 약 150억 달러입니다.FTX는 2021년에 5억 달러를 투자했으며, 처음에는 13.56%의 지분을 보유했으나 2024년에 7.84%로 희석되었고, 파산 청산 후 모든 주식을 매각하여 약 13억 달러를 회수했으며, 실제 수익은 약 8억 달러입니다. 희석되지 않은 7.84%와 1.5조 달러의 가치를 기준으로 계산할 경우, 이론적 가치는 약 1176억 달러로, 실제 매각 가격보다 약 1163억 달러 높습니다. 이 계산은 후속 자금 조달 희석을 고려하지 않았습니다. 2024년에 FTX는 모든 Anthropic 주식을 단계적으로 매각했으며, 첫 번째 매각은 약 8.84억 달러 거래로 24명의 구매자가 참여했습니다. 아부다비 국부펀드 Mubadala의 관련 회사 ATIC이 약 5억 달러를 매입하였고, 제인 스트리트는 1억 달러를 매입하였으며, 피델리티 소속 펀드는 4500만 달러를 매입했습니다. Lightspeed는 2% 미만의 지분을 보유하고 있으며, 구글, 아마존, 엔비디아, 마이크로소프트 및 Founders Fund, Coatue, Altimeter 등도 투자하였으나 공개된 보유 데이터가 충분하지 않아 개별적으로 정확한 수익을 계산할 수 없습니다.

Anthropic가 Agent Skills 표준을 Linux 재단에 기부했습니다

Anthropic은 Agent Skills 표준을 Linux 재단 산하의 Agentic AI Foundation(AAIF)에 기부한다고 발표했습니다. 이 형식은 Anthropic이 Claude Code를 개발할 때 설계하였으며, 2025년 10월에 출시되고 12월에 크로스 플랫폼 표준으로 개방될 예정입니다. 현재 ChatGPT, Cursor, GitHub Copilot 등 70개 이상의 Agent 플랫폼이 접속하고 있습니다.Anthropic은 Skill을 AI Agent를 위한 재사용 가능한 작업 매뉴얼로 설명하며, 개발자는 작업 단계를 SKILL.md에 작성하고 스크립트 및 참고 자료를 첨부하여 다양한 Agent가 필요에 따라 읽을 수 있도록 합니다. MCP는 외부 도구와 데이터를 연결하는 역할을 하며, Skills는 Agent가 특정 작업을 수행하는 방법을 설명하는 역할을 합니다. 이번에 기부된 것은 표준 이름, 아이콘, GitHub 조직 및 공식 웹사이트 도메인입니다.AAIF는 2025년에 Anthropic, OpenAI 및 Block이 공동으로 시작하였으며, 이전에 MCP를 수령하였습니다. 앞으로 Anthropic, OpenAI 및 Google의 엔지니어들은 개인 자격으로 Skills 표준을 공동으로 유지 관리하며, 더 이상 Anthropic이 단독으로 주도하지 않을 것입니다. Vercel에 따르면, skills.sh 디렉토리는 약 100만 개의 기술을 수록하고 있으며, 누적 설치 수는 거의 2.8억 회에 달합니다. Snyk는 ClawHub의 기술 샘플에서 76개의 악성 기술을 확인하였으며, Anthropic은 버전 관리, 공식 제안 프로세스 및 보안 가이드라인을 수립할 것을 제안하였습니다.

1% 고객 기여 Anthropic의 거의 절반의 수익, 기업 Token 지출 거의 정체

Ramp가 7만 개 이상의 미국 기업의 지불 데이터를 추적한 결과, Anthropic과 OpenAI의 기업 부문 수익의 약 80%가 고객 총량의 1%에 불과한 주요 고객에서 발생하는 것으로 나타났습니다. 8월과 9월에는 기업 Token 지출이 두 달 연속 거의 제로 성장세를 보였으며, 10월 초에는 역사적인 최고치를 기록했지만 8월 정점보다 단 1.5% 높았습니다.Ornn 데이터에 따르면, Anthropic의 실제 Token 가격 지수는 9월 중순의 1.70 달러 이상에서 0.83 달러로 하락했으며, 하락폭은 50%를 초과했습니다. OpenAI의 해당 지수는 0.45 달러입니다. YipitData에 따르면, Anthropic의 상위 1% 고객은 8월에 46%의 수익을 기여했으며, 이는 1년 전의 25%보다 높습니다. Ramp 데이터에 따르면, 9월 기업 AI 유료 채택률은 0.62%포인트 상승하여 55.9%에 이르렀습니다. Ramp의 수석 경제학자 Ara Kharazian은 성장이 유료 사용자 규모 확대에서 기존 사용자 사용 깊이 향상으로 전환되고 있다고 보고 있습니다.골드만삭스는 Token 수요 증가 속도가 가격 하락폭을 초과해야 지속적인 컴퓨팅 투자 지원이 가능하다고 경고했습니다. Apollo의 수석 경제학자 Torsten Slok은 기업들이 컴퓨팅 가격에 매우 민감하며, 가격 인하가 반드시 충분한 신규 수요를 가져오지 않을 수 있다고 지적했습니다. 골드만삭스 데이터에 따르면, 아마존, 알파벳, 메타, 마이크로소프트 및 오라클의 실현된 투자 자본 수익률은 40%에서 25%로 하락하여 2016년 이후 최저치를 기록했습니다.

first_img Stripe와 Anthropic이 협력하여 Claude Duet가 Link 대리 지갑에 접속합니다

10월 21일, Stripe와 Anthropic은 샌프란시스코와 더블린에서 Anthropic이 Link의 에이전트 지갑과 Stripe MCP를 Claude Duet에 통합했다고 발표했습니다. Claude Duet은 연구 미리보기 형태로 출시된 새로운 애플리케이션으로, 소기업 소유자와 전문가를 대상으로 하며, 할 일 목록을 추적하고 사용자 위임 작업을 완료하는 데 사용됩니다.기업 소유자는 Claude Duet을 통해 Link를 사용하여 인터넷에서 디지털 광고, 명함, 팀 점심 또는 화이트보드 마커와 같은 물품을 구매할 수 있습니다. 각 구매는 사용자 승인을 받은 후에만 Claude가 가상 카드를 사용하여 거래를 완료합니다. Stripe MCP를 통해 사용자는 애플리케이션을 떠나지 않고도 송장 및 결제 링크를 전송하고, 제품 및 가격을 관리하며, 수익을 분석하고 환불을 처리할 수 있습니다.Stripe 결제 책임자 Kevin Miller는 기업 소유자가 에이전트에게 자재 주문이나 고객에게 송장을 발행하는 등의 작업을 완료하기를 원한다고 말하며, Link의 에이전트 지갑과 Stripe MCP가 Claude Duet이 더 많은 일상적인 작업을 수행할 수 있게 해주면서도 기업 소유자가 통제권을 유지할 수 있다고 전했습니다. Anthropic의 최고 기술 책임자 Rahul Patil은 에이전트가 실제 작업을 대신 처리하기 시작할 때 자금 거래에 대한 신뢰가 더욱 필요하며, Claude Duet의 구매는 Link를 기반으로 하여 사용자가 매달러에 대해 주도권을 유지할 수 있도록 한다고 밝혔습니다. Link는 Meta의 Muse, SpaceXAI의 Grok Bot 및 Instinct를 포함하여 200개 이상의 개인 에이전트에 결제 능력을 제공했습니다.

first_img Anthropic 오픈 Claude Duet 연구 미리보기

Anthropic은 10월 21일 Claude Duet 연구 미리보기를 공개했습니다. 이는 독립 애플리케이션으로, Claude는 능동형 에이전트로서 주의해야 할 사항을 알리고, 사용자가 지시한 작업을 완료하며, 사용자가 떠난 후에도 계속 작업을 수행합니다; 사용자의 행동을 대행하기 전에 확인을 요청합니다. 이 제품은 전문가와 소기업 소유자를 대상으로 하며, iOS, Android 애플리케이션 및 claude.ai를 제공합니다. 연구 미리보기는 Pro 및 Max 계획에 포함되어 있으며, 다른 Claude 기능과 사용량 한도를 공유합니다. 사용자는 대기자 명단에 가입해야 하며, 현재 미국 Pro 및 Max 사용자부터 시작합니다.Claude Duet는 Claude Opus 5.5를 기반으로 설계되었습니다. 매일 아침 연결된 애플리케이션 간의 간단한 브리핑을 전송하고, 낮 동안 이러한 애플리케이션을 모니터링하며, 주의가 필요한 경우에만 메시지를 발송합니다. 회의 일정 조정, 대시보드 구축, 재무 또는 판매 예측, 프로토타입 및 웹 애플리케이션 등의 작업을 처리할 수 있습니다. 이 애플리케이션은 Claude 계정의 기억, 기술 및 연결된 애플리케이션을 활용하며, 같은 지속적인 스레드 내에서 타이핑 또는 음성으로 소통할 수 있도록 지원합니다. 또한 브라우저가 포함된 가상 머신을 갖추고 있어 사용자의 장치가 켜져 있는 것에 의존하지 않습니다. Claude Marketplace에서 6,000개 이상의 커넥터와 플러그인을 사용할 수 있으며, 문서에서는 Gmail, Slack, Intuit QuickBooks, Stripe, Gusto, LinkedIn, Docusign, HubSpot, Canva, Shopify를 예로 들고 있습니다. 기업 구매는 Stripe의 Link 디지털 지갑이나 Shopify의 Shop Pay를 사용할 수 있으며, 곧 사용자의 허가 하에 1Password에 저장된 로그인 정보를 사용하여 웹사이트에 로그인할 수 있도록 지원할 예정입니다.보안 측면에서, 이 제품은 신뢰할 수 있는 에이전트 프레임워크를 따르며, 호스팅 에이전트는 비밀번호나 로그인 토큰을 직접 볼 수 없으며, 자동 모드 분류기 및 알림 주입 방어 기능이 설정되어 있습니다. Anthropic은 레드 팀과 외부 침투 테스트를 수행하였으며, 이를 공개 취약점 보상 프로그램에 포함시켰습니다. 메시지를 전송하거나, 결제를 하거나, 문서에 서명하거나, 내용을 삭제하기 전에 실행할 작업을 보여주고 승인을 기다립니다. 증권 거래나 계좌 간 이체는 승인을 받더라도 금지됩니다. 초기 버전은 대화를 잘못 해석하거나 긴급성을 잘못 판단할 수 있으며, 핵심 기능은 작업에 중점을 두고 개인적인 일인 예약 등은 약합니다. 현재 사용자의 브라우저를 보여줄 수 없으며, 주 애플리케이션인 Claude와는 별도로 운영되며, 백그라운드 검사는 계획 사용량에 포함됩니다.

Anthropic CEO가 안전에 대한 의문에 장문의 글로 응답하며 기술의 최전선 유지를 강조했습니다

Anthropic은 최근 미국 국회의원들에게 AI 안전 법안 초안을 제출했으며, 미국 AI 안전 진영의 의문을 받았습니다. 초안은 정부가 위험한 모델을 긴급히 중단할 수 있는 높은 기준을 설정하고 있으며, 위험은 생물 무기, 사이버 공격 또는 AI 통제 불능 등의 상황을 포함해야 하며, 50명 이상의 사망 또는 중상을 초래하거나 10억 달러 이상의 손실을 초래할 수 있습니다; 일부 조항은 주 정부의 규제 권한을 제한할 수도 있습니다.AI 안전 조직 Encode AI 전략 책임자 Nathan Calvin은 이후 Anthropic의 지난 1년간의 결정을 정리했습니다. 올해 2월, 회사는 원래 엄격한 안전 정책을 수정했습니다: 과거에는 안전 조치가 모델 능력에 미치지 못할 경우 훈련이나 출시를 중단하겠다고 약속했으나, 새로운 정책은 회사가 더 높은 위험 단계에서 독자적으로 연구 개발을 중단할 것을 요구하지 않으며, 그 이유는 경쟁자가 이를 기회로 삼아 추월할 수 있기 때문입니다. 동시에 회사는 막대한 계산 능력을 투자하고 칩 팀을 구성했으며, Claude에게 더 많은 AI 연구 개발 임무를 맡겼습니다.10월 21일, Anthropic CEO Dario Amodei는 X에서 장문의 글로 반박했습니다. 그는 회사가 몇 가지 실수를 저질렀음을 인정했지만, 최첨단 AI 능력을 추구하는 것이 안전 임무를 위반하지 않았다고 주장하며, 회사는 기술의 최전선에 머물러야만 산업의 안전 기준을 높일 수 있는 능력을 갖출 수 있다고 말했습니다. 그는 회사가 상업적 대가를 치른 아홉 가지 안전 결정을 열거했으며, 여기에는 Mythos급 모델의 공개를 몇 달 동안 제한한 것과 생물학 관련 요청을 엄격히 제한한 것이 포함됩니다. 회사가 10월 19일 업데이트한 안전 로드맵에 따르면, 기존 정책은 위험한 모델 배포에 주로 초점을 맞추고 있으며, 향후 연구 개발 속도를 직접 제한해야 할 필요성이 있을 수 있으며, 2027년 1월 15일 이전에 관련 정책 방안을 제시하거나 제시하지 않은 이유를 설명할 계획입니다.
app_icon
ChainCatcher Building the Web3 world with innovations.