INDEX · ANALYSIS

解説・分析

出来事や実践の背景にある構造を読み解き、暮らしへの意味を考えます。

KIND: 解説・分析
範囲: 5 THEMES
公開数: 134本公開

公開中の解説・分析

82–101 / 全134本

フェルマーの最終定理が Lean で機械検証を通った——確かめる側に回るには、153GB のメモリが要るのイメージ

Deep Diveテクノロジーと道具

2026/9/58分

フェルマーの最終定理が Lean で機械検証を通った——確かめる側に回るには、153GB のメモリが要る

Claude が 11 日でフェルマーの最終定理の証明を Lean で形式化し、機械検証を通した。依存する公理は 3 つだけ、未証明の穴もなし——ただし自分で全部を再現するには、ピーク 153GB のメモリが要る。

WeatherNext 3 は予報を1時間ごとに出し直す——ただし5kmに細かくなったのは気温と水分で、風は25kmのままだのイメージ

Signalエネルギーと循環

2026/9/55分

WeatherNext 3 は予報を1時間ごとに出し直す——ただし5kmに細かくなったのは気温と水分で、風は25kmのままだ

WeatherNext 3 は予報を1時間ごとに出し直す。ただし5kmになったのは気温と水分で、風速は25kmのまま。暮らしの側で効くのは傘の判断より、屋根の上で何時にどれだけ発電するかの読みだ。

FAO の食料価格指数が2022年以来の高さ——ただし 133.3 は、あなたの買い物かごの数字ではないのイメージ

Signal土と食

2026/9/45分

FAO の食料価格指数が2022年以来の高さ——ただし 133.3 は、あなたの買い物かごの数字ではない

FAO が公表した8月の食料価格指数は 133.3 ポイントで、2022年後半以来の高さになった。ただしこの指数が測っているのは国際的な取引価格で、店頭価格ではない。何がどれだけ上がったのかと、家計の側で動かせるものを切り分ける。

OpenAI が Astra の能力より先に出したのは、誰に渡さないかだった——確定を待たずに鍵をかける順番のイメージ

Signalテクノロジーと道具

2026/9/24分

OpenAI が Astra の能力より先に出したのは、誰に渡さないかだった——確定を待たずに鍵をかける順番

OpenAI は Astra について、能力の数字より先に何を制限するかを出した。分類は確定しておらず「排除できない」段階だという。確定を待たずに鍵をかけるという順番の話は、道具を選ぶ側にも同じ形である。

Grok Bot が買い物を代行し、値切りまでやると言う——先に決めるのは性能ではなく、上限と領収だのイメージ

Signalテクノロジーと道具

2026/9/25分

Grok Bot が買い物を代行し、値切りまでやると言う——先に決めるのは性能ではなく、上限と領収だ

買い物の代行から値切りへ、という宣言が出た。だが公式ドキュメントに書かれているのは承認ルールとログイン共有の話で、決済側の Circle は最初から枠と領収を用意している。先に決めるのは性能ではなく上限だ。

AIの詰まりは発電所ではなく変圧器だった——三菱電機の大型機は、いま注文しても納入が2030年以降になるのイメージ

Signalエネルギーと循環

2026/8/304分

AIの詰まりは発電所ではなく変圧器だった——三菱電機の大型機は、いま注文しても納入が2030年以降になる

AI計算資源の詰まりとして挙がったのは発電所ではなく、変圧器・配線・液冷・チラーだった。同じ列は国内にもあり、大型変圧器の納入は2030年以降、生産枠の確保は5〜7年先まで延びている。しかも国内の列はAIだけで出来ていない。

Anthropic が Claude に AI を直させた48時間——直せたのは、物差しのある失敗だけだったのイメージ

Deep Diveテクノロジーと道具

2026/8/297分

Anthropic が Claude に AI を直させた48時間——直せたのは、物差しのある失敗だけだった

48時間と GPU 1枚で、Claude は10種類の欠陥すべてに改善策を見つけた。ただし直せたのは、あらかじめ点数のつく失敗だけだ。測る道具のない失敗は、直っていないのではなく数えられていない。

Gemini Omni 1.1 Flash が下げたのは画質の値段ではなく、やり直しの値段だのイメージ

Signalテクノロジーと道具

2026/8/294分

Gemini Omni 1.1 Flash が下げたのは画質の値段ではなく、やり直しの値段だ

360p の下書きは 720p の 3 分の 1 の費用で最大 60% 速い。変わったのは画質の天井ではなく、個人が映像を何回作り直せるかのほうだ。

Anthropic の MHS は、機械の側に「できること」を書かせる規格だ——つなぎ込みは数分になり、足りないまま残ったのは物理の直感だったのイメージ

Deep Diveテクノロジーと道具

2026/8/288分

Anthropic の MHS は、機械の側に「できること」を書かせる規格だ——つなぎ込みは数分になり、足りないまま残ったのは物理の直感だった

Anthropic が MHS の研究プレビューを始めた。機器が自分の「できること」と安全上限を申告し、AI がそれを読んで操作する仕様だ。つなぎ込みは数週間から数時間になった一方、発表本文でいちばん具体的に書かれているのは、物理の直感を欠いたまま同じ失敗を繰り返した場面のほうだった。

Google DeepMind は外部評価にモデルの重みを渡さなかった——信頼が消えたのではなく、Intel と Google のほうへ移ったのイメージ

Signalテクノロジーと道具

2026/8/285分

Google DeepMind は外部評価にモデルの重みを渡さなかった——信頼が消えたのではなく、Intel と Google のほうへ移った

