OpenAIがナビエ–ストークス問題を解いたと発表、直後に功績を巡る告発が噴出

AI

On the Navier–Stokes Millennium Prize Problem

OpenAIが、数学の未解決問題として賞金がかけられている「ナビエ–ストークス方程式」の解を得たと公表した。同社は論文に加えて、証明支援系Leanで機械的に検証できる形にした証明も併せて公開している。Axiosの報道によると、使われたのは未公開の内部モデルで、1万体のエージェントを同時に88時間走らせたという。数学の未解決問題をAIが解いたという主張は前例がなく、数学界による検証はこれからの段階にある。

OpenAI fought dirty on career-making math problem, says NYU mathematician

同じ問題に取り組んでいた数学者が、OpenAIのやり方は不当だったと訴え出た。TechCrunchによると、ニューヨーク大学のTristan Buckmaster氏は、自分たちが証明を仕上げる途中だという情報がOpenAIに伝わり、その後に同社が計算資源を投じて先を越したと主張している。OpenAIは相手の作業内容を見てはいないと否定する一方、両氏が自社製品を使った際の匿名化データがモデル改良に寄与した可能性は否定できないとも述べた。誰の功績かを巡るこの種の争いは、AIが研究の現場に入り込むほど増えていく類の問題だ。

Meta debuts its Muse AI agent. Will consumers trust it?

Metaが、利用者の代わりに実務をこなす個人向けAIエージェント「Muse」を米国で公開した。TechCrunchによれば、メールの送信や旅行の予約、フォームの記入、買い物の決済までを引き受け、専用のブラウザを持つ隔離環境（Muse Secure VM）の中で動く。無料枠のほか月20ドルと月100ドルの有料帯が用意されている。基盤にあたるMuse Spark 1.3は先週発表されたばかりで、記事はMetaの過去のプライバシー問題を挙げ、家計や健康の情報まで預ける相手として信用されるかが最大の関門だと指摘している。

Hackers are stealing Claude tokens from subscribers

Claudeの契約者が、身に覚えのないまま利用枠を使い切らされる被害が相次いでいる。TechCrunchの取材にAnthropicは、情報窃取型のマルウェアに感染した端末からログインセッションが盗まれていると認めた。パスワードではなくログイン済みの状態そのものが奪われるため、二段階認証を設定していても素通りされる。利用者側に内訳を細かく見る手段がなく、盗まれていることに気づきにくい点が被害を長引かせている。

Cognition hits $48B valuation, signaling investors believe AI coding is far from a winner-take-all market

AIコーディング企業のCognitionが20億ドルを調達し、企業価値480億ドルの評価を得た。TechCrunchによると、5月時点の評価額260億ドルから4カ月で倍近くに跳ね上がっており、年換算売上も同期間に4億9200万ドルから約9億ドルへ伸びている。同社はNVIDIAのサーバーを年間数億ドル規模で借りており、2026年の資金流出は8億ドルに達しうるとも報じられた。記事はこの評価額を、AIコーディング市場が1社の総取りにはならないと投資家が見ている証拠だと読み解いている。

Infra

Chrome is now shipping updates every 2 weeks as AI changes the security landscape

Googleが、Chromeの更新間隔を4週間から2週間へ縮めた。TechCrunchによれば、AIによる自動的な脆弱性探索が進んだ結果、直すべき不具合の報告数そのものが増えたことが背景にある。狙いは、欠陥が知られてから修正が手元に届くまでの空白を短くすることだ。先日も実際の攻撃に使われたChromeの欠陥が緊急修正されたばかりで、Mozilla・Microsoft・Braveもすでに同じ2週間周期に移っている。

Automatic Key Exchange: faster, post-quantum secure origin handshakes for 45 billion daily connections (and counting)

