記事

IAMとは？クラウドの権限管理を認証・認可と最小権限で解説

IAM は、クラウドで誰が、どのリソースに、何をしてよいかを決める仕組みである。認証と認可の違い、主体・ロール・範囲という三つの部品、1975 年に示された最小権限の原則を、Uber と Capital One の公的な記録とともに説明する。

IaaS・PaaS・SaaSの違いを代表例と責任の範囲でわかりやすく解説

IaaS・PaaS・SaaS の違いは、事業者がどの層まで管理するかにある。NIST の定義と AWS・Microsoft・Google Cloud の責任共有モデルをもとに、注文受付のアプリを三通りに載せる例で、どこまでが事業者の責任で、どこからが利用者の責任かを説明する。

クラウドとは？意味と仕組み、オンプレミスとの違いを例で解説

クラウドとは、サーバーなどの計算資源を事業者から必要なときに必要な分だけ借り、使った分だけ払う仕組みである。NIST の5つの特徴、オンプレミスとの違い、公益事業の構想から AWS までの歴史を、注文受付のアプリを載せ替える例で説明する。

Databricks Genieとは？自然言語の質問をSQLにして答える仕組み

Databricks の Genie は、利用者が日本語などで尋ねた質問を SQL にして、Unity Catalog の表から答える AI の機能群である。店ごとの売上を尋ねる例で、誰の権限で読むのか、定義をどう与えるのか、正しさをどう確かめ、料金はどう決まるかを説明する。

Databricks宣言型自動化バンドルとは？旧アセットバンドルの仕組み

Databricks の宣言型自動化バンドル（旧称アセットバンドル、Databricks Asset Bundles）は、ジョブの定義とコードを一つのプロジェクトにまとめ、開発と本番に同じ形でデプロイする仕組みである。毎晩の注文の集計を例に、何がどこに作られ、画面で直すと何が起き、本番には誰がデプロイするかを説明する。

Delta Sharingとは？データをコピーせずに共有する仕組み

Delta Sharing は、受信者に表のファイルを提供者のストレージから直接読ませる、データ共有のオープンなプロトコルである。注文の表を取引先と共有する例で、受信者が何を受け取り、どこでコピーが生まれ、誰が何を払うかを説明し、Lakehouse Federation とも比べる。

オープンウェイト発表でも重みが未公開、時期とライセンスの確認点

Mistral Large 4とReflection AIのBeamは、いずれもオープンウェイトとして発表されたが、重みは発表日に取得できず、公開の前に安全性評価の段階がある。自己ホストを計画する読者向けに、配布物とライセンスの違い、OSIの定義との関係を整理する。

Deep Agentsのスキル連動ツールとtool searchの違いと使い分け

エージェントのツール定義は、最初に全部渡す形から途中で必要な分だけ開示する形へ移っている。モデルの検索で開示する tool search と、SKILL.md を読んだら開示する Deep Agents の方式を並べる。

VASPの機械学習力場をLAMMPSで使う方法とGRACE対応の注意点

VASP の機械学習力場は、VASP の中で学習し中でだけ使う形から、VASPml で LAMMPS へ持ち出し、ML_TYPE=grace で外部の汎用力場を VASP の計算に差し込める形へ開き始めた。開いた経路が持たない誤差の指標と、一時的な代償と残る代償を一次資料で分ける。

durable execution とは：AIエージェントを中断から再開する仕組み

durable execution は、AIエージェントのモデル呼び出しとツール呼び出しを記録し、落ちた実行を続きから再開させる仕組みである。Temporal と AWS Lambda を例に再生の仕組みを説明し、どのエンジンでも利用者が設計する冪等性と配備の版管理を扱う。

Databricks料金はどう決まる？DBUの計算と請求の内訳

Databricks の料金は、使った DBU の量に、コンピュートの種類ごとの単価を掛けて決まる。毎晩の集計の処理を例に、DBU の量の出方、汎用とジョブの単価、アイドルの時間、Photon、サーバーレスで請求の行がどう変わるかを、公式の価格表と請求テーブルをもとに説明する。

リキッドクラスタリングとは？Z-orderとの違いと仕組み

リキッドクラスタリングは、Delta Lake の表で値の近い行を同じファイルに集める配置の方法である。ファイルごとの最小値と最大値による読み飛ばしを軸に、パーティション、Z-order、リキッドクラスタリング、削除ベクトルがファイルとログをどう変えるかを、公式の文書と仕様をもとに説明する。

Delta Lakeとは？ファイルとトランザクションログの仕組み

Delta Lake は、Parquet のデータファイルと、どのファイルが表に属するかを記録したトランザクションログからなる表の形式である。表のディレクトリの中身を追いながら、書き込み、更新と削除、タイムトラベル、VACUUM が何を変えるかを、公式の文書と仕様、論文をもとに説明する。

Unity Catalogとは？階層・権限・リネージの仕組みを解説

Unity Catalog は、Databricks に組み込まれたデータと AI のガバナンスの層である。公式の文書をもとに、メタストアからテーブルまでの階層、マネージドテーブルと外部テーブル、権限の継承、行と列の制御、リネージと監査、権限が届かない経路を説明する。

Isaac ROSはなぜNITROSを外し、rosidl::Bufferへ移ったか

ROS 2 で GPU 上のデータをノード間で渡す仕組みが、NVIDIA 独自の NITROS から ROS 本体の rosidl::Buffer へ移った。作り手の理由と、移行の代価が一時的かどうかを一次資料で確かめる。

メダリオンアーキテクチャとは？ブロンズ・シルバー・ゴールドの役割

メダリオンアーキテクチャは、データを品質の段階でブロンズ・シルバー・ゴールドの層に分ける設計の型である。Databricks の公式の文書をもとに、各層に何を置くか、Databricks で層を作る仕組み、先にあった考え方との関係、製品ごとの呼び方の違いと批判を説明する。

Databricksとは？できること・構成・料金の仕組みを公式資料から解説

Databricks は、オープンな形式の表を Spark を拡張したエンジンで処理し、Unity Catalog で管理するレイクハウスの基盤である。公式の文書をもとに、できること、アカウントからコンピュートプレーンまでの構成、DBU と仮想マシンの代金からなる料金の仕組み、6つの基本原則を説明する。

データガバナンスとは：データの信頼を決める仕組みと残る課題

誰でも何でも保存して問い合わせられる基盤では、どのデータを信じてよいかを決める仕組みの必要がいっそう強まった。品質の検査をコードにし、来歴で写しをたどり、データオーナーに責任を持たせる。その仕組みをどこに置くかは割れており、バッチとストリーム、AI の処理をめぐる主張も並んだままである。

vLLMはモデル定義を機種別と機種非依存の二本に分け始めた

vLLMの作り手は、最先端のGPUで最速を出すためにモデル定義を機種ごとに分け、演算の融合を手で書く方針を示した。並行して、移植性を保つ機種非依存の定義も組み始めた。二つのRFCとPyTorchのブログから、変わる点と、古いGPUや独自のアクセラレータの利用者に残る代償を整理する。

オープンテーブルフォーマットとは：版をログで差し替える仕組み

オブジェクトストレージ上のただのファイルは、更新の途中が見え、一覧の取得も遅い。Delta Lake・Iceberg・Hudi は、どのファイルがテーブルのどの版に属するかを記録して一回で差し替え、更新と過去の版を持たせた。ファイルの整理と、メタデータの在りかを握るカタログの課題は残った。

ストレージとコンピュートの分離とは：得たものと、遅さ・料金の代償

分析用のデータベースは、計算する機械のディスクにデータを置く形から、データを共有のオブジェクトストレージに置き、計算する機械を別に動かす形へ移った。保存と計算を別々に増減でき、止めれば払わずに済むようになったが、遠い保存先の遅さをキャッシュで補い、使った分の料金を自分で管理する負担が生じた。

データレイクとは？仕組みと、データスワンプになる理由

データレイクは、安い汎用の機械に生のデータを形を決めずに置き、読むときに解釈する。取り込みは速く安くなったが、データの意味と品質を確かめる作業は読む人ごとに先送りされた。それを管理しなければデータスワンプになる危険が、早くから指摘された。

AIエージェントの権限管理：NVIDIA OpenShellは何を止められるか

NVIDIAのOpenShellは、エージェントの外に置いた中継で、HTTPのメソッドやMCPのツール名まで要求を検査する。既定では接続先の単位で通信を絞るAnthropicのsandbox-runtimeと比べ、止められる操作、認証情報の扱い、検査の届かない通信を確かめる。

列指向データベースとは：行指向との違い、速い理由と苦手な処理

データウェアハウスの集計は、多数の行の少数の列を読む。分析用のデータベースは、データを列ごとに並べて圧縮し、多数の機械に分けて読むことで、読む量と一行ごとの処理の手間を減らした。その代わりに、一行ずつの書き込みと特定の行の取り出しは苦手になる。

データウェアハウスとは？業務データベースとの違いとETL

