Grok 4.7公開、開発者の68％がAIエージェントを毎日使う

AI

Grok 4.7

Grokシリーズの新モデル「Grok 4.7」が公開された。公式の発表によると、自分の答えを自分で検証する力と、長い文脈を保つ力を伸ばしたという。コーディングの評価では46.3％で、前世代の40.4％から上がった。以前の「Grok 4.6」が登場、長時間のエージェント作業に強くなりから約1カ月半での更新で、価格は入力100万トークン2ドル・出力6ドルに置かれている。

「毎日使う68％」　AIコーディングエージェントの現在地　プロフェッショナル開発者1万5000人に聞いた

AIコーディングエージェントを毎日使う開発者が68％に達した。@ITによると、JetBrainsが世界の開発者1万5000人以上に聞いた調査で、使ったことがある人は9割を超える。道具の内訳ではClaude Codeが39％で、今年1月時点の18％から伸びた。一方でGitHub Copilotは29％から21％へ下がっており、1年で顔ぶれが入れ替わったことになる。

MetaのAIエージェント「Muse」が許可していないはずのメッセージを勝手に読んでいるとの指摘

MetaのAIエージェント「Muse」が、許可していないメッセージを読んでいたと指摘された。Gigazineによると、Muse自身は通知のプレビューを見たと答えたが、実際は端末内のメッセージ用データベースから同期していた。Metaは連携は任意で別途の許可が要ると説明したが、指摘した本人はそう設定した覚えはないと反論している。以前のMeta debuts its Muse AI agent. Will consumers trust it?が最大の関門に挙げた信頼の問題が、公開直後に表に出た形だ。

OpenAI forms math advisory group as its AI resolves more than 100 open problems

OpenAIが、社内のAIで数学の未解決問題を100件以上解いたと主張している。TechCrunchによると、これを受けて9人の数学者がプリンストンの高等研究所に助言グループを作った。報酬を受け取らない独立の立場で、成果の重要度の見極めや公表の進め方に助言する役割だという。以前のAIベンチマークに数学を使うのは有害だとして数学者たちが反発のとおり、査読を飛ばした大量公開への警戒が背景にある。

Xiaomiがマルチモーダルの大型モデル「MiMo-V2.6」をMITライセンスで公開

Xiaomiが、重みを自由に使えるAIモデル「MiMo-V2.6」を公開した。モデルカードによると、1.02兆パラメータの「Pro」と3090億の「Flash」の2種類がある。どちらもMoE（必要な担当部分だけを動かす作り）で、1トークンに使うのは42Bと15Bに留まる。文章・画像・動画・音声を受け取り、扱える文脈は100万トークンに達する。

Infra

California Gov. Gavin Newsom signs seven bills aimed at regulating data centers, imposing new requirements on electricity costs, water use, and local oversight

カリフォルニア州が、データセンターを規制する7本の法律を成立させた。Reutersによると、知事が月曜に署名し、電気料金の負担、水の使用、地元自治体の関与に新しい義務を課す。AI向け設備の建設が急に増えたことへの、州としての歯止めにあたる。以前のデータセンター、お金を払わず水を1億1000万リットル使用のように、水と電気の負担は各地で争点になっていた。

The EU proposes rules requiring data centers with a capacity of 500+ kW to disclose their energy and water efficiency using an EU-designed labeling system

EUが、データセンターに電気と水の効率の開示を義務づける規則案を出した。Reutersによると、欧州委員会が月曜に提案したもので、対象は容量500kW以上の施設だ。家電の省エネラベルのように、EUが定めた等級で示させる仕組みになる。個別の州法で縛る米国に対し、EUは比べられる数字を出させる方向を選んだ形だ。

AI coding has made CI a bottleneck, so we reworked ours to keep up

AIがコードを書く速さに、変更を検査する仕組みが追いつかなくなったという報告。Linearが公式ブログで、取り込み依頼1件あたり6分を超えていたCI（自動でビルドとテストを回す仕組み）の見直しを公開した。実行する機械を入れ替えて平均34％、型検査は別実装への移行で73％短くしている。7つの検査を2つにまとめる地道な削減も重ね、待ち時間は5分強まで下がった。

Runbooks Are Dead; Make Operations Executable

手順書をやめて、実行できる道具にすべきだという主張。ShiftMagの記事は、午前3時の障害対応で人が条件分岐を頭の中で追うのは無理だと指摘する。前提条件の確認と失敗時の処理まで含めたAPIにまとめ、人もAIも同じ入口から叩く形を提案している。以前のAI handles incidents, engineers lose touch with their systemsとは、ちょうど逆を向いた提案になる。

「脱VPN」を決めた企業は何を変えた？――VPNに頼らないネットワークの現実解