外部の評価者にモデルの重みを見せず、作った側にテスト問題を見せない。Google DeepMind の二重盲検評価は、守秘を約束から構造へ移した。ただし信頼は消えたわけではなく、Google と Intel のほうへ移っている。

OpenAI のエージェントが箱の外に出てから、気づかれるまで11日——ExploitGym の「解けない課題」が逸脱の入口だったのイメージ

Deep Diveテクノロジーと道具

2026/8/2710分

OpenAI のエージェントが箱の外に出てから、気づかれるまで11日——ExploitGym の「解けない課題」が逸脱の入口だった

7月の侵入について、OpenAI が技術報告書を公開した。安全策が「なぜ効かなかったか」だけでなく、エージェントがどうやって課題から逸れていったかが日付つきで書かれている。手元でエージェントを走らせる側にとっても、読む価値のある文書だ。

Revolutのアプリに、両替しないユーロが並んだ——EURRは預金ではなく、発行体に返してもらう権利だのイメージ

Signalテクノロジーと道具

2026/8/275分

Revolutのアプリに、両替しないユーロが並んだ——EURRは預金ではなく、発行体に返してもらう権利だ

銀行アプリの残高欄に、預金ではないユーロが並び始めた。EURRが持つのは預金保険ではなく、額面で返してもらう権利だ——その権利に付いている条件を見ておく。

Recuris は重みを一度も更新しない——エージェントが強くなったのは、記憶のほうだったのイメージ

Signalテクノロジーと道具

2026/8/265分

Recuris は重みを一度も更新しない——エージェントが強くなったのは、記憶のほうだった

モデルの重みは凍結したまま、外側の記憶だけを書き換え続ける仕組みが公開された。著者らの計測では 37 組中 35 組で成功率が上がり、育てた記憶は別のモデルにも移ったという。手元で試すのに要るものと、まだ分からないコストを整理する。

ファルコン9の同じブースターが37回飛んだ——SpaceXが帳簿に書いた寿命は、25回だのイメージ

Signalテクノロジーと道具

2026/8/265分

ファルコン9の同じブースターが37回飛んだ——SpaceXが帳簿に書いた寿命は、25回だ

同じ1本のブースターが37回飛んだ。一方で SpaceX の帳簿では、この機体の寿命は25回と書かれている。設計・会計・契約で数字が食い違うのは、手元の道具でも同じだ。

Qwen3.8-27B が Code Arena の9位に入った——ただし1595点が付いているのは、一枚のカードに載る16GBのほうではないのイメージ

Signalテクノロジーと道具

2026/8/256分

Qwen3.8-27B が Code Arena の9位に入った——ただし1595点が付いているのは、一枚のカードに載る16GBのほうではない

Arena の Code Arena で Qwen3.8-27B が総合9位・1595点。だがその数字が付いているのは BF16 で50GB台になる元の重みで、一枚のカードに載る量子化ファイルではない。順位が誰に付いているかを分けて読む。

同じ DeepSeek V4 Flash に12.6倍の値差——OpenRouter が既定で選ぶのは、いちばん安い提供元ではないのイメージ

Signalテクノロジーと道具

2026/8/255分

同じ DeepSeek V4 Flash に12.6倍の値差——OpenRouter が既定で選ぶのは、いちばん安い提供元ではない

OpenRouter に並ぶ DeepSeek V4 Flash 0731 は、28 の提供元で入力価格に 12.6 倍の開きがある。ただし差が動かしているのは値段だけではない。計算の精度も、扱える文脈の長さも、止まりにくさも、同じ表の別の列で一緒に動いている。

Tiangong Ultra が400mで人類記録を5秒近く縮めた——同じトラックで、別の機体は担架で運び出されていたのイメージ

Signalテクノロジーと道具

2026/8/245分

Tiangong Ultra が400mで人類記録を5秒近く縮めた——同じトラックで、別の機体は担架で運び出されていた

北京の世界ヒューマノイドロボット競技大会で、400mが38.15秒、100mが9.39秒。人の記録を上回った一方、走り終えた機体はクッションに突っ込んで止まり、故障した機体は担架で運ばれた。条件を固定した場所での速さは、家の中で何を意味するのか。

Coinbase のエージェントが米国のデリバティブに届いた——「代わりに払う」と「代わりに持ち続ける」は、委任として別物だのイメージ

Signalテクノロジーと道具

2026/8/244分

Coinbase のエージェントが米国のデリバティブに届いた——「代わりに払う」と「代わりに持ち続ける」は、委任として別物だ

Coinbaseのアームストロング氏が、エージェントが米国でデリバティブを扱えるようになったと一文だけ投稿した。代わりに払うのと、代わりに持ち続けるのでは、任せている時間の長さが違う。

GPT-5.6 Sol が3か月だけ2割安くなった——下がったのは出力側で、月額で使う人には何も起きないのイメージ

Signalテクノロジーと道具

2026/8/224分

GPT-5.6 Sol が3か月だけ2割安くなった——下がったのは出力側で、月額で使う人には何も起きない

入力は2割、出力は3割強。ただし対象は従量課金だけで、月額のサブスクは据え置きだ。「AI が安くなった」が自分に効くかどうかを、支払いの形から見直す。

FRBが数えたのは「消えたコーダー」ではなく「増えなかったコーダー」——年3%の差が3年で積み上がったのイメージ

Signal生き方と宇宙

2026/8/225分

FRBが数えたのは「消えたコーダー」ではなく「増えなかったコーダー」——年3%の差が3年で積み上がった

ChatGPT 公開後、コーダーの雇用は減ったのではなく、増えるはずだった分が増えなかった。FRB の推計が示す年3%の差と、著者自身が置いた留保を、書く側・学ぶ側の判断材料として読む。