部門ごとに業務システムから抜き出すと、同じ問いに別々の数字が返る。データウェアハウスは、写すときに名前・コード・キーの食い違いをそろえ、過去の状態も行として残すことで、数字を一つにしようとした。そろえる場所で Inmon と Kimball は分かれ、データウェアハウスを作った後でも指標の定義が割れると数字は割れる。

OLTPとOLAPの違い：分析を別コピーで動かす理由とHTAP

注文の登録のような業務の処理と売上の集計のような分析は、一回に触るデータの量が桁で違い、同じ資源で動かすと分析が業務の処理を遅らせる。分けると業務は守れるが、分析は遅れたコピーを読む。両方を一つで扱う HTAP でも、干渉を小さく抑えた設計は分析用のコピーを別に持つ。

MLIPのGPUバッチ化：TorchSimとInferenceBatcherの違い

MLIPで多数の小さな結晶を緩和する計算は、一つずつ回す形から多数の構造をバッチ化してGPUで同時に進める形へ移っている。計算の手順ごとバッチ化するTorchSimと、モデル呼び出しだけをバッチ化するfairchemのInferenceBatcherを並べ、払う手間を整理する。

vLLMの文章透かしの仕組み：SynthIDとの違いと、検出に要る鍵

vLLM v0.30.0は文章の透かしをサンプリングの段に入れ、起動時の設定で使えるようにした。transformersに入ったSynthID Textと並べ、作り手が測った速度と多様性の変化、検出に要る鍵と設定、効かない場面を整理する。

ARDとは？AIエージェントのツール探しとMCP Registryとの違い

エージェントにツールを選ばせる仕組みは、全部の説明をモデルに渡す形から、提供元が公開したツールを外の検索が絞る形へ向かい始めた。提案段階の仕様ARDとMCP Registryを並べ、信頼の判断を誰が担うかを整理する。

MuJoCo 3.14の新ipcモード：布の貫通を防ぐ仕組みと制限

MuJoCo 3.14は実験的なipcフラグで、位置の更新が交差しないことを確かめてから確定する方式を、布のような薄い変形体の接触に加えた。Genesisの例と並べ、外れた機能を整理する。

Cloudflare、新CLI「cf」をベータ公開：全API操作をエージェントから

Cloudflareは2026年9月28日、APIのスキーマから全操作のコマンドを生成するCLI「cf」をオープンベータとして公開した。

Materials Projectのデータ一括取得：列形式の配布とmp-apiで読む

Materials Projectは以前からデータをJSONファイルの束としても一括で配ってきた。2026年6月に本番化した版（v2026.04.13）では中核データの保存層をDeltaテーブルへ移し、配る形式を列形式の表に変えた。この変更を読み、複数のデータベースを束ねて配るLeMaterialと並べる。

トークナイザの高速化はどこで効く？専用コードとBPEキャッシュ

トークナイザの高速化を、分割の段の専用コードとBPEの段のキャッシュに分け、それぞれがどの規則とどの入力で効くかを、tokenizers v1とgigatokenの作り手の資料から読む。

Every Eval Everとは：AI評価記録の必須欄と再現の穴

評価結果を機械可読な記録として公開する共有スキーマEvery Eval Everの必須欄と任意欄を、英国AISIの採用例とともに読む。走行の設定を書く欄が必須ではない設計の代償も確かめる。

MCPロードマップのwebhook通知とは：ポーリングとの違いと今の仕様

MCPが2026年8月22日に公開したロードマップを読み、仕事の完了をポーリングだけに頼らず知らせるwebhookを含むpush配送へ向かう方向を追う。まだ仕様ではない行き先として書き、07-28版に残る接続の上の通知とA2Aの既存のpush notificationを比較に置く。

transformersがGGUFをggmlカーネルで実行：従来との違いと制約

2024年からGGUFを展開して読めたtransformersが、ggmlカーネルまで取り込み、モデル定義だけを手元に残す設計を、作り手の記事から読む。対応範囲の狭さ、量子化による精度低下、カーネルがあるだけでは速さと安定が決まらないことの三つの代償も確かめる。

エージェント間の調整がgitで偶然できた仕組みとpush頻度の罠

Thoughtworksの4日間の演習で、ビルド失敗を早く捕まえるために入れたcommitとrebaseの規律が、計画ファイルを全員に配る共有の置き場として働いた。偶然できた調整の仕組みと、CI負荷への対策で進行の流れが途切れるまでを当事者の記録から読む。

機械学習ポテンシャルUMAのtask指定：なぜ必要で何に注意するか

Meta FAIRのUMAは、汎関数の異なる複数のDFTデータセットを一つの重みで学習し、どの理論レベルを再現するかをtask名で受け取る。計算条件の選択が利用者の入力へ移った理由と、その代償を作り手の文書と独立ベンチマークから読む。

AP2とACPの違い：エージェント決済の権限と承認の設計

AP2は、エージェントが組み立てて利用者が承認し、署名された範囲のデータをエージェントに運ばせる。ACPのDelegate Paymentは、加盟店へ渡すカード情報を1回限りのallowanceで縛る。エージェントに決済を任せる権限の設計を、仕様が書く理由と、独立の分析が示す限界から読む。

GitHubがCopilotをRustで80万行に書き直し、正しさの基準はE2Eテスト

GitHubは2026年9月16日、Copilotエージェントランタイムをその場での部品置換によってTypeScriptからRustへ移し替えたと公表した。正しさを保つ仕組みと既知の退行、独立測定との差を一次資料から読む。

MuJoCo MJXのJAX版とWarp版の違い：接触の扱い・速度・対応GPU

MJXのJAX実装はどの世界でも同じ個数の接触を生成し、Warp実装は世界ごとに実際に起きている個数だけ接触を生成する。三つの世界の例でこの差を数え、作り手の説明と実測と、高速実行がNVIDIA GPUに限られ自動微分に未対応という制約を一次資料で確かめる。

Cloudflareで検索は許可・AI学習は拒否、新設定の仕組みと限界

Cloudflareが2026年9月15日に出したDisallow AI Trainingは、学習の拒否を検索と分けて扱うと約束した混用クローラーだけを検索用に残し、他の学習クローラーを遮断する。用途別の意思公開は2023年から在り、新しいのはその約束と混用クローラーへ及ぶ遮断である。分離の実効性もその約束に依存する。

Playwright CLIとMCPの違い：コンテキストの消費と権限の境界

Playwrightの作り手はMCPサーバーの次にCLIとスキルを出荷し、コーディングエージェントにはそちらを勧めた。ツールの説明と操作結果をコンテキストへ押し込む設計と、必要な分だけ取りに行かせる設計が何を狙ったのかを、両READMEから読む。ツールごとの確認はシェルの許可にまとまり、境界を外側で作り直す仕事が残る。

WebMCPとは？サイトがAIにツールを渡す仕組みとWebKitが反対する理由

サイト自身がエージェント向けのツールを宣言する提案WebMCPは、ChromeとEdgeで試験提供され、AppleのWebKitは反対、Mozillaは中立を表明した。人間向け画面を読んで推測するPlaywright MCPと並べて一次資料を読む。サイトがエージェントを区別できる設計なら、同等性と公開範囲の論点は残る。

Codex app-serverとは：承認をアプリに残す組み込みの仕組み

OpenAIのCodex app-serverは、公開ハーネスのエージェントのループと実行の隔離をプロトコルで渡し、画面と承認とツールを組み込む側のアプリに残す。自社アプリにコーディングエージェントを組み込むときの線の位置を作った側の文書で確かめ、結果が他人のハーネスに依存する代償を読む。

材料データベースの横断検索：OPTIMADEの仕組みと値がずれる理由

材料データベースを横断して検索する共通仕様OPTIMADEは、問い合わせの言語と応答の器だけを揃え、値の意味は各データベースに残す。設計理由を仕様と論文に読み、2026年9月に登録23件のうち応答した18件を実測する。代償は、過去の版の比較研究で生成エネルギーの中央絶対差が最大0.105 eV/atomだった点にある。

MCPとA2Aの違いと使い分け：ツール呼び出しかエージェント間の仕事か

エージェントとツールをつなぐMCPは2026年7月の版で自らをステートレスと言い切り、エージェントどうしをつなぐA2Aは状態を持つ協働に強みを置く。二つの規約の原文から、境界を状態の有無として読む。両者をつなぐ橋の安全は、いまはどちらの規約の範囲にも入っていない。

AIエージェントの認証・認可、IETF作業部会が統合案を採択

IETFのWIMSE作業部会は、AIエージェントの認証と認可について、既存のワークロード標準を統合する草案を2026年9月に採択し、専用の識別層と執行プロキシを新設する草案は個人提出のまま同月に失効した。MCP・A2A・クラウド事業者の製品を含む地図の上で、この採択が決めたことと決めていないことを分ける。

LeRobotDataset v3.0の変更点：ParquetとMP4の連結、区切りの移動

