2026/10/23 3:28

AI と科学の公衆財の囲い込み

RSS: https://news.ycombinator.com/rss

要約▶

日本語翻訳:

本記事では、天体物理学センター｜ハーバード大学およびスミソニアン博物館の P. K. G. Williams は、人工知能（AI）が情報コモンズの「囲い込み」を加速しており、共有されたデジタルリソースの私的化を図り、開かれた知識に支えられてきた社会システムに対して攻撃を加えていると論じています。歴史的なイギリスにおける農業地帯の囲い込み運動（1600 年〜1800 年）において公有地が私人の利益のために接収されたことに即応して、本稿は現代の「スロップ・スパム」（AI 訓練用に使用される低品質コンテンツを指す用語）を、このデジタル的な盗難を推進する具体的なメカニズムとして特定します。この実践により、企業は公正な補償なしに公的情報を収集し、それを私人資産へと転換することができます。

本稿は学術文献を「情報コモンズ」と定義しており、これは誰にも所有されていない無体物を、誰もが共有するリソースとしています。そして、歴史的な囲い込み運動が公有地を私人の財産に変えたように、AI は以前は不可能だったデジタルコモンズの囲い込みを可能にする道具を提供していると示唆しています。このプロセスには物理的な囲い込みと主要な共通特性が認められます：コモンズを私人の富へと転換し、それを支える社会システムを弱体化させることです。著者は、AI が単なる強盗行為ではなく、科学文献の定義する協働的インフラを侵食しているという点において、生活様式全体に対する攻撃であると論じます。

現在のトレンドが継続すれば、AI は無体の知識を商業的商品へと継続的に変換していきます。その結果、利用者は、開かれたアクセスに依存するのではなく、私人の財産権を通過する必要があるという縮小した未来に直面します。結局、この変化は、不可欠な公益を独占的な産業製品へ変革し、社会が情報を創造し利用する方法を根本から変更するリスクを孕んでいます。(提出 v1: 月曜、2026 年 10 月 19 日 20:22:54 UTC; ファイルサイズ: 110 KB。)

本文

AI による情報コモンの囲い込みと社会システムへの攻撃

抄録：情報コモンの定義と歴史的文脈

情報コモンとは、「誰も所有せず、すべての人によって共有される無形の資源」として捉えることが可能な概念です。
これを理解するための確立された経済・政治的枠組みは、前工業時代のイングランドの農地コモンという歴史的な背景に由来します。

農地コモンと情報コモンの本質的な相違

イングランドの農地コモン：
- 「囲い込み運動」（約 1600 年〜1800 年）により、公衆共有地が私的所有物へと変貌しました。
- この現象は「コモンの悲劇」ではなく、社会規模での盗取として当時の観察者や現代人も判断しています。
情報コモン：
- 農地コモンが無意味に消え去ったこととは対照的に、現在は強固かつ極めて価値が高いものです。
- その一部は人類の最偉大な達成の一つとしても称賛されるべき存在です。

AI による新たな囲い込みの実態

人工知能（AI） は、以前は不可能だった情報コモンの囲い込みを可能にする道具を提供しています。
物理的な囲い込みとの違いと共通点：
- AI による囲い込みは物理的に動作するわけではありませんが、以下の特徴を共有します：
  - コモンを私的富へと変える。
  - それらを支える社会システムを弱体化させる。
手段の例：「スロープ・スパム」などの手法を用いて、共有リソースを独占するプロセスが進んでいます。

学術的な課題と警告

AI の出現は単なる略奪攻撃を超え、ある生活方式そのものへの攻撃となり得るという憂いが示唆されます。
この本稿で提示される概念は、そのような危機を**scholarly な基盤（学術的な土台）**に照らして検証することを可能にする枠組みを提供します。

出典情報

著者: P. K. G. Williams（天体物理学センター｜ハーバード大学・スミスソニアン協会）
提出日: 2026 年 10 月 19 日（月）20:22:54 UTC
バージョン: v1
ファイルサイズ: 110 KB

同じ日のほかのニュース

一覧に戻る →

2026/10/23 8:45

Docker は変だ

## Japanese Translation: 本文は、主に Linux コンテナが特定のコア機能を利用して孤立化されたプロセスであり、仮想マシンとは異なること、また Docker がイメージをフォルダとして管理することを明確にしています。完全な仮想化と異なり、コンテナは隔離にはネームスペースを用い、リソース管理には cgroups を用いて、管理されたディレクトリ内でバイナリを直接実行します。重要な技術的詳細として、Go で記述される `runc` ランタイムがあり、これは初期システムコールの処理に C モジュールを使用して Linux カーネルとインターフェースする必要があります。Go は `fork` などの特定の機能へのネイティブサポートを持っていないため、不足している振る舞いを近似させるために `/proc/self/exe` などのワークアラウンドが必要です。さらに、標準的な Linux カーネル API は通常ルートの権限を必要とするため、Docker デモンはデフォルトで昇権限（elevated permissions）で動作します。これを解決するためには、ルートレスコンテナランタイムは、通常ルートベースのセットアップが提供する機能を複製するために、ユーザースペースのネットワーキングスタックを再構築する必要があります。結局のところ、これらのアーキテクチャ的な制約を理解することは、安全なルートレス環境を管理するユーザーにとって不可欠であり、不要な権限昇格を避けながらシステム安定性を維持する互換性のあるインフラを設計する企業にとっても重要です。

