BTC $81,678.88 -0.18%
ETH $2,404.33 -0.07%
BNB $744.17 +1.57%
XRP $1.33 -0.09%
SOL $104.65 +0.91%
TRX $0.3297 -0.30%
DOGE $0.0804 +1.87%
ADA $0.2168 +0.86%
BCH $287.19 +4.96%
LINK $12.20 +1.38%
HYPE $78.70 +0.87%
AAVE $149.06 +0.97%
SUI $0.9986 +1.63%
XLM $0.1780 +0.34%
ZEC $1,232.83 -0.36%
AAPL $346.20 +0.32%
AMZN $250.91 -2.89%
GOOGL $325.93 -1.05%
MSFT $518.00 -2.03%
META $648.15 -5.30%
NVDA $214.80 -0.92%
TSLA $379.72 +3.75%
SNDK $1,303.64 -1.32%
INTC $87.72 -0.50%
SPCX $149.13 -4.18%
MU $881.05 -0.09%
AMD $518.25 -2.10%
BTC $81,678.88 -0.18%
ETH $2,404.33 -0.07%
BNB $744.17 +1.57%
XRP $1.33 -0.09%
SOL $104.65 +0.91%
TRX $0.3297 -0.30%
DOGE $0.0804 +1.87%
ADA $0.2168 +0.86%
BCH $287.19 +4.96%
LINK $12.20 +1.38%
HYPE $78.70 +0.87%
AAVE $149.06 +0.97%
SUI $0.9986 +1.63%
XLM $0.1780 +0.34%
ZEC $1,232.83 -0.36%
AAPL $346.20 +0.32%
AMZN $250.91 -2.89%
GOOGL $325.93 -1.05%
MSFT $518.00 -2.03%
META $648.15 -5.30%
NVDA $214.80 -0.92%
TSLA $379.72 +3.75%
SNDK $1,303.64 -1.32%
INTC $87.72 -0.50%
SPCX $149.13 -4.18%
MU $881.05 -0.09%
AMD $518.25 -2.10%

pi

すべて
記事
速報

first_img Anthropic:Claudeは大規模な形式検証オープンソースライブラリを開発しました。

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました:単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の 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億ドルです。Googleの前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億ドルを購入し、Jane Streetが1億ドルを購入し、フィデリティのファンドが4500万ドルを購入しました。Lightspeedは持株が2%未満で、Google、アマゾン、NVIDIA、マイクロソフト、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以上のエージェントプラットフォームが接続されています。AnthropicはSkillをAIエージェントのために準備された再利用可能な作業マニュアルとして説明しており、開発者はタスクのステップをSKILL.mdに記述し、スクリプトや参考資料を添付して、異なるエージェントが必要に応じて読み取ることができます。MCPは外部ツールとデータを接続する役割を担い、Skillsはエージェントが特定の作業をどのように完了するかを説明します。今回寄付されたのは標準名、識別子、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の需要増加率が価格の下落幅を上回らなければ、持続的な計算力投資を支えることはできないと警告しています。アポロの首席経済学者である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の決済責任者ケビン・ミラーは、企業オーナーが代理に資材の注文や顧客への請求書発行などの作業を完了させたいと考えており、Linkの代理ウォレットとStripe MCPがClaude Duetにより多くの日常業務を担わせることを可能にし、企業オーナーがコントロールを維持できると述べています。Anthropicの最高技術責任者ラフール・パティルは、代理が実際の作業を人の代わりに処理し始めると、資金のやり取りにはより多くの信頼が必要になると述べ、Claude Duetの購入はLinkに基づいており、ユーザーが1ドルごとに主導権を保持できるようにしています。Linkは200以上の個人代理に決済機能を提供しており、その中にはMetaのMuse、SpaceXAIのGrok Bot、Instinctが含まれています。

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日までに関連する政策案を提出するか、なぜ提出しないのかを説明する計画です。

Anthropic IPO 書類:上半期の収益は163億ドル、将来の計算能力の約束は7500億ドルに達する可能性があります

《ウォール・ストリート・ジャーナル》が入手したIPO文書によると、人工知能会社Anthropicの上半期の収益は163億ドルで、前年同期は11億ドルだった;上半期の純損失は807億ドルで、前年同期は130億ドルだった。そのうち約720億ドルの損失は、転換社債などの資金調達手段の公正価値変動による会計費用から来ている。文書によると、上半期の計算能力およびインフラ支出は約90億ドルで、2025年の年間関連支出は73億ドルである。今後7〜10年間のクラウドコンピューティング契約支出は約4500億ドルで、さらにGoogleのチップのリースに1600億ドル以上を支払うことを約束している。今後のインフラ支出の約束は6000億ドルを超えており、まだ交渉中の契約を考慮に入れると、さらに最大1500億ドルの増加が見込まれる。上半期の約20%の収益は2社の顧客から来ており、会社は今後の収益が依然として少数の顧客に大きく依存することを予想している。文書には、人工知能モデルが現実に危害を及ぼす可能性があり、災害的事故の損失は保険でカバーできない可能性があること、データセンターの建設がますます組織化された政治的抵抗に直面していることも記載されている。
app_icon
ChainCatcher Building the Web3 world with innovations.