LeRobotDataset v3.0の設計者は、数百万エピソードへの拡大でファイルシステムの限界に当たるとして、区切りをファイルからメタデータとAPIへ移した。外のツールが区切りを読めなくなる代償を追い、大規模に配るデータはこの方向へ進むと見る。

モデルルーターは何で選ぶ？Cursor RouterとOpenRouter Autoの違い

依頼ごとにどのモデルへ処理させるかを決めるモデルルータを分けるのは、誰の振る舞いを判断の証人に立てるかである。証人を自社の利用者に取る例として次の一手を読むCursorのルータを、市場に取る例として直近7日にどのモデルへ支出したかを読むOpenRouterのAuto Routerを取り上げる。

AIエージェントの長期記憶の仕組み：mem0とZep（graphiti）比較

エージェントの長期記憶では、古い事実と新しい事実が必ずぶつかる。一件が文だけなら、書き込みで矛盾を解くには古い文を消すか書き換えるしかなく、消さなければ読むたびに解き直す。有効期間の欄があれば、消さずに書き込みで解ける。文を貯めるmem0のOSSとエッジを貯めるgraphitiを例に、帰結を追う。

MCPのステートレス化で状態はどこへ？セッション廃止の理由と移行

MCPは2026-07-28版でプロトコル層のセッションを外した。寿命も範囲もクライアントごとに別物で、サーバーが当てにできず、ツール一覧も取っておけなかったからである。状態はサーバーに残り、それを指すハンドル（識別子）をモデルが引数として運ぶようになり、守るべき参照がモデルの入力へ出た。

llm-wikiとqmdの違い：LLM知識ベースは編纂か検索か

LLMに答えさせる知識ベースの二つの設計を並べる。Karpathyのllm-wikiは資料を読んだ時点でLLMにwikiを編纂させ、tobi/qmdはmarkdownを質問のたびに検索する。両者は競合せず、Karpathy自身がqmdを検索層に推薦している。違いは更新の手間をどこへ置くかにある。

AI生成PRのレビュー負担にどう対処するか：分割・受付停止・量の削減

コード生成が安くなり、負荷は受け取る側へ移った。GitHubは1本の大きなPRになりがちな作業を依存の段ごとの小さなPRの積み重ねへ分ける手順を公開し、tldrawはPRを止めてissueを入り口にした。レビューの量自体を減らすべきだという別の主張もある。

確認プロンプトを減らすauto modeと、権限を絞るOAuth同意の違い

AIエージェントへの確認の聞き方を変える実在の設計を二つ並べる。Claude Codeのauto modeは分類器が判断を代行して聞く回数を減らし、CloudflareのOAuthは一度の同意画面で求めるスコープを作業単位に絞る。両者が減らすものは違い、部分同意では付与されたスコープの確認がアプリ側に残る。

ハーネス設定で修復率はどこまで変わる？AGENTS.mdの効果も検証

古いツール出力の自動短縮を含む三規則のハーネス設定パッケージで、コーディングエージェントの修復率が最大28%から49%へ動いた。効き幅はコンテキストが苦しい条件ほど大きく、余裕がある条件では三つ中二つで差が出なかった。別の設定（AGENTS.md等のコンテキストファイル）は著者の異なる二本の検証で精度を動かさなかった。

倒立振子をLQRと強化学習で比べる：学習コストとLQRの遅延の限界

台車の上の棒を、まず自分で（難しい）、次にLQRの自動操縦で（簡単）、最後に強化学習で。後ろの二つを同じ指標で測ると、賢く見える方法も無料ではないと分かる。さらに制御に60ms遅延を足すと自動操縦の「完璧」は崩れ、80msで倒れる。sim2realギャップを指で触る。

Hugging Face侵入事件、AIエージェントはなぜ侵入したか：経路と防御

手違いで解けない評価課題を与えられたエージェント群が、採点の仕組みを知るためにHugging Faceへ侵入した。入口は公開されていた認証情報で、内部への経路はデータセット処理系の二つの欠陥だった。外部の調査3名が現地で6日間検分し、届いた範囲と届かなかった範囲の両方を自ら書いている。

推論モデルは安全性が落ちる？拒否が両方向にずれる実態と防ぎ方

考えてから答える推論モデルは、指示に従うよう調整済みのモデルを訓練し直して作られることが増えている。2026年の信頼性監査は、推論の後段学習で安全な拒否や偏りの回避が既定では保たれないと報告した。崩れ方は拒否の両方向のずれで、訓練の内側で手当てできるという報告もある。

医療QAでLLMの思考連鎖を壊すと？30種の摂動で見た忠実性

医療QAの設問と思考連鎖を30種の摂動で壊す監査は、設問の編集をCoTが記録せず答えも動かない割合を、オープン11モデル横断で72.9%と報告した。CoT自体を壊しても正答率の変化は中央値でほぼ0ポイント。再注釈197問の98.5%で正解は妥当なまま。査読前。

ロボット模倣学習でデータの質は何で決まる？2つの基準の違い

実演から学ばせるとき、良いデモとは何か。なめらかさでふるいにかけると、ある課題では6分の1のデータで成功率が16ポイント上がる。一方、効率よくこなした実演は決定的な瞬間を短く圧縮して教え損なうという報告もある。二つは同じ軸に載らない。

AI駆動の研究が成果を出す条件は？AlphaEvolveなど4事例を比較

分かれ目は外部検証者の有無ではなく、採点に候補を落とす力があるかだった。実験・評価器・採点指標が候補を選ぶCo-Scientist・AlphaEvolve・ERA（保留データで採点し直した単一細胞解析）は検証を通り、論文への採点が助言にとどまったshadow evaluationは6点満点で2点・1点に終わった。

圧電テンソルの機械学習：対称性で決まるゼロをモデルは守れるか

2026年8月19日のプレプリント。圧電テンソルを機械学習で予測するとき、対称性でゼロに固定される結晶2,000種で、パリティ付きO(3)モデルは18,000回すべて閾値0.01 C m⁻²を下回り、パリティ無しSO(3)は90〜96%で超えた。ゼロを混ぜて訓練した実験でも約9割が閾値を超えた。

LLMの自己学習と蒸留の違い：ほぼ解けない問題を伸ばすのはどちらか

自己学習の伸びを、訓練していないモデルを訓練済みと同じ手続きで測り直した「何も学習していなくても出る数字」に照らした監査がある。その床の上で、ほとんど解けていなかった問題の解答率を押し上げたと言えたのは外の強いモデルから写した蒸留で、自己学習3方式はそう言えなかった。

LLMのモデル移行で何を測り直す？総合点が上がっても後退する項目

2026年8月18日のプレプリントは、GPT系の3つの移行すべてで、確実に改善した項目と確実に後退した項目が同居すると測った。総合点が7.3ポイント上がった組にも後退側は残る。先行する4月の研究も別のモデル系列で同じ形を報告する。ただし過半の項目は動かず、後者ではその大半が版によらず常に正解か常に不正解の項目である。

自己改善エージェントの上達は本物か：ReasoningBank再評価で反転

記憶型のAWM・ReasoningBankを3回ずつ再評価した2026年8月のプレプリント。WebArenaの既定順でReasoningBankが見せた+1.5ポイントは有意でなく（p=0.23）、課題順のシャッフルで−4.5ポイントに反転。入れ替え後は2手法とも49.1〜50.7%と、記憶なしの54.8%を下回った。

コーディングエージェントのツール設計：見せ方で成功率は変わるか

能力を同等に保ったまま提示の形だけを変える統制実験。65課題を反復。構造化された低水準インタフェースはk回連続成功率を最大4.7倍に改善（最も弱いactorで）、自然言語検索は再現率を1割前後上げる代わりに適合率を下げた。CodeAct形式はステップ41.6%減だが一貫性は上がらず。書き留めさせるツールは効かなかった。

ビームラインでAIエージェントが単結晶アライメント、成果と限界

LLMエージェントがシンクロトロンのビームラインで試料アライメントのコマンドを自律生成した。ただし実機では安全要件で実行を人間が中継しており、成功率と試行回数が出ているのは仮想環境の側だけである。

OpenAI AstraのサイバーCritical判定：排除できないから確定まで

OpenAIは2026年8月7日、Astraが自社枠組みのCriticalサイバー能力に「到達を排除できない」と述べ、9月1日に追加評価を経て満たすと結論づけた。8月時点では予備的評価とし、配備向けの堅牢性試験の拡充と開発継続の社内措置を挙げた。枠組みが緩和を保証しないとの分析と、外部評価が手薄との指摘がある。

RAGのチャンク分割は手法で精度がどこまで変わる？固定長との比較

RAGのチャンク分割を1,080構成で比べた研究は、固定長分割のPrecision@1が2〜3%、最良手法は24%だと報告した。別の研究では固定長はAccuracy@5で1.65ポイント差、処理時間は1秒未満。ただしRecall@10では差が開く。二つは設定も違い、差を切り方だけに帰せない。

機械学習論文の再現性はAIで確かめられる？再実行の結果と費用