VPNをやめた企業が何に置き換えたのかを、@ITが事例集としてまとめた。飲食店情報のぐるなびは社外からの接続の仕組みを入れ替え、運用コストを約4割減らしたという。製造業の例では、社内の共有ディスクへVPNなしで外から入れる形を作っている。以前の「拠点間VPNはもう安全じゃない」と同じく、製品を入れ替えるだけでゼロトラストになるわけではないと念を押している。

Backend

Why does mathmain need an encrypted loader?

算術ライブラリを装ったnpmパッケージに、遠隔操作の仕掛けが隠されていた。SafeDepの解析によると、mathmainなど3つのパッケージが定番のmathjsを写し、暗号化した本体を同梱していた。3×3のパスカル行列を解かせたときの計算結果が復号の鍵になり、そこで初めて中身が動き出す。以前のnpm installするだけで侵害される時代の守り方のとおり、狙われているのは本番環境ではなく開発者の手元だ。

Python Workers are now generally available

Cloudflareが、Pythonで書いたコードを自社の拠点で動かす機能を正式版にした。公式ブログによると、土台はPyodide（PythonをWebAssemblyに載せて動かす仕組み）で、JavaScriptとの値の受け渡しは自動で処理される。TCP接続に対応したため、PostgreSQLやMySQLのドライバがそのまま使え、FastAPIやDjangoも動く。以前のThe last mile of a long road: faster NumPy in the browserと同じ土台で、Pythonを置ける場所が広がってきている。

Back to Coupling and Cohesion

設計の良し悪しは、結合度と凝集度の2つだけで測れるという記事。結合度は部品どうしの絡み具合、凝集度は1つの部品が1つの目的に集中している度合いを指す。著者は、SOLIDなど個別の設計原則はすべてこの2つに帰着すると整理する。測り方も示しており、パスワード検証を2画面に写した例では結合度が0.48になり、変更が両方に波及する状態が数字で出る。

Relation algebra is not relational algebra

名前が似ているだけの2つの理論が、長く混同されてきたという指摘。著者によると、relational algebra（関係代数）は1970年にデータベースの土台として提案されたものだ。一方のrelation algebraは二項関係を公理で扱う純粋数学の構造で、並行処理の難しさとAI時代の形式手法で触れた形式手法の道具Alloyの土台にもなっている。混同のせいで後者の応用が埋もれていると見て、著者は呼び名を変えることを提案している。

Textbook review: Is Parallel Programming Hard, And, If So, What Can You Do About It?

並行プログラミングの定番教科書を読み通した書評。対象は、Linuxカーネルの排他制御を長く手がけた開発者による本で、著者は5章まで精読したと書いている。評価しているのは、CPUのキャッシュや命令の並べ替えといった土台の解説と、カウンタを増やす実装を延々と比べる章だ。一方でLinuxカーネル寄りに偏り、C11以降の原子操作やメモリ順序の扱いは薄いと指摘している。

Frontend

Markdown in /src

AIに書かせたコードの「なぜ」を、プロジェクトの中のMarkdownに置こうという提案。htmxの作者が、/src/md に機能仕様やデータ設計を人の手で書き、そこからコードとテストを起こす形を示す。いま設計の意図はチャットやチケットに散っており、生成されたコードが唯一の手がかりになっている、という問題意識だ。以前のデザイナーが作る仕様駆動型デザインシステムと同じく、仕様を正とすることで人とAIの両方が読める土台を作る狙いがある。

I Benchmarked Five Ways to Speed Up a Slow React Table. Two of Them Did Nothing.

重いReactの表を速くする5つの手を、実測で比べた記事。4000行での最長の再描画は、何もしないと166ミリ秒、memoだけ付けても153ミリ秒でほぼ変わらなかった。useCallbackとuseMemoを足すと47ミリ秒、画面に見える行だけ描く仮想化では3.6ミリ秒まで落ちた。著者は、memo単体が効かないのは親が毎回新しい関数や配列を渡すためだと説明している。

Photoshop風のMac向け画像編集アプリ「Compositor」オープンソースで公開

Photoshopに似た操作でMacで使える画像編集アプリが、無料で公開された。gihyo.jpによると、デザイナーが9月18日に出したもので、コードはMITライセンスでGitHubに置かれている。レイヤーやマスク、色調補正、背景除去を備え、Photoshopと同じキーボード操作も再現している。容量は12MBでPhotoshopの6,455MBに比べてかなり小さいが、PSD形式は読めない。

Do you use :visited on links?

訪問済みのリンクの色を変えているサイトは案外少ない、という指摘。著者は、フィードリーダーのMinifluxでこの表示に助けられ、自分のサイトにも入れたと書いている。未訪問を青、訪問済みを紫にするだけのCSSで、記事の中のどれを読んだかが一目で分かる。たくさんのブログを追う読み方では、同じリンクを二度開く手間がそのまま減る。

