本文へ移動
LIFEMAKERS.COM — 自給率を上げる。自立型ライフの実践知メディア
Aboutベータ版
LifeMakers
観測テクノロジーと道具FUTURE LIFE BRIEF

📋 Daily Intel 11/4｜Anthropic の FlashProve、AI の答えの出どころを証明｜横浜市の電子申請に不正アクセス／選ぶだけの小さな AI／冬の電気と道具

Anthropic は日本時間11月4日朝の投稿で、AI の答えが本当に特定のモデルから出たものかを、暗号の技術で確かめられる仕組み「FlashProve」を公表し、コードを公開した。モデルの重みそのものは見せずに、答えごとに「この重みから出た」という証明を付け、誰でもそれを検証できる。

16分LifeMakers 編集デスク
Anthropic の FlashProve、AI の答えの出どころを証明｜横浜市の電子申請に不正アクセス／選ぶだけの小さな AI／冬の電気と道具

この記事でわかること

  • 漏えいと不正アクセス
  • 選ぶだけの小さな AI
  • 冬の電気と道具

🎯 今日の主役

Anthropic は日本時間11月4日朝の投稿で、AI の答えが本当に特定のモデルから出たものかを、暗号の技術で確かめられる仕組み「FlashProve」を公表し、コードを公開した。モデルの重みそのものは見せずに、答えごとに「この重みから出た」という証明を付け、誰でもそれを検証できる。

同社の技術報告によると、証明の対象は Anthropic 自身の Claude ではなく、公開されている Meta の Llama 4 Maverick だ。1回に扱える長さは1,024トークンまでで、証明を作る計算は通常の動かし方より GPU の時間で約70〜95倍かかる。同社は使い道として、会話の乗っ取りを難しくすることや、安全性を試す第三者が「試したモデルと利用者に出しているモデルが同じか」を確かめることを挙げた。日々のチャットの1回ごとに証明が付く段階にはまだない。

同じ日、AI を守る側の動きも重なった。The Decoder によると、OpenAI は ChatGPT や Codex などの脆弱性の報奨金を引き上げ、特典を合わせて最大約17万2,000ドルを払うようにした。OpenAI は、セキュリティ企業 Cathedral の研究者が自社のモデルを使って同社の守りを試す社内の取り組みも予告している。Anthropic は Claude Code で、AI で作ったゲームの模倣品が相次いだことを受けて、ゲームの複製への対策に乗り出したと The Decoder は伝えた。

AI に家計の計算や調べものを任せるほど、「どのモデルが答えたか」「その道具は誰の作ったものを写していないか」を、仕組みで確かめる場面が増えていく。いま自分が使っている AI の答えを信じている根拠は、画面の名前だけになっていないだろうか。次は、Anthropic の GitHub で公開された FlashProve が、より長い会話やほかのモデルにどこまで広がるかを見たい。

🧭 今日の焦点

漏えいと不正アクセス: 横浜市は11月3日、市の電子申請・届出システムが使うメール送信サービスに第三者の不正アクセスがあり、利用者のメールアドレスや利用者名などが漏えいした可能性があると発表した。システムは TKC が受託し、メール送信はアララが担う。利用者登録は約82万件（個人と事業者のアカウント数・11月2日時点）で、漏えいの件数や市の利用者情報への影響は確認中だ。メール送信を止めているため、二要素認証のメールが届かずログインできず、ログインが要らない手続きは使える。11月2日に北陸電力が公表した流出と同じアララの配信サービスへの不正アクセスが、自治体の窓口の外の手続きにも届いた形だ。同じ夜、オンラインゲームのハンゲも、サーバーに不正アクセスがあった可能性を確認し、11月3日23時10分ごろから緊急メンテナンスに入った。役所や会員サービスを名乗るメールが届いたとき、リンクを押さずに公式サイトから確かめる段取りを、家族で決めてあるだろうか。

選ぶだけの小さな AI: インドの Sarvam は、文章を書かずに「はい・いいえ」や「どれを選ぶか」の確率だけを返す判断専用のモデル「Sarvam Prism」を公開した。同社の大規模モデル Sarvam 105B をもとにし、3つの判断の指標の平均で71.8、答えの中央値は44ミリ秒だという。同じ日、テトリスの置き場所を Android の端末1台の上で0.2〜1秒で選ぶ「Laya」や、CPU の上で約6ミリ秒で判断する1,700万パラメータの個人の実装も紹介された。GLM-5.3 を化学や材料、生命科学向けに鍛え直した Deep Principle の「Hydrogen-1.0」も、MIT ライセンスで重みが公開された。こうした小さな判断の AI は、迷惑メールの仕分けや通知の振り分けのような手元の用事に向く一方で、理由を文章で説明してはくれない。手元の端末に即決だけを任せるとしたら、何なら任せられるだろう。