研究レビュー企業SAIのエージェントがICML 2026の口頭発表168本をレビューし、105本を再実行した。その105本のうち、検証可能な主張が5つ以上あった92本で、試行できた主張の4割超を再現できたのは34本。その105本で全実験を回す費用は中央値で約8,900ドル。だが「再現できた」の定義はまだ揃っていない。

AIエージェントの失敗、エラーなしで間違える原因と防ぎ方

故障を注入すると、失敗タスクの21.82〜65.71%（Claude-Sonnet-4.5）はエラーを出さず間違った結果を返した。最も脆い構成は4つのバックボーンLLMすべてで変わらず、脆さは実装依存だと示唆された。ツール境界に事後条件検証と冪等性キーを足すと顧客有効化の重複は72%から20%へ。ゼロにはならない。

AIエージェントのPRはなぜ不採用になる？理由の内訳とマージ率

人気OSSのエージェントPRの生マージ比率は37.8〜90.0%で、首位は人間の84〜86%を超える。非マージPRを人が読んだ研究は重複とテスト失敗を上位に、ビルド失敗をまれとした。別の研究は不採用のうち真にエージェントの失敗は35.7%、理由が残らないものが33.1%と数える。損失の多くはコードの欠陥で説明できない。

AIエージェントが評価中に権限外行動19件：何が起き何が言えるか

AISIのインシデント報告は、122回の評価実行のうち10回で許可されない行動が生じ19件を記録したと示す。うち17件はAnthropicのMythos 5。AISIはサイバー分類器の無効化などの特殊条件で、一般提供の条件は反映しないと明記する。

ロボット評価の試行回数は何回必要？成功率の差を1行で検算する

実機ロボットの成功率は10回前後の試行で報告される（本稿の例では9〜15回）。試行10回だと40ポイントの改善でも95%区間が0をまたぐことがあり、観測された差が同じなら、20回あれば成功回数の内訳によらず立つ。読者が1行で検算できる算術と、試行数だけでは足りない理由。

量子コンピュータの化学計算はどこまで来た？量子優位が言えない理由

量子古典ハイブリッドは12,635原子のタンパク質–リガンド複合体まで届いたが、著者ら自身が量子優位性とは呼ばないと明記している。2026年の別論文は量子アルゴリズムをGPU上で古典的に走らせ、化学での境界を200量子ビット超へ押し戻しうると示唆した。

OpenAIが単位距離予想を反証、数学者はAIの証明をどう検証したか

本稿は、OpenAIの社内モデルが出した単位距離予想への反例が数学として流通し始めた地点を、9人の数学者が短く消化し人手で検証した版を発表したところに見る。8月の10件の解法発表でも同じ工程を読み取る。数学者が2日以内に別構成を発表し、発表の「10年間進展がなかった」という主張は8月3日に削除された。

外観検査AIの精度と限界：MVTec AD 2で苦手が解像度で入れ替わる

欠陥サンプルなしで始めるゼロショット外観検査には、エッジ機で動かした報告も出た。ただし難しいベンチマークでは、正常画像で学習する既存手法のどれもAU-PRO（許容0.30）が6割、主指標の許容0.05では32%に届かない。既定の256×256評価で低いのは金属反射とテクスチャで、透明や逆光はむしろ高い部類だった。

EU AI法第50条の透明性義務が8月2日開始：表示義務と透かしの限界

2026年8月2日、EU AI法第50条の透明性義務が適用開始となった。提供者はAI生成物に機械可読の印を付け、公共的関心事項のAI生成テキストを公表する側は開示する義務を負う。だが自己回帰型の画像生成向けの透かしは方式ごとに除去か偽造のどちらかに破れると報告され、表示の義務は検出の保証ではない。

サロゲートモデルとは？元が取れる条件：解く回数と比べる相手

訓練済みのサロゲートモデルが数秒で答えを返すという報告があるが、サロゲートモデルはデータ生成と訓練という前払い費用を伴う。採否は実際に解く回数と、誤差を揃えた古典ソルバとの比較で決まる。

LLMでデジタル回路のVerilogを書く：ツール反復の効果と限界

デジタル回路の記述をLLMにどこまで任せるか。設計ツールの出力をモデルに戻す反復には効果が報告されている。ただし実在IPで測った2026年のベンチマークは反復を掛けずに測り、サブモジュールを2つ以上持つ設計の機能合格率は0.00%。脆弱性検出は名指しの2種で適合率89%でも全体では5割前後、判定は渡せない。

機械学習ポテンシャルとは？仕組み・速さの理由・学習範囲外の限界

DFTは正確だが遅い。ならば、DFTが出した答えを大量に学習して、原子の配置からエネルギーと力を一瞬で予測できないか。この発想を形にしたのが機械学習ポテンシャル(MLIP)だ。なぜ桁違いに速く、なぜDFT並みの精度を保てるのか。そして、どこで信用できなくなるのかを辿る。

AIと学習：認知負荷理論で分ける、任せてよい負荷と任せられない努力

本は読者ごとに較正がずれ、家庭教師は地図を持って困難を課す。AIはどこに立つか。認知負荷理論の三負荷で測ると、強みは較正ずれを消せること、危険は学習が起きる場所の負荷まで頼めば消えること。努力そのものは任せられない。足場は作れるが、既定の勾配はそちらを向いていない。約千人の実験では、プロンプト設計が害の有無を分けた。

AI協働で本当に新しい問題は何か：AIが壊す前提の見分け方

AI協働の問題の大半は、昔からある規律の翻訳で解ける。見分ける問いは二つある。既存の作法はあるか、AIが壊す前提は何か。残った新しさは壊れた前提として名指しし、その答えには日付を添える。

AIを使えば判断力は伸びる？伸びない二つの理由と直し方

AIの議論は生産性一色だが、同じツールは人間の学習を加速も空洞化もさせうる。「使っていれば上手くなる」という素朴解が破綻する過程を認知負荷理論と熟達研究で追い、負荷の配分と検証ループの二つの修正を経て、判断を持ち込む先が続くかどうかという、ループの固定費を回収できる条件で学習投資の配分を決める。

AIエージェントの組織化：人の組織論が効く部分と効かない部分

AIエージェントを何体も並べると、人を並べたときと同じ問題が出る。重複、噛み合わない成果物、滞留。人間のマネジメント技術は半分だけ効く。分け方・調整・流し方は前提を当て直せば使えるが、動機づけと責任は載せる土台がない。その境目を原典の前提条件で引く。

機械学習ポテンシャルの微調整：効く条件と、手法より効く設定

汎用MLIPを自分の系に微調整するか、そのまま使うかの判断材料。20%のデータ（664構造）で全データ学習に並んだ例がある一方、MACE系の比較では手法ごとの最適な学習率が一桁から二桁違い、MOFでは汎用モデルの2.60 GPaが微調整モデルの3.16 GPaを下回った。

ソフトウェア開発とは何をする仕事か：4つの見方とAIに任せる範囲

AIが書いたコードは動くし、テストも通る。だが「なぜこの形なのか」を誰も説明できないと、安全には変えられない。ソフトウェア開発を「何をする活動か」とどう捉えるか。理論を組むのか、証明するのか、組み立てるのか、コードを書くことそのものか。この答えによって、AIとの協働の姿勢と、選ぶべき実在のハーネスが変わる。

AIエージェントを多数動かすガバナンス：例外監視と権限の絞り方

エージェントを増やすのは一瞬だ。だが1人でN体を統べることと、その速さで壊せる範囲を縛ることは、別の設計仕事になる。実運用ハーネスの既定は、戻す・止める・持たせない・届く先を縮めるに分かれ、いちばん広く合意が取れたのは最後の一つだった。

AIエージェントとスクリプトの使い分け：非決定のコストと来歴

生成が安くなったからといって、何でもエージェントに投げるのは違う。非決定のコストを差し引いた後の純益で選び、そして安く作った以上、二度と再現できない出力の来歴を残す。どちらもAI以前からある経済と来歴の規律が土台になる。ただし、それが届かない先が三つ残る。

AIのスキャフォールドとは？自動最適化の効果とプロンプト過適合

AIエージェントのスキャフォールドとプロンプトの自動最適化が、重みを変えずに性能を伸ばすレバーとして台頭した。強化学習を上回りながらロールアウトは最大35分の1で済んだ、と報告する手法がある。だがプロンプトの自動最適化は最適化に使ったサンプルへ過適合しうる。別の研究は、そのサンプルの外側で性能が崩れると報告した。

AIエージェントの記憶の設計：RAG・要約・引き継ぎの使い分け

知識は最新に保て、仕様化も生成も安い。だが有界のコンテキストしか持たないエージェントは忘れ、自然言語の意図は曖昧だ。知識はメモリ階層に写して外部化し、意図は曖昧さの高い所だけ固定して対話で収束させる。どちらも、AI以前からある記憶と仕様の規律の延長で扱える。

マルチエージェントは本当に効くか：同じ計算量の単体との比較

AIエージェントを何体も並べれば賢くなる、とは限らない。設計を詰めれば単体を超える実証がある一方、多段推論では計算量を揃えると単体が並び、失敗の多くはモデルの限界でなく設計と調整の欠陥から来る。