Cloudflareが、自社と各サイトの本体サーバーの間の暗号方式を、事前調査して自動で最適なものに切り替える仕組みを公式ブログで公開した。従来は当てずっぽうで方式を提案していたため、相手が別の方式を望むと通信を1往復やり直す必要があった。あらかじめ各サーバーを走査して対応方式を把握しておくことで、このやり直しの発生率は52%から3.7%へ下がり、p90で150ミリ秒以上速くなったという。将来の量子計算機に備えた耐量子方式を優先しつつ速度も落とさない設計で、1日450億件の接続に適用されている。

Cloud Native Computing Foundation Announces Karmada Graduation

CNCFが、複数のKubernetesクラスタをまとめて扱うKarmadaを、最上位の成熟度である「Graduated」に引き上げたと発表した。クラウドやリージョンをまたいで置き場所の決定・配布・障害時の切り替えを一元化するもので、アプリ側に手を入れずに使えるのが特徴だ。2021年のSandbox入りから5年で、292組織・1214人以上が開発に参加し、BloombergやAlibaba Cloudなどが採用しているという。GPUの空きを求めてクラスタが分散しがちなAI基盤で、まとめて面倒を見る道具の需要が高まっている。

Kubernetes access via an identity provider: Public client, not confidential

KubernetesにIDプロバイダ経由でログインする構成で、よく使われる「機密クライアント」方式は誤りだという指摘がCNCFブログに載った。この方式ではクライアントシークレット（本来は隠しておく合言葉）を、クラスタを触る全員の端末に配る必要があり、それはもはや秘密として機能していないという理屈だ。代わりに勧められているのが、シークレットを持たない公開クライアントとPKCE（毎回その場で作った乱数の持ち主だけが認証を完了できる仕組み）の組み合わせ。配布も失効もいらなくなるため、鍵の入れ替え作業がそもそも発生しなくなる。

Google’s revived nuclear power plant gets $1.9B loan from US government

Googleが電力の供給を受ける予定の原子力発電所に、米エネルギー省が19億ドルを融資すると決まった。TechCrunchによると、対象はアイオワ州のDuane Arnold発電所で、2020年に嵐の被害で停止したものを2029年の再稼働に向けて改修する。出力は615メガワットで、うち50メガワットは地元の電力組合に回され、残りがデータセンター向けとなる。AI向け計算資源の電力需要が、休止していた原発を政府の資金で呼び戻すところまで来ている。

Backend

FreeBSD 14.5-Release

FreeBSD 14.5-RELEASEが9月8日に公開された。公式の告知が明言しているとおり、今回は新機能よりも保守が主眼で、中身は不具合修正とドライバ更新、同梱ソフトの版上げが中心になっている。amd64やaarch64のほかriscv64まで9種のCPUに対応し、サポートは2027年6月30日まで。14系全体は2028年11月まで続くため、安定運用中の環境をそのまま延命させたい向きにとっては素直に当てられる更新だ。

I’ve factored the RSA keys of a Certificate Authority…from the 90s

1990年代の認証局が使っていたRSA鍵を、個人が自宅のパソコンで割り出したという報告が公開された。対象はカナダのE-Certifyが1999年にNetscapeへ同梱した512ビットの2つのルート鍵で、著者はRyzen 9のデスクトップ1台でそれぞれ32時間と29時間かけて素因数分解している。当時は暗号の輸出規制で鍵長が抑えられており、同じ年のうちに同規模の鍵が破られていた。先日話題になったRSA-260が国際的な計算資源を要したのと比べると、短い鍵がいかに脆いかが際立つ。

Swap, memory pressure and the Go GC

メモリ不足時の退避領域（スワップ）とGoのごみ集めが噛み合わず、性能が崩れる現象を著者が追いかけている。Goのごみ集めは、生きているデータを辿るためにメモリ上の構造体を読み直す。ところがカーネルはその領域を「しばらく使われていない」と判断してディスクへ追い出してしまうため、ごみ集めのたびに読み戻しが大量発生する。実測では249MiBが退避された状態で約2万3000回のページフォルトが起き、収集時間が93ミリ秒前後から最大1356ミリ秒まで伸びた。著者はまだ解決策を見つけておらず、記事の締めくくりは読者への問いかけになっている。

