AIギーク週報 W41 · 2026-10-03—10-09
今週48件。Mistral Large 4とClaude Haiku 5.5が同じ週にリリースされ、AIが数学界になだれ込みErdős問題サイトの管理者が変更説明を書き、DenoがCloudflareに統合された。
日本語
コピー
今週は三つの線が同時に動いた。モデル側の競争が最も激しく、Mistral、Anthropic、DeepSeek がそれぞれ新製品を出した。数学界が AI の影響を最もはっきり受けており、Erdős Problems の運営者が変更説明を書き、Terence Tao は「数学 2.0」の進展をどう測るかを論じた。インフラ側は静かだが堅実で、Meta はネットワーク全体の時刻サービスに認証を加え、Deno は Cloudflare に吸収された。
AI とモデル
Mistral Large 4 が公開プレビューとしてリリース。ブログのタイトルは堂々と Le Chonk。企業向けのフラッグシップという位置づけで、同じ週に Anthropic は小型モデル、DeepSeek は安価なモデルを出し、三社が同じ週にひしめいた。（2036 点）
Claude Haiku 5.5 Anthropic はこれまでで最速かつ最安の小型モデルだと説明する。要約、圧縮、分類、データベースクエリなど高頻度で繰り返す作業が主眼で、Opus 5.5 や Sonnet 5.5 のサブエージェントも務まる。安価な小型モデルは今や agent システムの実質的なボトルネックだ。（1044 点）
業界が DeepSeek 4.1 Flash に慌てない理由 著者は一か月ヘビーに使い、途中でモデル名を見なければ Opus との違いが分からないと言う。価格は何桁も安い。なぜフロンティアラボが反応しないのかと問いかける。（1089 点）
Whistle、16.9 MB の音声認識 16.9 MB のファイル一つ、純粋に CPU で動作、依存なし、7 言語対応、最初の token まで 11 ミリ秒。同じ系列の Needle と C++ エンジンを共有し、バイナリ一つで録音をそのままツール呼び出しに変換する。（923 点）
OpenAI が数学の結果を公開 結果は社内のフロンティアモデルによるもので、Lean の形式化証明と詳細は GitHub に同時公開された。公開前に IAS の「数学と人工知能に関する諮問グループ」と公開方法を相談しており、この動きは結果そのものより注目に値する。（1339 点）
Erdős Problems が AI に飲み込まれる 運営者の Thomas Bloom が変更説明を書いた。このサイトは懸賞問題を人に紹介するのが本来の目的だったが、問題プールが大きく扱いやすいため、一年のうちに AI の数学能力を測る尺度になってしまった。Terence Tao は同じ週の投稿で、「数学 2.0」は進展をもっと全体的に測る必要があり、解いた問題の数を数えるだけでは見誤ると述べている。（120 点 / 608 点）
4090 で 125B の Qwen3.8-Flash-Next を動かす Strata が Windows と Linux 向けのワンクリックインストールを提供し、ローカルで OpenAI と Anthropic 互換の API エンドポイントを立ち上げる。画像入力も任意で可能。HN に貼られた実測値はカード 1 枚で 100 tokens/s。（934 点）
ChatGPT が偽の『ニューヨーカー』漫画に本物の漫画家の名前を署名 雑誌の画風を模した漫画を生成し、存命の画師の名前を添える。署名の層が壊れた以上、画風が似ているかどうかはもはや主要な問題ではない。（558 点）
フロリダの女性が Claude を日記代わりに、Anthropic がその一篇を通報 逮捕記録によれば、彼女は 9 月 26 日に保安官事務所を襲撃すると書き、後に重罪で起訴された。モデルがいつ通報すべきか、どの基準で判断するか。現時点でこの線はベンダー自身が引いている。（836 点）
動画データの神話、AI はまだインターネットを「見て」いない Fastly は、動画が訓練セットに入らないボトルネックは帯域ではなく token コストとアノテーション不足にあると見る。ネットワークを扱う人より、データを扱う人に効く指摘だ。（Fastly ブログ）
セキュリティ · プライバシー
Tor プロジェクトが Mullvad との関係に言及 発端は Mullvad 共同創業者による政治献金。Tor は技術提携を終了しないと決めつつ、明確な線引きを示し、ブログでその間のトレードオフを率直に書いている。（120 点 / 284 コメント）
デンマーク 880 万人の CPR データ漏洩 公式発表によれば、デンマークのある企業が市民登録情報を照会する正当な権限を濫用した。国家規模の登録データベースが照会権を企業に開放した後、監査だけが残された境界となる。（509 点）
Meta の時刻サービスが NTS に対応 nts.meta.com は RFC 8915 をサポートし、パケットに認証が付き、デバイスは時刻が確かに Meta 由来で途中で改ざんされていないことを検証できる。NTP が長年丸裸で走ってきたことへの補習だ。
Let's Encrypt、来年 2 月からデフォルト 64 日証明書 2027 年 2 月 10 日以降に発行される証明書のデフォルト有効期間は 64 日。より短い 45 日や 6 日も選べる。更新の自動化ができていないチームに、今回は逃げ道がない。
Flock に超党派の立法 Sanders、AOC、Merkley が Ban Flock Act を提出し、連邦機関による自動ナンバープレート認識の使用を禁じる。同じ週、ある連邦判事はこうしたシステムを「無差別な大規模監視」と評した。（102 点 / 502 点）
秘密投票の裏にあったアルゴリズムの不具合 票を読み取るスキャナは電子記録をランダムに並べ替えてから公開する。2022 年に公表された脆弱性を使えば、その並べ替えを逆算できる。ジョージアを含む一部の州はいまもパッチを当てていない。逆算が成立すれば、誰が何に投票したかを復元できてしまう。（109 点）
Photopea の作者、GitHub に海賊版の削除を要請 ある人物が AI を使って自身のサイトの JavaScript を抜き出し、広告を除去し、「新製品」として GitHub に公開した。そうしたリポジトリは数十にのぼる。ユーザーは改変版でバグを報告して作者のもとに来る。損害はすでに作者に及んでいる。（568 点）
システム · 言語 · ツール
Deno が Cloudflare に加わる Ryan Dahl の発表。ランタイムという層が独立したプロジェクトから大企業の一部になる。JSR と Deno Deploy がこの先どうなるかのほうが実際的な問題だ。（1120 点）
Chrome が JPEG XL の提供を開始 圧縮率は JPEG より良く、HDR を備え、既存の JPEG を無劣化でトランスコードできる。このフォーマットは数年前に Chrome から外されたが、戻ってきた。（571 点）
C 言語の未定義動作は削られつつある Martin Uecker が Kernel Recipes で、UB をどう段階的に狭めていくかを講演した。彼は生体医工学の教授で、日常的には C で MRI スキャナを制御するソフトウェアを書いている。（124 点）
40ms の Go GC 停止、犯人は swap 著者はメモリのスパイクを吸収するために本番で swap を有効にした。その結果、GC が走査する span が swap out と swap in を繰り返し、同じ cgroup 内の HTTP サービスと足を引っ張り合った。調査の過程は細かく書かれており、結論は長命なオブジェクトに swap を使うなというもの。（117 点）
マイクロベンチマークは何ミリ秒走らせるべきか matklad の答えは 300 ミリ秒前後。整数のミリ秒は精度が十分で読み飛ばしやすく、1.31s のような書き方より手間がかからない。固定オーバーヘッドが無視できる程度に長くもある。（148 点）
Zerobrew、Homebrew より 6.6 倍速い 代替の Homebrew クライアントで、著者が示す上限は 6.6 倍。Homebrew が遅いのは昔からの問題で、クライアントの層を作り直そうとする人がいるほうが、我慢しろと言い続けるよりましだ。（111 点）
LLM で TypeScript コンパイラを Rust に移植 対象は TypeScript 7 の tsc で、実験的な取り組み。コンパイラほどの規模のものは、モデルが今どれだけ引き受けられるかを試すのにちょうどいい。（112 点）
Quake を safe Rust に移植、ブラウザでそのまま遊べる crate に一切依存せず、WebAssembly にコンパイルされ、共有版の章はすぐ遊べる。1996 年のエンジンのコードと所有権のルールがぶつかり合っても動く、それ自体がひとつの結論だ。（225 点）
どんな画面もプラカードに変える URL そのものがアプリで、リンクに色、フォント、切り替え間隔を載せる。インストールもログインも要らない。空港で人を迎える、テレビにカウントダウンを出す、Wi-Fi のパスワードを受付に貼る、といった使い方がある。（709 点）
中に入れる 3D 美術史博物館 素材は Wikipedia と WikiArt から。まずタイムラインに沿って 1000 年以上を滑り、次に一人称で各画家の展示室に入っていく。オープンソースで、コードは GitHub にある。（172 点）
ハードウェア · 製造
TDK の網膜投影方式 TDK がスマートグラス向けの表示方式を発表した。超光学反射鏡 1 枚で画像を直接網膜に投影する。（136 点）
Valve のエンジニアが 10 年前の AMD GPU を直す Timur Kristóf はこの 1 年、AMDGPU カーネルドライバに一連の変更を入れ、GCN 1.0/1.1 世代の古いカードを Linux でまだゲームが動くようにしてきた。トロントの XDC でその道筋全体を語った。（499 点）
OLED の焼き付きテストが 30 か月に 同じモニタの一群を日常的な強度で 2 年半動かし、残像が出る位置と速さを記録した。OLED を買う前に一度見ておく価値のある長期の記録だ。（127 点）
親のコーヒーメーカーが 10 日で 1TB を送信 息子がルーターで見つけた。ネット接続されたコーヒーメーカーが何を外に送り、誰に送っているかを、ほとんどの家庭は見たことがない。（924 点）
35mm フィルムのスキャンを自動化したライン 著者は父が残した Canon AE-1P で撮影し、自動スキャンのラインを書いて、時間をスキャンから撮影に移した。文末の darkroom サイトはそのまま試せる。（120 点）
vLLM が NVIDIA Vera Rubin NVL72 で動く 公式の数字は GPU あたりのスループットが GB200 NVL72 の 7.8 倍。Rubin 向けに調整した FlashInfer kernel と locality-aware MoE を組み合わせている。ハードウェアが世代交代するとき、推論スタックが追いつく速さは今や日単位だ。
テクノロジーと社会
Margaret Hamilton 氏が 90 歳で死去 彼女は MIT 計器研究所でアポロ計画のソフトウェアチームを率い、そのコードは 1202 アラーム発生時にアポロ 11 号の着陸を救った。「ソフトウェアエンジニアリング」という言葉も彼女の功績とされることが多い。（2109 点）
タンザニアの農村の子どもに 10 年間学費を払った話 著者は 19 歳で東アフリカを旅していたとき、学校のない村に滞在した。滞在した家族の 11 歳の娘の寄宿舎費を払うと約束し、10 年間払い続け、今年その娘は大学を卒業した。（743 点）
ほぼすべてのものにデフォルトの厳格な予算上限が必要だ Simon Willison 曰く、従量課金のサービスに必要なのは「一定額を超えたら遮断する」仕組みであって、警告メールではない。agent は出費に伴う摩擦をほぼゼロにした。ソフトリミットでは事故を一切止められない。（650 点）
イラストレーターに家を描いてもらったら、それが Home Assistant のパネルになった 暖炉は絵の中で炎が揺れ、庭の照明は絵の中で点灯し、寝室のエアコンも動く。使えるスマートホームパネルはいくらでもあるが、家族が毎日使いたいと思うかどうかは別の話だ。（898 点）
墨消しの失敗で Google データセンターの水と電力の使用量が明るみに ネブラスカ州はデータセンターに毎年の使用量報告を義務付けているが、州法が公開を阻んでいた。複雑とは言えない墨消しの失敗が数字を漏らした。（528 点）
ユタ州、AI に単独での診察と処方を認める 全米初、試験期間は 1 年、対象は軽度から中等度のニキビに限定、人間の医師による確認は一切なし。範囲はごく狭いが、規制当局が処方権をソフトウェアに委ねたのはこれが初めてだ。（140 点）
System76、COSMIC のほとんどのリポジトリで AI 生成コードを禁止 Pop!_OS を手がける同社が、自社デスクトップ環境にルールを定めた。オープンソースプロジェクトが自ら規則を決めるほうが、ライセンス条項による規制を待つより速い。（122 点）
豆知識 · 珍談 · 気楽な話
Theranos.world Elizabeth Holmes の机をインタラクティブなシミュレーションにした。彼女の MacBook を開き、iPhone をスクロールし、Edison マシンを操作できる。中の SMS とメールはすべて法廷記録から取られている。（553 点）
AAA 級マインスイーパ マインスイーパを大作の仕様で作り直した。今週いちばん理不尽で、いちばん完成度の高いウェブ作品。（773 点）
すみません、会議中です それらしく聞こえる会議音声を選んで再生し、あとは自分の作業を続けるだけ。偽の会議をカレンダーにねじ込む .ics ジェネレーター付き。（815 点）
クジラと話す人 David Gruber は Project CETI を立ち上げ、AI と機械学習でマッコウクジラのコミュニケーションを解読しようとしている。現代で最も大胆な科学計画だと言う人もいれば、美しい徒労だと言う人もいる。（112 点）
石器時代の縄と糸と麻 繊維製品は考古学の記録にほとんど残らないが、初期人類の生活における重みは小さくなかった。考古学者たちは実験室で太い縄を編み直し、当時どれだけの時間と人手が必要だったかを推定している。（149 点）
'Wallace and Gromit' は 9 割が一人で作られた Nick Park が Aardman で『A Grand Day Out』を制作していた数年間、ほとんどのカットは彼が一人で 1 コマずつ動かしていた。1989 年のこの作品は、多くの人のアニメーション観を変えた。（178 点）
バーコードはまもなく絶滅する 小売業は QR コードへ移行しつつあり、新しいコードには賞味期限やロット、プロモーション情報まで詰め込める。1974 年に生まれたあの白黒の縞は 50 年持った。（109 点）
City 2026、Opus 5.5 で作った SimCity 2000 ローポリ調で、開けばすぐ遊べる。Show HN ではこうした「モデルが作った完成品のゲーム」が増え続けており、評価の基準も「作れるか」から「面白いか」へ移りつつある。（37 点）