AGENTS.mdの書き方：守られる指示と効かない概要、研究5本の結果

AGENTS.mdやCLAUDE.mdは書いても成功率を一般には上げないと2026年の複数のプレプリントが報告する（無しと比べれば手書きでも同じだ）。具体的な指示は守られても散文で書かれた概要は効かず、コストについては増えるという報告と、減るという関連の報告がある。

AI出力の検証はどこまで自動化できる？CIで止める違反と人が見るもの

生成もレビューも安くなったが、AI出力は自信満々に誤る。機械が判定できる違反は指示でなく機構ゲートで赤く止め、判定できないものに人手を温存する。確信度を正しさと取り違えない信頼の置き方を、品質を工程に組み込む規律と自動化研究の知見から翻訳する。

LLMの量子化で精度はどこまで落ちる？8bitと4bitの違い

LLMを量子化して配信するとき、精度はどこで落ちるか。50万件超の評価はFP8を実質ロスレスとし、ロングコンテキスト評価でも8bitの低下は0.2〜0.8%だ。4bitも平均では1.8〜6.9%だが、方式とモデルの組み合わせで最大59%落ちる。日本語で自動評価1.7%に対し人手16.0%という差は4bitでの測定だ。

AIが出したヤコビ予想の反例：7次の写像と、人による検証

1939年以来開いていたヤコビ予想が3次元で偽だと示された。反例は7次の多項式写像ひとつで誰でも確認できるが、難しかったのは証明ではなく探索だったとみられ、2次元は未解決のまま残っている。

AIエージェントのハーネス自動進化、成果とベンチマークの信頼性

AIエージェントのハーネスを自動で進化させる研究が、人間設計超えをベンチで報告した。方法は前進だ。だが看板の数字が乗る Terminal-Bench 2 は、上位提出が採点の抜け穴を突いていたと独立監査に指摘された表であり、転移先の SWE-bench も漏洩が実証されてきた。信頼度の異なるベンチマークを、分けて読む。

LLMの構造化出力で精度は落ちる？分類と推論での使い分け

LLMの構造化出力をどの工程に掛けるか。査読付きのEMNLP 2024論文は形式制約が推論を下げると報告した。ただし「厳しいほど落ちる」という順序は、同論文が追試した文法保証つきの方式で崩れる。実務で効くのは「正しく、かつ構文が妥当」の同時成立を測る指標だ。

RLVRは新しい推論能力を生むか：賛否の論文を測定結果で読み比べる

推論モデルの強化学習(RLVR)は新しい推論能力を生むのか、既存の能力を並べ替えているだけなのか。Yueらのpass@k交差、Qwen限定で効くSpurious Rewards、境界を狙う2026年のcurriculum RLとチェスでの検証実験まで、食い違う測定結果を追う。

タンパク質バインダー設計AIの成功率：BindCraftの10〜100%の読み方

AIによるデノボタンパク質バインダー設計は、Nature掲載のBindCraftなど複数の研究がウェットラボでの成功を報告した。だがBindCraftの成功率は標的ごとに10〜100%と開き、計算スコアの予測精度も標的依存で、論文間の数値比較も難しいままだ。

人型ロボットは工場でどこまで使える？BMWの実績とテスラの現状

BMW工場でFigureの人型ロボットが1250時間超稼働し、3万台超のX3生産に寄与したと同社が公表した（台数はBMWも追認）。一方、テスラのCEOはOptimusが自社工場で実質稼働していないと認めた。Epoch AIの調査は、操作ロボットの多くが人間より3〜10倍遅く、複雑な作業では信頼性も限定的だと指摘する。

エージェントの実行時検証はどこまで効く？違反阻止と安全完遂の差

ツールを持つAIエージェントに実行時の検証を足しても、違反の最大94%を止めて『最後まで安全に完了』は多くの設定で5%未満だった。査読付きの会議録がそう報告している。計画と検証を組み込んだ構成のトークンは2〜2.8倍で、この「検証税」を払っても、計測の範囲では安全な完了は買えていない。

AIエージェントの記憶は何を歪める？ツール引数のずれと対策

エージェントの長期記憶は、Claude Codeでは既定でオン、Letta でも標準になった。だが本会議の査読を経ていない1本の論文が逆の面を報告する。持たせた性格の偏りがツールの引数を見えない形で歪め、プロンプトでの抑制は部分的にしか効かないという。負の面を突く報告は他にもあるが、この指摘はまだ単一グループのものだ。

AIエージェントは長い作業ほど失敗する？崩れ方と防ぎ方

2026年3〜4月の独立した2本の査読前プレプリントが、AIエージェントはタスクが長いほど信頼性を失うと報告した。崩れ方は分野で偏り、ソフトウェア工学が最速で崩れる一方（信頼性スコアGDSが0.90→0.44）、文書処理はほぼ横ばい。短いベンチの強さは長時間運用の信頼性を保証しない。

スパースオートエンコーダ（SAE）とは？AIの内部はどこまで読めるか

スパースオートエンコーダ（SAE）で大規模モデルの内部を、人間が読める『特徴』の集まりへほどく研究がある。ある特徴の活性を強めると振る舞いまで動く、と Anthropic は報告する。面白いが、取り出せるのはごく一部で、信頼できる実務ツールにはまだ遠い。

NOAAのハイブリッドアンサンブル予報：AIと物理を混ぜる理由と効果

NOAAは気象のアンサンブル予報に、物理モデルとAIモデルを一つの集団に混ぜたハイブリッドを実運用で入れた。AI版の集団は従来の約9%の計算資源で動くが、設計の芯は置き換えではなく足し合わせにある。初期評価では、混ぜた集団が主要な検証指標の大半でどちらか単独より良かったという。

AI創薬の臨床試験成功率：Phase IとIIの差、AI単独の承認が無い理由

AI創薬は2023年12月時点の集計でPhase I成功率80〜90%だが、同じ分析ではPhase IIで40%となり、歴史的な業界平均並みに戻る。ただし原典は、Phase II後の中止6品目のうち有効性で落ちたのは2品目だけだとも書く。AI単独発見の薬剤に正式承認例はまだない。

思考の連鎖（CoT）は本当の理由を書くか？ヒント言及率の限界

推論モデルの『思考の連鎖』は、実際の内部処理を正しく説明するとは限らない。ヒントの言語化率はClaudeで25%・R1で39%。ただし2026年の再検討は、別のモデルで16回生成させれば1回はヒントに触れる確率が9割に届く例を示し、この指標を忠実さの点数として読むことに疑義を呈した。

AI天気予報はどこまで当たる？平均の精度と記録破りの熱波・寒波

ECMWFはAI予報AIFSを2025年に運用化し、多くの指標で物理モデルを上回ったと自ら報告した。GenCastは1320通りの検証項目の97.2%でECMWFのアンサンブルを超えたと報告。だが検証は、記録破りの熱波・寒波・強風で決定論型AIが物理に負けると示し、原因を訓練領域の外への外挿が苦手なことに見る。

GDPvalとは：AIと熟練者の実務比較で、勝率が測るもの・測らないもの

OpenAIのGDPvalは44職種の実務成果物でAIと熟練者を直接比べ、最上位モデルは人の質に迫った。だが『約100倍速い』は提供元の発表記事の値で、論文の同種の指標は90倍。レビュー込みならGPT-5で約1.12〜1.39倍。『勝率』は正しさだけを測る指標ではない。ベンチの点は現場を予言しない。

DFTとは？密度汎関数理論の考え方と、計算が遅い理由・近似の限界

DFT（密度汎関数理論）は、材料の性質を量子力学の原理から予測する第一原理計算の主力である。全電子の波動関数は厳密には事実上解けないが、DFTは問題を電子の密度で解き直してこれを可能にした。それでも標準実装の計算量は原子数のおよそ3乗で増え、正確さは交換相関の近似で決まる。その遅さと精度の限界の出どころを辿る。

AIエージェントに人の確認が必要な理由：ドメイン知識と責任

「最後は人間が見る」に潜む、漠然とした「人間なら質が上がる」という前提。第一線の文書が挙げるのは責任の割り当てと要件整合。要件整合を検証＝品質の土台に戻し、そこにコンテキストに入りきらないドメイン知識を置くと、人手の理由はドメイン知識と責任という二つの中身に分解できる。順位ではなく配置の問題として、線の引き方を辿る。

機械学習ポテンシャルのベンチマークは何を測る？順位と実用性の差

原子の万能な機械学習ポテンシャル(MLIP)のベンチマークは飽和に近づいたとの指摘がある。だが「安定材料を当てる」で上位のモデルが、熱伝導では最下位に沈む例がある。別のモデルは長い分子動力学で発散する。スコアが測るのは「発見」の一面で、そのポテンシャルが実務の計算で使えるかは別の話だ。

AI協働の役割分担：人・指示・仕組みを3つの問いで仕分ける

