AI規制論に米大統領が反論、数学者25人はベンチマーク利用に異議

AI

米トランプ大統領、広がるAI規制論に反論「中国へのリードを維持したい」

トランプ大統領が、AI開発を規制すべきという声に真っ向から反対した。ITmedia によると、理由は中国に対する技術的な優位を手放したくないという一点だ。安全性の懸念については、起きもしないことを騒いでいるだけだと切り捨てたという。直前にはAnthropicのアモデイCEO、AI開発の「ペース調整」訴えるエッセイ公開のとおり開発大手が自ら減速を求めており、業界と政権の立場が逆転した形になっている。

AIベンチマークに数学を使うのは有害だとして数学者たちが反発

フィールズ賞受賞者25人が、AIの実力測定に数学を使うことへ反対する公開書簡を出した。Gigazine によると、数学の目的は問題を解くことではなく概念を理解することにある、というのが主張の核心だ。AIが証明を大量に出せば査読が飛ばされ、誰の成果なのかも曖昧になると懸念している。きっかけはNavier-Stokes Announcementで扱った OpenAI の解決宣言で、166ページの論文には通常の説明が欠けていたという。

OpenAIやAnthropicなどAIベンダごとのAPIの違いを吸収し統合する「Agent Router」、Linux Foundation傘下で業界標準へ

AIベンダごとにバラバラなAPIを1つの窓口にまとめるソフトが、Linux Foundation 傘下の団体に加わった。Publickey が報じたところでは、OpenAI 互換の入口を1つ用意し、Anthropic・Bedrock・Gemini など十数社へ振り分ける。アプリを書き換えずにモデルを乗り換えられるため、特定の会社に縛られにくくなる。Bloomberg や Tencent Cloud など11社が既に採用しており、事実上の標準を狙う位置についた。

部下は数千のAIエージェント。Cursor「Projects」登場

AIコーディングツールの Cursor に、数千のサブエージェントを束ねる新機能が入った。PC Watch によると、司令塔役のエージェントが指示を受け取り、実際のコード書きは部下に割り振る。司令塔は自分で手を動かさないので、利用者の追加指示にすぐ反応できるという。処理はクラウド側で続くため、ノートPCを閉じても作業は止まらない。

GPT-6 AstraとClaude Fableの性能を引き出すハーネス「Fusion」が登場、Claude CodeやCodexで使う場合と同等の性能を示しつつコストを最大39％削減

AIエージェント Devin を作った Cognition が、新しいハーネス（AIに道具と手順を渡して働かせる土台）を公開した。Gigazine によると、計画と見直しを高性能モデルに、実行を安価なモデルに任せ、2体を別々に並走させる。2体は会話の全履歴ではなく要約と結果だけを渡し合うので、読み直しの無駄が減る。同社の計測では Claude Code や Codex と同等の成績のまま、費用を最大39%削れたとしている。

Infra

コスト高騰、電力・熱の壁、AIハーネス――「CODT 2026」で見えたAI時代のインフラ運用の現在地

AI向け設備の値上がりと故障の実態が、国内のインフラ運用者向け会議で報告された。クラウド Watch によると、GPUサーバーのラック単価は2019年の2000万円から2026年に4億7000万円へ上がったという。10カ月で起きた51件の障害のうち12件はサーバーの外側、つまりブレーカーや配電盤、冷却系が原因だった。カタログ上の性能より、電力と熱を置く場所の設計が先に限界を迎えている。

Cilium 1.20: Gateway API ExternalAuth, TCPRoute/UDPRoute, ENI IPAM for IPv6, and more

Kubernetes の通信を担う Cilium の 1.20 が公開された。CNCF のブログによると、Gateway API の対応が v1.6 に進み、HTTP 以外の TCP/UDP の経路もこの仕組みで扱えるようになった。アプリに届く前に認証を挟む ExternalAuth も入り、データベースなどの中継を同じ設定で書ける。クラウド事業者が本体を分岐させずに機能を足せる仕組みも加わり、位置づけが部品からネットワークの基盤OSへ寄った。

AWS Lambda の90分タイムアウト検証