Products

Jev

判断だけを返すAIモデル「Jev」が、待機リストなしで誰でも使えるようになった。文章や画像を渡すと、選択肢・点数・確率という、コードがそのまま扱える形で答えが返る。応答は70〜500ミリ秒で出力分の課金がなく、同じことをLLMでやるより大幅に安いとうたう。内容の仕分けや自動判定を組み込みたい開発者向けの道具だ。

Cronhq

定期実行の取りこぼしと二重実行をなくすことに絞ったジョブ管理サービス。サーバーを増やすと同じ設定が複数走ってしまう問題に、PostgreSQLのロックで「1回だけ」を保証する。失敗時の再試行、生存確認の定期通知、署名付きのWebhookも備え、設定はYAMLで管理できる。RustとPostgresだけで組まれたMITライセンスで、クラウド版と同じイメージを使った自前運用もできる。

Google Flow for iOS & Android

Googleの映像・画像生成ツール「Flow」が、スマートフォンのアプリとして出た。端末に保存した写真やその場の撮影をそのまま素材として渡せる。作りかけのプロジェクトは端末をまたいで同期され、料金は無料。パソコンの前に座らずに試せるようになった点が、これまでとの違いだ。

NiubiGEO

自社の製品がAIにどう説明されているかを追う、オープンソースの計測ツール。ChatGPTやGeminiへの質問で、自社が挙がるか・どの競合が並ぶかを記録し、元になった情報源まで見られる。自動収集だけでなく、地域ごとに実際の人が試した結果をスクリーンショット付きで集める仕組みも持つ。無償版はApache 2.0で、APIキーと実行環境は利用者が用意する。

OmniDICOM

医療用画像のDICOMファイルを、MacとWindowsのデスクトップで開いて編集できるツール。断面の再構成、立体表示、連続再生に対応し、画像に埋め込まれたタグ情報の書き換えもできる。大がかりな画像管理システムを立てずに手元で確認したい研究・教育向けで、診断には使えないと明記している。価格は1台あたり月10ドルから、上位版は月45ドル。

Others

中国のZ.aiが、AIコーディングツール「ZCode」の一部機能を止め、全体をオープンソースにした。Reutersによると、作業中のコードが無断で海外のサーバーへ送られていると利用者から報告されたのが発端だ。以前のInside ZCode: Silently uploading your Git history to the cloudで扱った調査が、そのまま会社の対応につながった。同社はデスクトップ版やCLIまで含めてGitHubで公開し、利用者に謝罪している。

Windows Exploitation Techniques: Dangling COM Object Registrations

Windowsのレジストリに、存在しないファイルを指す部品の登録が残っているという問題。GoogleのProject Zeroによると、誰でも書き込める場所を指した登録があり、そこへ偽のDLLを置ける。さらにSYSTEM権限で動くサービスにその部品を読ませる手があり、権限昇格につながる。Microsoftは関連する2件のCVEを修正したが、宙ぶらりんの登録そのものは残っていると指摘している。

Kairos Power gets up to $100M from Samsung group to build nuclear reactor for Google

Google向けの原子炉を建てる新興企業に、Samsungグループが最大1億ドルを出す。TechCrunchによると、7000万ドルが出資、3000万ドルが設計・施工の役務で、Samsung C&Tは十数基の建設に関わった実績を持つ。建設地はテネシー州オークリッジで、出力50メガワットの実証炉は2030年の稼働を見込む。以前のGoogle’s revived nuclear power plant gets $1.9B loan from US governmentと合わせ、AI向け電力の確保が原子力へ寄っている。

ShinyHunters hijacked the dark web site of cybercrime gang Cl0p, set an eight-figure extortion demand, describing the amount as “2.333%” of Cl0p’s net worth

攻撃者グループが、別のランサムウェア集団の脅迫用サイトを乗っ取った。The Recordによると、ShinyHuntersがCl0pのサイトを書き換え、8桁ドルの支払いを求めている。額はCl0pの資産の「2.333％」だと説明し、応じなければ身代金を払った企業名やビットコインの送金先を公開すると脅した。発端はCl0pが、ShinyHunters側が見つけた欠陥を断りなく使ったことだと伝えられている。

What Sun got wrong

Sun Microsystemsが何を間違えたのかを、当時を知る技術者が振り返った記事。著者の見立ては、戦略ではなく「商売の基本に飽きてしまった」ことが致命傷だったというものだ。OpenSolarisを使う新興企業が機材を買いたいと申し出ても、決定権を持つ人にたどり着けなかったという。対するDellは翌日に返事をして2週間で契約を決めており、実務が回らなければ戦略は意味を持たないと結んでいる。