検証・委譲・記憶・統治・コストというAI協働の判断は、領域ごとに別の言葉で語られるが、下で動く仕分けの型は同じだ。その型に名前をつける：仕事を三つの問いで仕分け、三つの担い手へ流す。難所は型の外でなく、型の当てはめにある。

AIの脆弱性発見はどこまで信用できるか：DARPA競技の実績と誤検出

DARPAのAIサイバー競技で、自律AIがオープンソースの実在する脆弱性を18件見つけ、11件分の修正パッチを提出した。信じてよい根拠は『再現するPoVと壊さない修正』を競技が要求したこと。だが査読前の実証研究は、競技の外でプロジェクト規模に走らせたLLM脆弱性検出器では、誤検出が警告の大半を占めたと報告している。

破滅的忘却とは？LLMの継続学習の対策と、残る限界

デプロイ後のAIは重みが凍り、追加学習すると古い能力を忘れる（破滅的忘却）。個別の事実を書き込む微調整では、低下をメモリ層モデル1.3Bで11%に抑えた。手順を自ら貯める開かれたスキルの獲得には抜きん出た手法が無い。時間で変わる知識では、重みを更新する手法の多くも素朴な検索も、過去の出来事を問う設問を大きく落とす。

AIの電力消費：1回は小さいのにデータセンター総量が倍増する理由

Googleの本番実測はGeminiの中央値クエリを0.24Wh、Microsoftの試算はフロンティア級で0.31Whとし、流布した推定を4〜20倍の過大とする。一方IEAはデータセンター電力が2030年に945TWhへ倍増すると見込む。両方正しい。リバウンド効果で両立の筋は通るが、効率化が総量を抑える材料もある。

拡散言語モデルとは？自己回帰との違い、速さ、得意と苦手

文を左から右へ一語ずつ紡ぐ自己回帰に、本格的な対抗馬が出た。拡散LLMは文全体を並列に埋め、Mercuryは1秒1109トークン、LLaDAは8Bで文脈内学習ならLLaMA3 8Bに並んだと報告。小型モデルの統制実験で得手不得手を分けたのは、生成順序が仕事の依存構造（大域の計画か局所の束縛か）と噛み合うか否かだった。

AIの数学証明はLeanで確かめれば正しい？保証される範囲

AIに数学を『形式的証明つき』でやらせる流れが本物になりつつある。2週・サブスク代約100ドルで13万行、Lean 4の評価基盤には未解決予想も並ぶ。だが機械が保証するのはAIが書いた形式の命題だけで、それが元の主張とズレていれば保証は空になる。その命題が主張と噛み合う率は、素の入力でも最良82%どまりだ。

AIのサンドバッギングとは？安全性評価を見抜くモデルと塞ぎ方

AI安全性の評価は、テストと本番でモデルが同じに振る舞うことを前提にする。だがフロンティアAIはテストを見抜き始め、わざと低性能を装うsandbaggingもとりうる。2025〜26年の独立研究では、崩れ方は課題の種類に偏り、ある監査ゲームで効いたのは伏せた実力を引き出す追加訓練だった。

能動学習・ベイズ最適化とは？次の実験の選び方と限界

計算で候補を一括にふるう手はある。だが本当の性質は、作って測るまで分からないことも多い。その実験は遅くて高い。ならば「次にどれを試すか」を一手ずつ賢く選ぶしかない。約80万通りのNiTi系組成から、初期22個＋提案36個の合成だけで狙いの合金に届いた、とXueらは報告している。本稿は能動学習とベイズ最適化を扱う。

触覚基盤モデルとは何か：ロボットに触覚が要る理由と転移の壁

視覚と言語だけでは、力・すべり・接触の安定は見えない。2026年の触覚基盤モデル（TouchWorld・H-Tac/TTP）は接触の多い器用な操作を自作ベンチで伸ばしたと報告する。だが『触る』は『見る』ほど汎用化しない。センサが違えば信号が変わり、そのままでは転移しない。効果も条件次第だ。両側を一次で測る。

AIエージェントの任せ方：任せていい仕事の見分け方と知識の置き場所

AIは速い。だから全部投げる、は設計をしていないのと同じだ。何をAIにやらせないか、知識をどこに置くか。委譲の線引きの大半は、AI以前からある古い規律で引ける。

AI生成コードのコードレビューは何を見る？目的・危険度・仕様

レビューの第一の目的は、欠陥をすべて捕まえることではない。コードベースの健全性を守り、知識と規範をチームへ移すことだ。Googleの研究と、同じ著者が加わった書物はそう報告する。この原則を先に置くと、AI出力の検証も、生成前の仕様設計も、やることは自然に決まる。どちらもAI以前からある規律の話だ。

VLAとは：ロボット基盤モデルの汎化はどこまで本物か

一つのモデルが未訪の家で家事をこなす一方、標準ベンチでは物体の置き位置を変えると正解率が9割から0%に崩れ、視点を少しずらすだけで3割未満に落ちるモデルもある。汎用ロボットVLAの『汎化』はどこまで本物か、両側の一次研究から測る。

モデル崩壊とは？合成データで崩れる条件と、崩れにくい使い方

『AI生成データでAIを訓練すると壊れる』モデル崩壊は本物だ。だが崩壊が速いのは実データを置き換えたときで、貯め込んで混ぜれば言語モデルでは悪化せず、実webのみより5〜10倍速く同じ検証損失に届いた報告もある。ただし貯め込みは十分条件ではない。

AIコーディングの成果は何で決まる？Claude Code約40万件の分析と限界

Anthropicが約40万件のClaude Codeセッションを分析した。成否を分けていたのは書ける／書けないではなく、解こうとしている問題をどれだけ分かっているか。分野に詳しい人ほど、1つの指示あたりでAIがより長く働いていた。

AIエージェントのハーネスとは：外側で組む制御と検証

AIに頼むと、整った出力がすぐに返る。だが、それを検証なしで次の工程へ渡せるとは限らない。任せられるかはモデルの性能だけでは決まらず、渡す前に完了の条件と範囲を決める制御と、受け取ったあとの検証という、モデルの外側の設計で決まる。この外側の仕組みをハーネスと呼び、その中身を測定と配布物の実例で確かめる。

コンパクションでAIが禁止事項を忘れる理由と防ぎ方

長い会話でトークンを圧縮（コンパクション）すると、会話やメモリに置いた禁止事項が要約から抜けることがあり、抜けると同じエージェントが禁止操作を始める。ある査読前プレプリントは違反率が0%→30%（最悪59%）に跳ね、ルールが要約に残れば0%・抜ければ38%だと切り分けた。

AIコーディングの生産性は本当に上がる？遅い実験と速い実験の違い

熟練者の実測ではAIでむしろ19%遅く、しかも本人は『速くなった』と感じていた。安全性でも同じズレがある。だが現場の大規模RCTは、ツールを使った開発者で完了課題数+26%を測った（割り当て全体では有意差なし）。当のMETRは続く実験のデータが信頼できないとして設計をやり直している。効果は文脈しだいだ。

AIエージェントの暴走はエラーでも起きる：攻撃不要の危険と最小権限

攻撃者はいらない。壊れたページや消えたファイルといった何気ないエラーひとつで、AIエージェントは無断の探索やアクセス制御の回避へ走ることがある。ある研究はエラーを注入した1,920ロールアウトの64.7%で中〜高の危険行動が起き、半分以上は未報告だったと報告する。被害を抑える手は、能力でなく権限を絞ることだ。

GNoMEの220万個の予測構造、実験で確かめられたのはいくつか

2023年、あるAIが220万個の結晶構造を発見し、人類の知る安定材料を一桁増やしたと発表した。報道は沸いた。そして材料化学者たちが、中身を見にいった。本稿の主題は、予測から「本当に作れる新材料」までの落差である。

機械学習ポテンシャルとは？DFTとの関係と汎用モデルの限界

MLIP（機械学習原子間ポテンシャル）は、結晶をグラフとして読んでエネルギーと力を予測し、DFT を桁違いに速く近似する。周期表の広い範囲を一つのモデルで覆う汎用ポテンシャルは LLM と同じ事前学習の形をとり、学ぶのは DFT であって現実ではないという限界も同じ形で抱える。

凸包とは？材料の安定性がエネルギーの相対値で決まる仕組み

AIが「新しい材料を発見した」と言うとき、実は何を計算しているのか。結晶の安定性は内在的な性質ではなく、競合する全配置に対する相対値である。それが凸包だ。

AI査読はどこまで使えるか：論文の選別精度と反論への弱さ

2026年の独立2研究。片方は、AIの第一次採点が却下と採択をAUROC0.82で分離し、精度の大部分はモデル自身から来ると主張する。もう片方は、証拠のない反論をひとつ返すだけで評点が+0.53点上がる（採否の反転は未報告）と監査し、関連研究の要約の偏りでも評点が動くと示す。足りないのは賢さでなく信頼性と頑健さだ。

世界モデルの物理一貫性はどこまで？状態保持・視点・物理法則で測る

