Anthropic– tag –

AnthropicとパートナーのTheoremが、Claudeで123のオープンソースライブラリを形式検証し、約1億8000万行の証明コードを生成しました。AIが「書く」から「証明する」へ進む意味と、その限界を読み解きます。

Claudeの公式アカウントが、能動的に動くエージェントアプリ「Claude Duet」の研究プレビューを案内しました。注意すべき事柄の提示、依頼タスクの実行、離席中の作業継続、代行前の確認という4点の設計から、AIアプリの次の姿を読み解きます。

OpenAIのサム・アルトマンCEOが社内講演でAIの安全性をめぐる三つの終着点を示したと伝えられています。国際監督機関、主要ラボの統合、単独ラボの先行という三案の違いを、統治の選択という視点から読み解きます。

Anthropicの技術部門で、若手の新規採用者の割合が27％から9％に下がった。AIエージェントの稼働時間は全社で人間の6倍に達している。効率化の裏で問われる人材育成の行方を考える。

AIを使い倒す企業の職場では、若手技術者の比率が下がり、会議時間は増えていました。Anthropicが公表した報告書の数字から、AI時代の仕事の組み替わり方を読み解きます。

NSAが提供した楕円曲線の「種」の由来を、AnthropicのClaudeが30分未満で突き止めたと伝えられています。暗号を破ったのではなく、設定値の来歴を解き明かした点がポイントです。偏りから仮説を絞るAIの強みと、その成果の意味を整理します。

AIコーディング基盤のReplitのCEOが、Anthropicとの協業終了に言及しました。理由はコスト、提携、性能。一方で関係者は提携継続を主張しており、AIモデル選びの難しさが浮かびます。

Anthropicが2026年第3四半期の売上高168億ドルを投資家に示しました。前期比約45％増ながら伸びは鈍化。11月のIPO計画を前に、成長率・利益・蒸留対策・競争環境から評価の行方を読み解きます。

Anthropicが開発するJavaScriptランタイム「Bun」の新版1.4.3は、内蔵の型チェッカーがTypeScript 7の3倍以上の速さだと示しました。適合性テスト100％通過や、メモリ消費の少なさ、その他の更新点もあわせて整理します。

AnthropicのJack Clark氏が、AIが後継AIを訓練できる水準に2027年に達する確率を50%超と述べました。一方で自己改善の実行は来年「ゼロに近い」とも語っています。能力と実行を分けて考える視点を整理します。

Anthropicが、Claudeの推論過程を狙った大規模な抽出行為への対策を強化し、抽出量を90〜99％減らしたと説明しました。偽アカウント、分類器、アカウント停止という守りの設計から、AI競争の新しい戦場を読み解きます。

Claude Managed Agentsに、最大1000のAIエージェントを並列で動かす動的ワークフローが追加されました。バグ検出テストでは単独エージェントを上回る結果が示された一方、処理量に伴う費用が導入の判断材料になります。