AWS Lambda の実行時間上限が15分から90分に伸びた条件を、著者が実際に試して確かめている。伸びるのは Lambda Managed Instances 上で非同期に呼んだ場合だけで、同期呼び出しは15分のままだ。20分かかる処理を S3 への保存をきっかけに動かす、といった構成が1つの関数で書けるようになる。ただし VPC 設定や2GB以上のメモリが要り、待機中も費用が発生する点は従来と違うと注意している。

Amazon S3で「ストレージコスト80％削減」――たった6カ月で成功した“再現性のある方法”とは？

気象サービスの WeatherBug が、S3 の保管費用を半年で8割削ったと@ITが伝えている。やったことは3つで、使用状況の可視化、不要データの自動削除、アクセス頻度に応じた保管クラスの移動だ。順番が重要で、まず何がどれだけ置かれているかを測り、消してから移す。奇策ではなく標準機能の組み合わせなので、同じ手順を他社でもなぞりやすい。

データセンターの電力ドカ食い問題、最新ヒートシンクが切り札になるかも

チップに直接当てる新しい冷却板が、データセンターの消費電力を大きく下げうると報告された。ギズモード・ジャパンによると、イリノイ大学の研究チームが金属を電気で積み上げる製法で、木の枝のような形のフィンを作った。従来の冷却板より冷却効率が32%高く、水を流すときの圧力損失は68%減ったという。実際のサーバーでの検証はこれからだが、電力不足が設備増設の制約になっている状況では効き目が大きい。

Backend

その.envのAPIキーが、AIエージェントを「内通者」に変える――“人間前提のやり方”は破綻した

APIキーを設定ファイルに置く昔ながらのやり方が、AIエージェントでは危険だと@ITが整理している。エージェントは複数のサービスに繋がるため、鍵が1つ漏れると被害が横に広がる。調査対象の MCP サーバー5200件のうち53%が認証情報を直接持ち、その79%は単なる変数として置いていたという。記事は、鍵を直接渡さず権限だけを委ねる OAuth などへの移行を勧めている。

Local LLMを社内に提供！ Local LLM Model as a Serviceとその取り組みについて

NTTドコモビジネスが、社内向けに公開モデルをまとめて提供する仕組みを作った話。開発者ごとにGPU環境を用意させる代わりに、窓口を1つにして12種類のモデルを選べるようにしている。中身は推論エンジンの vLLM と、OpenAI 互換の入口になる LiteLLM Proxy、それにチャット画面の組み合わせだ。新しいモデルを足すと利用が一気に集中したといい、社内でも「どれを使うか」は動き続けると分かる。

Mergiraf: A syntax-aware git merge driver for a growing collection of programming languages and file formats

コードの文法を理解した上で git のマージ（複数人の変更を1つに合わせる作業）を行うツール。通常の git は行単位で見比べるため、近い場所を別々に直すと、内容が衝突していなくても人の手を求めてくる。Mergiraf は tree-sitter という構文解析の仕組みでコードの構造を読み、本当にぶつかっているかを判断する。無駄な衝突が減るぶん、大人数で同じファイルを触るプロジェクトほど効く。

Principles for Fast Tokio Applications

Rust の非同期処理基盤 Tokio を速く動かすための原則を、著者が6つに整理している。最初の原則は「本当に問題があるか測れ」で、推奨値を外れていても利用者に影響しないことは多いという。ワーカーを止める最大の原因は、取り合いの激しいロックを長く握ることだと指摘する。連続して読める処理を4回で一度譲るだけで、遅い側の応答が2.5msから0.3msに改善した例も挙げている。

Distributed Systems Classics (2017)

分散システムの土台になった論文10本を、著者が発表年順に並べたページ。1978年の時刻と順序の話から、ビザンチン将軍問題、Paxos、2014年の Raft までが入っている。狙いは網羅ではなく、問題の全体像をつかむ出発点を示すことだと本人が書いている。個々の技術の流行り廃りに関係なく読める範囲を選んであるので、順に当たれば地図が手に入る。

Frontend

Safari 27、top-level awaitの不具合を修正、モジュールローダーを刷新