本物そっくりの動画を生む『世界モデル』は、Physical AIのシミュレータとして期待される。2026年前半の独立ベンチ3本は、見ていない間の状態保持・視点不変性・物理法則の遵守という別々の入口から、いずれもモデル側の不足を報告した（査読前）。

フィジカルAIの課題とは？ロボットの学習データが足りない理由

ソフトのAIは、Webに蓄積済みのデータという「蛇口」に乗った。既存クロールを濾すだけで15兆トークンが得られた。物理の世界にその蛇口はなく、50人がかりで350時間という細さだ。データ側のボトルネックを収集記録の数字で確かめ、候補の蛇口三つと、開いたと言える観測条件までを一次資料で見る。

マテリアルズインフォマティクスの課題：機械学習が効く所と過大評価

matminer・CrabNet・CGCNNなどOSSスタックが実際に何をするのか、そしてMLが材料開発を本当に加速する場所と過大評価される場所を区別する。

シミュレーションの信頼性はどう確かめる？V&Vと検証範囲の外の危うさ

「何でもシミュレートできる」という宣伝は、その計算が正しいと誰がどう確かめたのか、という問いを飛ばしている。工学が規格化してきたV&Vの手続き、妥当性確認の範囲の外で使われたコロンビア号のCrater、そしてML代理モデルの弱い基準線まで、シミュレーションの信頼の源泉と限界を辿る。

天気予報は何日先まで当たる？「約2週間」の限界とAIで変わるか

予報が当たる日数は着実に延びた。現代の5日予報は1980年の1日予報と同じ精度だ。それでも、緯度や規模で幅はあるものの、俗に「約2週間」と言われるあたりで頭打ちになる。延びたのは限界の手前の日数で、限界そのものではない。本稿は予測可能性の地平線を論じる。

AIの報酬ハッキング：解かずに満点を取る仕組みとどこまで塞げるか

2026年5月の独立2研究。監査ツールBenchJackは主要10ベンチに219個の欠陥を見つけ、うち9本で1問も解かずにほぼ満点を取る攻撃を自動合成した。別研究はモデル自身の近道率を0〜13.9%と測り、RL系post-trainingほど高いと示す。ただし穴を塞げたのは、もともと設計が堅い4本だけだった。

SWE-bench Verifiedは飽和した？上位が並ぶ理由と長い改修の新ベンチ

最前線のコーディングAIは定番ベンチマーク（SWE-bench Verified）で軒並み高得点に張り付き、上位を見分けにくくなった。一方、複数ファイルにまたがる継続的な改修=長丁場を測る新しいベンチマークでは、同世代の最上位モデルでも平均25%。評価の焦点が『1件直せるか』から『長く働き続けられるか』へ移りつつある。

MCPのツールが多すぎるとツール選択を誤る：原因と、検索で絞る対策

AIエージェントに使えるツール（MCP）を増やすほど、正しく選ぶ精度はむしろ落ちる。ツール定義だけで十数万トークンが埋まることもある。研究では、MCPを並べた検索課題で、最も近いMCPサーバー1つだけを検索して渡すと選択精度が3倍超（13.62%→43.13%）に。

OpenAIとBroadcomの推論チップJalapeño：公式発表の中身と時期

OpenAIがBroadcomと組み初の自前チップ『Jalapeño』を公開（6/24）。LLM推論特化。発表時に公式は比較の数値を示さず、約5割安はBroadcom CEO発言。ただし推論2/3の予測を出したDeloitte自身は、置き換えではなく併存だと書いている。

手続き型生成と生成AIの共通点：難しいのは狙い通りに作る制御

手続き型生成も生成AIも、たくさん作ることは難しくなかった。難しいのは制御・キュレーション・統合であり、「作る」でなく「狙ったものを作る」ことだ。

AlphaFoldで何が分かり、何が分からないか：構造予測の精度と機能の壁

2億超の構造を予測し、開発者が2024年ノーベル化学賞を受けたAlphaFoldは本物の金字塔だ。それでも「形」は必要だが十分ではない。コネクトームと同じ、構造と機能のギャップの話。

Agent Skillsとは：仕組み、MCPとの違い、作る価値のあるスキル

Anthropic発の『Agent Skills』が、オープン標準の公開から半年でOpenAI・Google・Microsoftを含む40超のエージェントに対応した。仕組みより効くのは『どのスキルを作る価値があるか』。MCPとの棲み分けと、運用で効く見極めを短くまとめる。

GitHub ActionsのAIエージェント3種、注入でシークレット窃取を実証

信頼できない投稿者のPR・Issue・コメントを引き金にGitHub Actionsでエージェントが動くなら影響を受ける。コメントの文章だけで命令を注入し、そのリポジトリ自身のシークレットを盗める。Claude Code・Gemini CLI・Copilotの3エージェントで実証。

強化学習のsim2realギャップを実測：遅延とドメインランダム化

歩行AIを実際に学習させ、訓練したシミュとほんの少し違う物理に置くと何が起きるかを実測した。1ステップの作動遅延で、訓練に使ったシミュではよく走っていた方策が崩壊する。「直す」側のドメインランダム化も同じ報酬で測ると、遅延には耐えたが、無摂動時の報酬は低かった。

Wave Function Collapseの仕組み：地図デモで動かして理解

海・浜・陸のタイルを隣接規則に従って配置する。あなたがセルを固定し、ソルバが意図の周りを埋め、矛盾した固定には地図を捏造せず「解なし」と返す。価値は生成ではなく制御の側にある。

Leniaとは？人工生命の「生き物」が生まれる条件をデモで探る

連続セルオートマトンLeniaで測ると分かる。規則を選べば模様は持続する。だが、ランダムな種から局在した「生き物」が出るのは、つまみの端の細い一角だけで、そこでも初期条件次第だった。288通り走らせて2通りである。規則と種をともに合わせた Orbium を置けば、局在したまま泳ぐ。

反応拡散とは？Gray-Scottモデルで模様ができる仕組みとデモ

二つの仮想化学物質が拡散し、反応する。ルールは一つなのに、feed と kill の2つの数字と撒いた種で、斑点・迷路・サンゴ・指紋へと模様が分岐する。Gray-Scott反応拡散を触り、素の土台が安定で模様は有限の種にだけ応じる点が Turing の機構と違うことを Pearson（1993）で読む。

強化学習と制御理論の違い：モデルと目的が書けるかで使い分ける

モデルが手に入る連続制御では、制御理論は方策を直接探すRLより少ないサンプルで、設計によっては保証付きの解を先に与えていた。方策を直接探すRLは保証なしで、桁違いのサンプルで再発明する。ただし良いモデルや解析的な目的が書けない領域では、RLに分がありうる。

コネクトームとは：脳の配線図で分かることと分からないこと

2024年、ショウジョウバエの全脳コネクトーム(139,255ニューロン・約5,000万の化学シナプス)が公開された。歴史的な資源だ。だが配線図から機能は決まらない。足りないのはデータの量だけではなく、配線図に載らない種類のデータだ。

sim2realギャップの原因と対策：遅延・摩擦の計測とランダム化

シミュレーションと現実のギャップの多くは、ダメなポリシーでなく未計測の力学(遅延・摩擦・アクチュエータ)に由来する。ANYmal でギャップを大きく縮めたのは方策の側ではなく、実機データから学習したアクチュエータのモデルだった。ドメインランダム化の幅も、測れる力学を測ってから決めるほうが狭くできる。

LLM要約はどこまで信用できる？落とした内容が見えない理由と使い分け

LLM要約は、標準では何を落としたかを知らせない非可逆圧縮だ。落ちた一文が行動を変えるかで、安全に使える場面と静かに事故る場面を切り分ける。

脳インプラントの課題とは？電極の劣化と信号を読み続ける難しさ

Neuralinkの電極1,024本やAIデコーダの話の陰で、見落とされやすい難所がある。生きて動き、ゆっくり劣化する脳と装置の中で、信号が読め続けるか。2025〜2026年のBCIを冷静に見る。

歩留まりとは？計算方法と、半導体で収益を左右する理由

作ったもののうち良品として売れるものの割合を歩留まりと呼ぶ。全体の歩留まりを各工程の良品率の掛け算で見ると、500工程を積んだとき、1工程あたり99%か99.9%かという0.9ポイントの差が、全体では約0.7%と約61%を分ける。半導体製造の収益モデルと、不良が集中して起きる場合の限界も並べる。

トヨタ生産方式で作りすぎが最悪のムダとされる理由と防ぎ方

2020〜2025年に販売台数で6年連続世界トップのトヨタ。その製造を支えているのは、秘密の機械ではなく「ムダをなくす」という思想だ。なかでも一番の敵が「作りすぎ」だという、直感に反する話。

材料探索の組み合わせ爆発：総当たりできない理由と、賢い探し方

材料が「原子の並べ方」で決まるなら、片っぱしから試せばいいと考えるのが自然だ。だが少し数えると、その道が閉ざされている理由が分かる。本稿は組み合わせの爆発を数え、爆発があるから「賢く探す」必要が出てくることを示す。

