AI新聞

米国でAIコーディングの熱が一段落し、コードを書く速さだけでは差がつきにくくなっている。企業が今重視するのは、本番運用で障害を収め、原因を突き止め、再発防止までやり切れるエンジニアの力だ。

著者は、ログとメトリクスの設計、当番体制、インシデント指揮、RCA（原因分析）、改善の定着といった運用の地力を挙げる。AIエージェントは補助にはなるが、AIで書く速度より、障害対応と原因究明の筋力が評価の中心になると述べる。

スーパーの売り場で、生成AIで作った派手なポップが乱立し、値段や商品が見つけにくいと話題になっている。情報を盛れば良いわけではなく、何を見せたいかを絞る設計や視線の誘導が欠け、結果的に購買意欲を下げているという指摘が多い。

AIを使うこと自体が目的化しがちで、担当者が新しい道具にはしゃいで本来の目的を見失う現象が起きている。要は、道具の巧拙ではなくコンセプトと優先順位づけが重要で、「AIを使いたい」より「何を伝えるか」を先に決めるべきだと述べている。

Claude Code WebのRoutineで日常開発を自動化する実践記事。

• クラウド上のコンテナでRoutineを定期実行し、手元PCなしで開発を進める。実行ログあり、手動実行可、MCPも許可可能。トークン消費は要注意。
• コンテナはUbuntuで起動。起動フック(.claude/hooks/session-start.sh)でnixなどの依存を入れると安定。
• レシピ例: 毎朝PRをrebase。3時間おきにIssueを1つ解決してPR。該当なしなら課題発見。任意で自動リファクタ。月1でOSS調査。
• 機械的なIssueを事前発行し、判断が必要な案件はコメント指示。Umbrella Issueで優先タスクを束ねると効く。
• スキルは「カスタマイズ」で設定。apmでプロジェクトに導入し、起動フックで初期化。
• 課題: チーム共有のRoutineがなく重複実行しがち。担当や使用トークンの明示が必要。

記事の本文が不足しています。タイトル以外の内容が確認できないため、ジャンル判定や要約ができません。

記事の本文全文（またはURL）を貼ってください。主要な見出しや箇条書きだけでも構いません。

LLMの内部状態や一部の重みを書き換えることで、出力のトーンや従順さ、個別の知識を直接いじれるという研究解説。操舵ベクトルで内部表現を少し動かすと、文脈は保ったまま関西弁化や拒否ポリシーの反転が起きるなど、モデルが持つ「つまみ」を示す。

MLPの特定層だけを狙って置換・微調整すると、「ルーブル=パリ」を「練馬」に差し替えるようなピンポイント編集ができ、他タスクへの悪影響を抑えられる。

要するに、LLMは内部状態を書き換えて振る舞いを直接操作できる柔らかい仕組みを持つ。まだ不安定さや条件依存の課題はあるが、動作原理の解明と安全な知識編集の基盤として重要だと述べている。

政府が、マイナンバーカードと外部AIエージェントを安全に連携する基盤「MCP」構築を重点計画に明記。MCPはAIが外部のサービスやデータに安全にアクセスする標準仕様で、AIが本人に代わって行政手続きを進める未来を見据える。

住民はAIの支援で相談や申請がスムーズになり、自治体も政策検討や職員教育をAIが補助する。スマホ搭載や次期マイナ、マイナアプリ、モバイル運転免許証の検討などとあわせ、2030年代半ばに「AI駆動型国家」を実現する構想。

社内知識を「会社の地図（オントロジー）」にしてAIに持たせ、精度とコストを改善する実践記事。

• 会社の固有名詞・略語・関係を「1カード=1YAML」にし、所属・依存などの関係で結ぶ。頻繁に変わる数値や進捗は載せず検索に回す、の二段構え。
• サーバ機能は lookup/expand/seeds の3つに絞る。道具を減らし誤用を防ぐ。
• MCP/CLIで配布し、使い方も同梱。まずlookup、関係はexpand、最新はseedsで生ログ検索。
• 参照実験で、オントロジー単体より「併用」が有効。オントロジー＋社内ログ検索で、全件読破に近い品質と速度を両立。
• 監視ログで未ヒット語を改善。AIに保守も書かせ継続運用。
• 効果は、略語解釈や担当特定が向上し、「入社3年目」並みの振る舞いに近づく。

Claude CodeやCodexのサンドボックスを支えるLinux隔離技術を、自作ツールで再現しながら解説した記事。

• user/mount/net/pid の各namespaceを使い、非特権でも分離環境を作る手順を紹介
• bind mountと再マウントで、読み取り専用や一部ディレクトリだけ書き込み可を実現
• CLONE_NEWNETで通信を遮断。必要ならsocat等で一部のみ許可
• CLONE_NEWPIDはforkが必要。新しいPID空間では自分がPID 1になる
• pivot_rootで「見せるもの以外は見えない」ルートに差し替えて穴を塞ぐ
• 別ディレクトリ（例: Alpineのrootfs）をルートにすれば、Dockerのようにふるまう
• 本家bubblewrapはさらにcapabilities削減やseccompで防御を強化
• 要点は、サンドボックスとコンテナは同じ仕組みで動く という理解にある

仕様・ドキュメント・コード・テストのズレ（ドリフト）を、要求IDとハッシュで突き止めるCLI「artgraph」の紹介。仕様のFR-001のようなIDを、実装のコメントやテスト名にもタグ付けして4層を連結し、本文や関数シンボルの変更をハッシュで比較して、ハッシュで仕様と実装のズレを決定的に検出する。

LLMに頼らず結果が毎回ぶれないのが特長。JS/TSのAST解析で関数単位まで正確に追跡し、ドリフト・孤立タグ・未カバー要件を検出する。Claude CodeのStop Hook連携で、ズレが残るとエージェントのターンをブロックして自動修正に誘導。CIゲートや可視化、Spec Kit/Kiro統合にも対応する。

ニール・ブロムカンプ監督が、短編SFホラー『NIGHTBORNE』を公開。新設AIフィルムスタジオ「Barley Studios」初の作品で、全フレームを生成AIで作った本格テスト作品だという。Seedance 2.0で1カットずつプロンプト指示し、肖像権契約した32人の実在の顔と声を合成。13分の疑似ドキュメンタリー形式で、戦死者を再出撃させる極秘計画をめぐる科学者の記録が描かれる。長編AI映画への足がかりとなる位置づけ。

ヤコビアン予想は「多変数の多項式写像でヤコビアン行列式が一定の非ゼロなら、全体でも多項式の逆写像があるはず」という主張だった。AnthropicのAI、Claude Fable 5がこれを破る具体例を出し、行列式は常に-2なのに、異なる3点が同じ出力に潰れる写像を見つけた。つまり3変数以上では予想は成り立たない可能性が高い。

現在、Leanによる形式検証が進み、行列式と非単射性は確認可能な状態。今後は正しさの最終確認に加え、局所の「戻せる」が全体の「戻せる」を保証しない理由の理解が焦点になる。