ble.sh―理論物理の研究者がBashだけで書いた、世界で使われるコマンドラインエディタ

Bashに構文の色分けや入力補完、Vim風の編集モードを足す「ble.sh」の作者を、レバテックLABが取材した記事。作者は大阪大学で高温高密度物質を研究する理論物理学者で、2013年の大学院生時代から開発を続けている。全体をBashだけで書いたのは、管理者権限のない研究用スーパーコンピュータや古いサーバーでも同じ環境を使いたかったからだという。Bashの行編集はC言語のライブラリが握っていて外から触れないため、編集機能をまるごと作り直す必要があり、速度を保つために変更箇所だけを解析し直す仕組みを自作したと語っている。

日本語プログラミング言語「なでしこ3」のGo言語版がリリース ―単一バイナリを生成可能で高速動作

日本語で書けるプログラミング言語「なでしこ3」に、Go言語で実装し直した版が加わった。gihyo.jpによると、従来版はNode.jsなどの実行環境を別途用意する必要があったが、Go版は編集環境まで同梱した単一のバイナリとして配れる。公式のベンチマークでは、Web版と比べて最大5.5倍、ネイティブにコンパイルした場合は最大5.92倍速いとされる。Windows・macOS・LinuxをMITライセンスで対象にしており、教育の場で配布して回るような使い方の障壁が下がった。

Frontend

word-break の auto-phrase が効かないのは lang 属性のせいだった。日本語の折り返し5通りを343px幅で実測してみた

日本語を意味の切れ目で改行するCSSのword-break: auto-phraseが、lang属性なしでは黙って無効になるという検証記事。ブラウザが言語を判別できないと通常の折り返しに戻ってしまうのに、機能の対応状況を問い合わせるCSS.supports()はtrueを返すため、効いていないことに気づけない。著者はスマホ幅に相当する343pxで見出し6本を計測し、lang="ja"を付けるだけで不自然な改行が6件中6件から1件に減ったと報告している。まず<html lang="ja">を確かめるのが先で、JavaScriptを使う対策はその後だと結論づけている。

This Month in Ladybird - August 2026

ゼロから作られているブラウザLadybirdの8月の進捗が、公式ニュースレターで公開された。JavaScriptのデバッガが載って停止位置を置いた逐次実行ができるようになり、Twitchの動画再生にも対応したという。性能面の伸びが大きく、スタイル計算の速さを測るStyleBenchの値は3.5から83へ跳ね上がった。DOMの変更を差分の流れとして扱う新しいスタイル計算方式が効いたとしており、チームは最初のアルファ版を2026年中に出す計画を維持している。

Extreme Server Side Rendering

HTTP接続を開いたままCSSを送り続けることで、JavaScriptを一切使わずに動くゲームを作った実験記録。サーバーが毎秒60回の頻度で要素の位置を書き換えるCSSを流し込み、クリックは隠したiframeのフォームで受け取る構成だ。著者のRust実装ではCPU1コアあたり約500ゲームを同時に捌け、1ゲームの通信量は毎秒20KiB程度に収まったという。ただし操作の反応が往復の通信遅延に直結するため、遠い地域からは遊べたものではないと自ら認めている。

面倒なCSSアニメーションもこれで簡単に実装できる！繊細な動きを最優先にしたフレームワーク -EaseMotion CSS

控えめな動きを付けることに絞ったCSSフレームワーク「EaseMotion CSS」を、colissが紹介している。ease-fade-inやease-slide-upのように名前から挙動が想像できるクラスを付けるだけで済み、外部の依存やビルドの設定は要らない。必要な部分だけを読み込めるモジュール構成のため、使わない分の重さを持ち込まずに済む。MITライセンスで商用利用も可能とされており、アニメーションのためだけにJavaScriptのライブラリを足すのをためらっていた場面に向く。