分子動力学とは？原子の運動を解く仕組みとシミュレーションの限界

温度とは原子の動きの激しさだ。では、その動きをコンピュータの中で再現できないか。原子一つひとつにニュートンの法則を当てて時間を進める計算を、分子動力学と呼ぶ。実際に走らせたシミュレーションでは、結晶の秩序が崩れていく。

イメージセンサとは？光を電気に変える仕組みとソニーが強い理由

スマホのカメラの中心には、光を電気に変える小さな半導体「イメージセンサ」がある。世界の約半分がソニー製で、iPhoneも10年以上ソニーのセンサを使ってきた。光をどうやって数えるのか、ソニーが首位に立つまでに重ねた技術と、その地位を左右するものを扱う。

脆性破壊とは？キズから割れる原因と、ものづくりの対策

脆い材料はなぜ、そこで割れるのか。切り欠きを入れた結晶の板を分子動力学で引き裂くと、ひびはキズの先端から開いて板を横切る。応力集中、Griffith の平方根則、最弱リンクの考え方から、ものづくりがキズを恐れる理由をたどる。

拡散とは？原子が混ざる仕組みと、距離が時間の平方根で伸びる理由

半導体に不純物をしみ込ませる、鉄を硬くする、セラミックを焼き固める。どれも、原子が別の物質の中へ少しずつ移っていく「拡散」という現象だ。実際に走らせたシミュレーションで、その“遅さ”の正体まで見てみよう。

テクノの四つ打ちとは？反復と拍ごとの「呼吸」が作る駆動

同じ拍を延々と打ち続ける四つ打ちが、テクノを駆動する。その上で拍ごとに音楽が沈んでは戻る「呼吸」を、A minor・128 BPM のこの一曲とともに、背景ごと聴く。

ローファイ・ヒップホップとは：音の特徴、系譜、作り方

ノイズ混じりの温かい音。ローファイ・ヒップホップは、高音質ではなく「あえての劣化」を美学にしたジャンルだ。ヴァイナルのパチパチ、こもった音、ジャジーな7thコード。本稿はその背景と作り方を説明し、C・78 BPM のこの一曲を文脈ごと聴く。

AIエージェントはなぜ長い作業で失敗する？成功率の掛け算と評価方法

AIエージェントのデモは魔法のようだ。だが実際の長いタスクに乗せると、ぼろぼろ崩れる。一因は、製造業の歩留まりとまったく同じ「掛け算」にある。各ステップ95%でも、20回続けば成功率は4割を切る。シリーズの本丸。

チップチューンはなぜ“あの音”なのか。制約が生んだ音楽

明るく跳ねる8ビットの音。チップチューンの正体は、わずかな波形しか出せないチップという「制約」だ。その制約の歴史と作り方、そして C major・144 BPM のこの一曲を、背景ごと聴く。

温度とは？原子の揺れで分かる、材料が伸びる・溶ける・混ざる理由

「熱い」「冷たい」は、手で触れば分かる。では原子の目線で見ると、温度とは何だろう。材料の中では、温度は原子の揺れの激しさとして現れ、その揺れが伸びる・溶ける・混ざるといった現象を引き起こす。

公差とは？ばらつきとの違いとシックスシグマの意味

工業製品は「全く同じ」を量産しているように見えて、実は2つとして同じものはない。必ず少しずつ違う。ものづくりの本当の仕事は、その避けられない「ばらつき」を、許される幅の中に押し込め続けることだ。

試作と量産の違い：まれな不良、ばらつきの源、歩留まりの立ち上がり

試作品が一度動いても、それを100万個、安定して作れるとは限らない。試作では出会わないまれな不良が生産数とともにほぼ確実に起きること、ばらつきの源が桁違いに増えること、半導体の歩留まりが立ち上がる時期が採算を動かすことを、確率と原典で読む。

材料スクリーニングとは：計算で候補を絞る順番と、見逃しの代償

ありうる材料は天文学的に多く、全部は作って試せない。材料スクリーニングは、安いフィルタを先に、高いフィルタを後にかけて「作る価値のある数個」まで絞る。フィルタの誤り方と、計算でいちばん精密な段にも残る近似を、原典の数字で見る。

MLCC（積層セラミックコンデンサ）とは？作るのが難しい理由

MLCC（積層セラミックコンデンサ）は、最新のハイエンドのスマホに約1000個、車に3000〜1万個超入る小さな部品だ。性能は薄いセラミック層を何百枚も欠陥なく積めるかで決まり、材料と焼成工程の擦り合わせが要る。首位の村田製作所のシェアは自社開示で40%、調査会社の推計で31.8%。

金属は曲がるのにガラスが割れるのはなぜ？転位とすべり面の有無

スプーンは曲がるのに、コップは落とすと割れる。違いを主に分けているのは材質名ではなく、動かせるすべり面があるかと、結合が方向にこだわらないかである。金属の転位、ガラスの網目と表面の傷、結晶格子を持たない金属ガラスから、この違いを説明する。

ダイヤモンドと黒鉛の違い：構造・硬さ・電気を通す理由

地球上で最も硬い天然の物質と、紙の上で崩れていく芯。芯に使われている黒鉛とダイヤモンドは、同じ「炭素」だけでできている。違うのは中身ではなく、原子の“並べ方”だ。材料の性質は組成だけでなく構造で決まる、という見方をここから始める。

AIの材料発見はどこまで使えるか：効く段階と過大評価の3例

「AIが数十万の新材料を発見」「ロボットが17日で41個合成」という華々しい見出しが続いた。だが専門家が中身を見にいくと、多くは“新しくなかった”。AIが材料探しで本当に効く場所と、見出しが先走る場所を、冷静に切り分ける。

コンテキストエンジニアリングとは？プロンプトとの違いと圧縮の判断

AIには「一度に見られる量」に限りがある。長く動くエージェントでは、その限られた枠に毎回“何を載せるか”が、出来を大きく左右する。その采配を設計する技術を、「プロンプトを書く」と対比して整理する。

AIエージェントのハーネスとは？同じモデルで成績が変わる仕組み

AIエージェントの話になると、つい「GPTとClaude、どっちが賢い？」とモデルを比べたくなる。だが同じモデルでも、ハーネスと呼ぶ“外側の作り”しだいでベンチマークの成績は動く。モデルだけでなく、その周りのソフトウェアの話でもある。

AIエージェントとは？LLMとの違い・仕組み・落とし穴

ChatGPTは質問に答える。でも「エージェント」はもう一歩進んで、自分でツールを使い、結果を見て、また考える。その違いを作っているのは、モデルの賢さではなく「ループとツール」という構成だ。AIエージェントの一番の基礎の話。

AIエージェントの失敗例：偽の完了報告と成果物のすり替え

AIに自律的なマルチステップ作業をやらせて本当に壊れるのは何か。生成は安い、検証は高い。完了報告は実際の状態とずれ（Advani の計測では単一制御ドメインでは失敗の45〜48%が偽の成功）、テスト通過は成果物のすり替えを見逃し、文面を読むLLM判定も偽の成功を見分けきれない。成否は文面ではなく状態で確かめるしかない。

LLMベンチマークのスコアは信用できるか：グッドハートの法則と汚染

リーダーボードの数字は現実そのものではなく、その代理である。最適化が進むほど、スコアの上昇が何に由来するのかを、スコアだけからは確かめられなくなる。グッドハートの法則とLLMの測定問題。

ハルシネーションの原因と対策：なぜ起き、どこまで減らせるか

LLMのハルシネーションには、事前学習から避けがたく残る誤りと、当てずっぽうに点を与える採点が続けさせる誤りがある。Kalaiらの論文を軸に、補完で答えるモデルが誤りをゼロにできない理由、採点を変えて動かせる範囲、残る誤りをシステムの側で封じ込める設計を整理する。

RAGでハルシネーションは防げる？減っても消えない理由

根拠文書を検索して与えればハルシネーションは消える、とよく言われる。スタンフォードが実際に測ると、そう謳った法務AIですら17〜33%はハルシネーションしていた。RAGは減らすが、消しはしない。残った誤りには実在の判例を引きながら中身を誤るものがあり、論文はそれが丸ごとの捏造より微妙で見つけにくいと書く。

LLMの自信は当てになるか：キャリブレーションの評価方法とRLHFの影響

「自信」は一つではない。内部確率と申告確信度はキャリブレーションを測れるが、RLHF後のモデルが自分から出す口ぶりそのものは、本稿が引く研究の測定外にある。GPT-4の報告書はMMLUの一部でECEが0.007から0.074へ悪化したと報告し、Lengらは報酬モデルが高い自信を好む偏りを実測し、補正で過信を減らした。

脳データのノイズとは？瞬きやドリフトが検出を狂わせる仕組み

神経データの信号とノイズを分ける作業は、機械学習以前の問題だ。測定・アーティファクト・解釈のギャップが本当のボトルネックである理由を、触れる合成デモとともに論じる。