冬の電気と道具: IEA（国際エネルギー機関）は、電池の価格が2025年に平均8%下がり、中国の電池パックは米国より30%、欧州より35%安かったと示した。家庭用の蓄電池やポータブル電源の値札にも、この地域の差は効いてくる。暖房の季節に入り、Engadget は電源タップを数珠つなぎにしてはいけない理由を、BE-PAL は電気毛布をワット数で選ぶ見方を取り上げた。エレコムは電池もバッテリーも使わない小型のエアポンプを出し、膨らませるのと空気を抜くのの両方に使える（CAMP HACK）。寒い夜に家で同時に使う暖房の電気を、どのコンセントからどれだけ取っているか、数えたことはあるだろうか。

📊 数値スナップショット

  • BTC $77,946 +1.28%｜ETH $2,298.01 +1.79%｜ADA $0.19121 +0.93%（11/4 06:35 時点・Hyperliquid の先物の価格・24時間比）
  • WTI 連動先物 $96.739 +0.40%｜BVIV 41.165 -0.41%（同時点）
  • 背景: 暗号資産は小幅に持ち直し、国内では委託先の配信サービスを起点にした不正アクセスの公表が自治体にも及んだ
  • AI agent 普及フェーズ密度: AI の答えの出どころを証明する仕組みと、守りへの報奨金の引き上げが同じ日に並び、「任せる」から「確かめて任せる」へ道具がそろい始めた段階

⚡ 先行指標 Watch（48-72h）

【1】FlashProve の公開コードで、対象のモデルや扱える長さがどこまで広がるか
【2】横浜市が、漏えいの件数と利用者情報への影響を市のウェブサイトで続報するか
【3】ハンゲの緊急メンテナンスの終わりと、不正アクセスの範囲の公表
【4】Agility Robotics の AGLT としての取引開始（11月5日予定）と、家庭や職場向けの人型ロボットの次の発表
【5】Rocket Lab の火星探査機 ESCAPADE の火星へ向かう軌道への投入

🔄 48-72h 分岐（観察軸）

  • Base: 委託先の配信サービスを起点にした漏えいの公表が、自治体と企業で少しずつ続き、利用者への注意の呼びかけが中心になる
  • Risk: 漏れたメールアドレスを使い、役所や会員サービスを名乗る偽メールの被害が伝えられ、家庭で確かめる手間が一気に増える
  • Alt: AI の答えを証明する仕組みや脆弱性の報奨金の引き上げがほかの会社にも広がり、AI を選ぶときに「確かめられるか」が比べる軸になる

📎 直近24時間の動き

重要な動き

▫ その他の動き