Antiquated HTML Snippets and Artefacts

いまだにコピーされ続けている、役目を終えたHTMLの断片を著者が集めて解説した記事。Internet Explorerの表示モードを指定するX-UA-Compatibleや、IE6の自動リンク挿入を止める記述など、対象のブラウザ自体がすでに存在しないものが並ぶ。検索エンジンに巡回間隔を伝えるとされるrevisit-afterに至っては、主要な検索エンジンが一度も採用しておらず、迷信のまま広まったと切り捨てている。テンプレートの先頭に何となく残っている行を、一度点検してみる材料になる。

Products

Catenary

AIコーディングエージェントを動かすための、平面キャンバス型の開発環境。ファイルを縦に並べる従来のエディタではなく、作業の単位を空間に配置して見渡す作りを掲げている。複数のエージェントに別々の作業を任せると、いま何がどこまで進んでいるかを追いにくくなる。その把握しづらさに、画面の構成そのもので手を打とうとしたプロダクトだ。

Relaticle

顧客管理システム（CRM）をオープンソースで提供し、AIによる書き込みだけ承認を挟む作りにしたプロダクト。AIに顧客情報の更新まで任せると、誤った内容がそのまま記録として残ってしまう。読み取りは自由に、書き込みは人の承認を経てという線の引き方は、業務データを扱うAI全般に応用が利く。自前で立てて中身を確かめたいチーム向けだ。

Kombai Gallery

2万件を超えるUIデザインを集めた、人間とAIエージェントの双方が引ける資料庫。エージェントに画面を作らせると、参照する手本がないぶん似たような無難な見た目に落ち着きやすい。あらかじめ整理された作例を渡せる状態にしておけば、指示の手間を減らしつつ幅を出せる。デザイナーを常時確保できない開発チームが主な対象になる。

Switch

任意のAIエージェントを、SlackやTeams、Discordから呼び出せるようにする中継役。エージェントごとに専用の画面を覚える必要がなくなり、普段の会話の場からそのまま指示を出せる。やり取りがチャンネルに残るため、誰が何を任せたかを後から追えるのも利点だ。ツールを増やしたくない組織にとっては導入の障壁が低い。

Replay QA Security Scan

AIに書かせたアプリケーションを対象に、疑似的な侵入テストを自動で行うサービス。生成されたコードは動きはするものの、認証や入力検証の抜けが人目で見つかりにくい。実際に攻撃を試す形で確かめれば、動作確認だけでは気づけない穴が表に出る。AIでの開発が速くなるほど、検査側を自動化する必要も強くなる。

Others

LG以外のスマートテレビも画面に映る内容を追跡してユーザーをスパイしている、どうすれば止められるのか？

スマートテレビが画面の内容を常時見張って外部に送っている実態を、Gigazineが検証結果とともに伝えている。使われているのはACRという技術で、映像や音声の特徴を指紋のように取り出し、サーバー側の一覧と突き合わせて何を見ているかを言い当てる。調査ではSamsungやSony、TCLなど主要各社で通信が確認され、待機中やHDMI接続の外部機器の再生中にも動いていた。同じ設定でもメーカーごとに呼び名が違って探しにくく、以前のLG製モニターが広告アプリを無断導入していた件と同じく、機器を買った側が防ぎにくい構図になっている。

There’s a new “Google Jail” for independent wikis

新しく取得したドメインで立ち上げたWikiが、Google検索にトップページ以外まったく出てこなくなる現象を、Wiki運営者が記録している。著者によれば2024年3月のGoogleの大型更新以降に始まり、新規ドメインで開始したWikiの約9割が該当し、抜け出すのに1年近くかかる例もある。ゲーム系Wikiは流入の約85%が検索経由のため、事実上の存在しない扱いになるという。既存ドメインのサブドメインなら問題は起きないことから、著者はGoogleがSEO目的の粗製サイトを個別に見分けるのを諦め、新規ドメイン全体を一律に抑え込んだのではないかと推測している。