2026/10/23 7:54

LLM が大規模な正式なソフトウェア検証の実現を可能にしています

## Japanese Translation: 研究者は、大規模言語モデル（LLM）の Claude を用いて、100 以上のオープンソースソフトウェアライブラリに対して前例のない規模での形式的検証を実行し、歴史的なマイルストーンを達成しました。Theorem との協力により、プロダクション向けソフトウェアに対する初の大規模 AI 主導の形式的検証として、アセンブリ（RISC-V）レベルで実装されたコードが検証されました。その結果、64 MB 未満の入力に対して、123 のライブラリの実行可能アーティファクトがメモリ安全性エラーやフェイルするアサートなしに正常終了することが証明されました。この達成には、Claude が Rocq コードを約 1.8 億行生成し、239 のエントリポイントを対象にクラッシュしない仕様を証明するとともに、従来のフォージングで検出されなかった深刻なバグを特定・修正する作業が行われたことが寄与しました。具体的には、カウンタのアンダーフローや境界外読み取りといった複雑な問題を含むものが含まれます。検証の対象は Linux でコンパイルされた RISC-V 命令であり、ユーザーが信頼しなくてもよいのは既知のハードウェア/ソフトウェアの数学モデル、定理ステートメント自体、および Rocq の証明チェッカーのみです。基本的安全性を超えて、このアプローチはデータ圧縮の精度やアルゴリズムの正しさ（例：red-black トリーの再平衡）といった高位のプロパティも検証しました。チームは共有作業空間戦略を採用し、証明の再利用によりトークン使用量を 17%削減するものであり、Mathlib のような数学ライブラリの成長に類似しています。形式的に検証済みであっても、形式仕様が実態と異なったり機械モデルが現実と異なる場合（例：x86/ARM システム上）には、完全なバグの不在を保証しないことに留意する必要があります。本プロジェクトでは公衆の検討のために一部の証明をリリースしており、AI 支援による検証をソフトウェア開発ワークフローでの標準へと導く道筋を用意しています。

2026/10/22 23:32

Quad9（DNS レゾルバー）がフランスから退出します

## Japanese 訳： 2026 年 11 月 24 日より、Quad9 はフランスのユーザーに対して、無料のサイバープロテクトおよび一般的なサービスを提供を永久に停止いたします。この決断は、beIN が提起した重大な訴訟において Quad9 に不利となるフランス裁判所の判断を受けたものです。beIN は、特定のドメイン名の再帰的 DNS 解決をブロックすることが、視聴覚的な権利を保護するために必要であると主張しました。裁判所は、違反が完了するまで（11 月 14 日）の金融ペナルティを約 580,000 �ーロから毎日上記 1,000 ユーロに減額しましたが、Quad9 は再帰的 DNS 解決が中立かつ受動的なサービスであり、応答を変更することはそのミッションであるプライバシー、セキュリティ、そしてインテグリティに違反するとする理由をもってこれに従うことができないと述べています。さらに、Quad9 の無料サービスには登録や身元証明は不要であり、ユーザーと管轄区域を関連付けるデータベースを持たないため、geoIP ベースの管轄区域マッピングは技術的に不可能です。フランス裁判所の要求を満たすためにグローバルなブロックを実施することは、French の法律を全世界のユーザーに適用することを意味し、Quad9 にとって許容されない越境的な先例となります。以前にも地理的な IP ブロックの実施を試みた際（例：2021 年から 2023 年にかけてドイツ）、原告が VPN を介してブロックを回避したために裁判所に対する軽蔑罪として罰金が科されるなどしました。Quad9 に対して数百のドメイン名のブロックを求めて進行中の訴訟が約 20 件あり、累積的な法的リスクは大きいです。上訴は進行中ですが、Quad9 は予定通り撤退を進めることにします。この動きにより、国家機関（例：DINUM, EDF, SNCF）、研究ネットワーク（RENATER）、大学、医療提供者、および民間企業を含む何百万人ものフランスのユーザーが、サイバー脅威からほぼ 9 年間も重要な保護を失うことになります。Quad9 は、将来、監督なしで民間企業が DNS コンテンツフィルタリングを自動化することを可能にする法律に対して警告を発し、市民に対し、日常のドメイン名lookup が刑事犯罪ではないことを明確化することを目指しています。