・Anthropic が、AI で作ったゲームの模倣品が相次いだことを受け、Claude Code でのゲームの複製への対策を取った（The Decoder） https://the-decoder.com/anthropic-cracks-down-on-game-cloning-in-claude-code-after-wave-of-ai-built-knockoffs/
・Anthropic の Message Threads は、長い会話で最初の文字が出るまでの時間を35%縮めたと The Decoder が伝えた https://the-decoder.com/anthropics-message-threads-cut-time-to-first-token-by-35-percent-for-long-conversations/
・SETI のアレン・テレスコープ・アレイで、地球外の知性の信号を探す作業を AI エージェントが担い始めた（The Decoder） https://the-decoder.com/ai-agents-take-over-at-setis-allen-telescope-array-scanning-for-extraterrestrial-intelligence/
・LLM の開発の速さに、それを説明するための研究が追いついていないとする研究を The Decoder が伝えた https://the-decoder.com/rapid-llm-development-is-outrunning-the-research-meant-to-explain-it-study-finds/
・判断専用のモデル「Laya」が、テトリスの5つの置き場所から1つを Android の端末1台の上で0.2〜1秒で選ぶ様子が紹介された https://x.com/VRCI_Global/status/2117664268464074946
・1,700万パラメータの判断専用のモデルを CPU の上で約6ミリ秒で動かす個人の実装が、コードとともに公開された https://x.com/sahilsapage/status/2117674739372286393
・人型ロボットの Agility Robotics と特別買収目的会社 Churchill Capital Corp XI の合併が株主に承認され、11月5日からナスダックで AGLT として取引される予定 https://x.com/agilityrobotics/status/2117385924820775003
・Waymo が、2027年から日本で試験を始めるトヨタの bZ4X の自動運転車両の姿を公開した https://x.com/Waymo/status/2117421503956332857
・国際宇宙ステーションに最初の長期滞在の乗組員が着いてから26年になり、人が地球を回り続ける日々が続いている（NASA 長官） https://x.com/NASAAdmin/status/2117320385792475643
・Rocket Lab が、NASA の火星探査 ESCAPADE の探査機2機を、4日後に火星へ向かう軌道に乗せると告知した https://x.com/RocketLab/status/2117448175271501907
・IEA によると、送電網への接続の遅れを避けるため、データセンターの開発で敷地内のガス発電を使う計画が進んでいる https://x.com/IEA/status/2117689783560360243
・IEA が、農村の仕事にもつながるバイオガスとバイオメタンの可能性を世界の地図で見られるようにした https://x.com/IEA/status/2117596422170128826
・電源タップを数珠つなぎにしてはいけない理由を Engadget がまとめた https://www.engadget.com/2300370/why-important-never-plug-power-strip-each-other/
・電気毛布をワット数で選ぶ見方を BE-PAL が紹介した https://www.bepal.net/archives/731512
・手のひらに乗る大きさのガスヒーターなど、一人分を温める防寒の道具を CAMP HACK がまとめた https://camphack.nap-camp.com/14187
・エレコムの新しいエアポンプは電池もバッテリーも使わず、膨らませるのと空気を抜くのの両方に使える（CAMP HACK） https://x.com/camp_hack/status/2117376277615439881
・米ワイオミング州で、後ろの斜路を倒すとテラスになる14フィートの貨物トレーラーの家が、跳ね上げ式のベッドとシャワー、オフグリッドの電源付きで4万2,900ドル（Tiny House Talk） https://x.com/TinyHouseTalk/status/2117383175341015206
・区画と車寄せが1軒ずつ付くパークモデルの家で、借金なしで引退した夫婦の暮らしが紹介された（Tiny House Talk） https://x.com/TinyHouseTalk/status/2117413376171114817
・ポーランドのトレーラーハウス「Tommy」は、食卓の代わりに窓辺へ木のバーカウンターを渡し、食べ終えたらそのまま仕事机にする（YADOKARI） https://x.com/yadokari_mobi/status/2117515880490062073
・ミレーの韓国企画のダウン「PERTEX Cité Down」が、渋谷店で限定販売される（GO OUT） https://x.com/GOOUTmagazine/status/2117572762768494831
・Evernote の大幅な値上げの裏で、200回を超える実験で料金や機能が調整されていたと GIGAZINE が伝えた https://gigazine.net/news/20261103-evernote-pricing-experiments/

一次ソース:

あなたの暮らしで、最初に試せることは何でしょうか。

OpenAI の LifeVal、保育探しや役所の手続きで AI を測る｜7,700万件の流出と偽メール／給付と防災の手続き／冬前の道具と家

Daily Intelテクノロジーと道具

📋 Daily Intel 11/3｜OpenAI の LifeVal、保育探しや役所の手続きで AI を測る｜7,700万件の流出と偽メール／給付と防災の手続き／冬前の道具と家

OpenAI は日本時間11月3日未明、AI が暮らしの用事をどこまでこなせるかを測る物差し「LifeVal」を公表した。ChatGPT の利用者数千人に「個人の助手にいちばん手伝ってほしいこと」を聞き、保育先探しや行政サービスの手続き、家計の管理といった日常の用事を課題にした。

自分専用の道具を AI と2時間で作る週末｜漏えいの確定値／仕事を AI に任せる境界／家の電源と小さな家

Daily Intelテクノロジーと道具

📋 Daily Intel 11/2｜自分専用の道具を AI と2時間で作る週末｜漏えいの確定値／仕事を AI に任せる境界／家の電源と小さな家

AI 研究者の Andrej Karpathy が日本時間11月2日未明、週末の工作として「HackerTube」を公開した。YouTube のおすすめに不満を持ち、Hacker News に20年分たまった4,300万件のコメントを Claude に読ませて、繰り返し薦められてきた6,454本の動画の一覧に絞り込んだ。

AI が長い仕事を引き受け始めた、Gemini 4 Carbon と審査の時短｜漏えいの続報／冬の足元と電源／小さな家と種の守り

Daily Intelテクノロジーと道具

📋 Daily Intel 11/1｜AI が長い仕事を引き受け始めた、Gemini 4 Carbon と審査の時短｜漏えいの続報／冬の足元と電源／小さな家と種の守り

AI が、時間のかかる仕事を丸ごと引き受ける側へ近づいている。Google DeepMind は日本時間10月30日、次の最先端のモデル「Gemini 4 Carbon」を発表し、サイバーセキュリティと長い時間のかかる作業で最高水準だとした。