Safari 27 で、モジュールの読み込みを担う部分が作り直された。gihyo.jp によると、これまでは同じモジュールを続けて動的に読むと、初期化が終わる前に完了扱いになる不具合があった。WebKit は仕様に沿う形でローダーをC++で実装し直し、初期化が終わるまで完了としないようにした。これで主要ブラウザが揃って top-level await（モジュールの一番外側で待ち合わせを書ける機能）を正しく扱えるようになる。

pnpm 12.4リリース、RustとPythonの依存関係もまとめてインストール可能に

JavaScript のパッケージ管理ツール pnpm が、Rust と Python の依存も扱えるようになった。gihyo.jp によると、設定ファイルで言語ごとに有効化し、crate: や pypi: の接頭辞を付けて追加する。ロックファイルは各言語の標準のものをそのまま使い、pnpm は同時ダウンロードの取りまとめに徹する。複数言語が同居するリポジトリで、pnpm install 一発に寄せられるのが利点だ。

The case against JPEG XL

画像形式 JPEG XL をブラウザに入れるべきではない、と著者が反論している。非可逆圧縮の画質は AVIF に届かず、方向予測やブロック境界のならしといった仕組みを持たない点を理由に挙げる。復号も遅く、小さなファイルで処理時間を食い潰す攻撃が成立しうると指摘する。以前のIntent to Ship: JPEG XLで Firefox が搭載へ動いた形式なので、対応の是非はまだ決着していない。

Fragment Refsのずるい使い方

React 19.3 で Fragment に ref を付けられるようになり、その裏技的な使い道を著者が示している。従来は、子要素のDOMを触りたいと思っても、自分で余計な要素を1つ包む必要があった。記事では監視役を偽装することで、要素を包まずに子へ属性を付ける Hidden を作っている。公式には想定されていない使い方で、将来動かなくなる可能性があるため実務では避けるべきだと本人が断っている。

Anecdotally, programmers dislike “reduce”

配列をまとめ上げる reduce だけが、なぜか嫌われやすいと著者が書いている。根拠は自分の体験で、map や filter では出ない「読みにくい」という指摘が reduce には付くという。理由の候補として、慣れの差、性能、言語側の書き味の悪さなどを挙げ、そもそも思い込みかもしれないとも認めている。結論は出ないが、レビューで毎回書き換えている、という最後の一行に実感がある。

Products

Elva

コードを読み取って自社APIの一覧を自動で作り、相手ごとに公開範囲を分けられるサービス。人間の開発者向け、取引先向け、AIエージェント向けで必要な情報が違う点に着目している。MCPサーバーとして公開したり、AIから呼ばれる準備ができているかを判定したりできる。API の呼び出し元が人からAIへ移りつつあるチームに向く。

Juggler

AIコーディングエージェントを操るための、デスクトップ用の作業台。やり取りを1本の履歴ではなく枝分かれする木として見せ、道具の呼び出しや承認、渡した文脈まで一覧で開ける。Go で書かれた単体のバイナリで、Node も Electron も要らない。端末画面で長いコードを追うのが辛い人向けで、Apache-2.0 などのもとで公開されている。

TryCase

プルリクエストが出るたび、AIが実際にアプリを触って動画と合否を GitHub に返すサービス。使い捨ての環境でアプリを起動し、人がやるのと同じように画面を操作して記録する。Web だけでなく、Linux で動くものなら CLI やコンテナも対象になるという。コードは読めても「押したらどうなるか」が分からない、というレビューの穴を埋めにくる。

Oats

会議の音声を手元のPCだけで文字起こしし、要約まで作るオープンソースのアプリ。会議にボットを招く必要がなく、録音も処理も外に出ないので、議事録の扱いに厳しい職場でも通しやすい。出力は Markdown ファイルなので、他のツールへそのまま持ち出せる。macOS と Windows に対応し、無料で使える。

Deplo

自分の持っているサーバーへ、リポジトリを繋ぐだけで配置できる自前ホスティング用ツール。Docker や SSH、YAML を書かずに済ませることを狙っていて、証明書の更新やプルリクごとの確認環境も込みで面倒を見る。ワンクリックで前の版に戻せる仕組みもある。クラウドの請求が読めない、でも自前運用は重い、という間を埋める位置づけだ。