Claude– tag –

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

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

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

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

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