🎯 今日の主役
同じ24時間に、電気と住まいを系統から少し外す製品の話が二つ並んだ。EcoFlow がベルリンの IFA2026 で新しいポータブル電源 PowerRock を発表した。高出力で、防塵・防水に対応するという。もう一つは BOXABL で、工場でつくる住宅の設置可否について、州ごとの認証状況を公開した。テキサス、カリフォルニアの2寝室仕様、カリフォルニアの商用ライセンス。住所ごとに可否が変わるので個別に確認する、という前提も添えられている。
一方は電源、もう一方は建物で、業種としては別物だ。ただ、どちらも「その場に届いた時点で使える状態にしておく」という同じ考え方でできている。系統に接続する工事を待たなくていい電源と、建築確認の行列に並ぶ順番が少し違う住宅。両方とも、インフラの側が自分に合わせてくれるのを待たない設計になっている。
日本では、もう少し大きな単位で同じことが動いている。大東建託は千葉市で、脱炭素先行地域としては国内初となる民間主導のマイクログリッドを進めている。330戸を超える ZEH 仕様の賃貸住宅に合計約1.8メガワットの太陽光を載せ、約7メガワット時の蓄電池とエネルギー管理システムでつないで、住戸のあいだで電気を融通する。本格運用は2029年3月の予定だ。個人が買う機械と、街区ごと設計するインフラが、同じ方向を向いている。
48〜72時間で見るのは、この手の製品が「非常用」の棚から「常用」の棚へ移るかどうかだ。防災グッズとして買うものと、毎日の電気代の一部を置き換えるものでは、選ぶ基準が変わる。あなたの家の電気は、いま何割が自分の管理下にあるだろうか。
🧭 今日の焦点 3 件
AIの測り方: Artificial Analysis が Intelligence Index を v4.3 に更新した。コマンドライン環境での作業を測るベンチマークを4.0へ上げ、AutomationBench-AA という新しい指標を追加している。これは業務の流れをエージェントに自動化させる能力を測るもので、テストセットは非公開だという。非公開にする理由ははっきりしていて、公開された問題は学習データに混ざるからだ。測る対象が「どれだけ賢いか」から「どれだけ任せて放っておけるか」へ移り、そのうえで採点者が答案を隠し始めた。
手元で動くAI: 同じ Artificial Analysis の集計で、OpenBMB の MiniCPM5-2B が総パラメータ4B未満のオープンウェイトモデルとして最高の15点を記録した。数字そのものより、この規模がどこで動くかのほうが重要になる。総パラメータ4B未満は、ノートパソコンや手元の端末で動かせる範囲だ。クラウドに預けないと使えなかった能力が、少しずつ手元に降りてきている。
数学の検算: Anthropic が、フェルマーの最終定理の証明を Lean で形式化し、機械が1行ずつ検証できる形にしたと発表した。生成されたコードは1300万行を超え、期間は11日だったという。ここは正確に書いておきたい。定理そのものは1994年にワイルズが証明済みで、今回のものは「新しく解いた」のではなく「証明を機械が検算できる形に書き直した」ものだ。人が数年かけて計画した作業を、並列に動く多数のエージェントが11日で埋めた。
📊 数値スナップショット
BTC $79,785 ±0.00%｜ETH $2,498.18 +0.77%｜ADA $0.220559 +0.46%｜NIGHT $0.02357412 +5.28%（9月7日時点・24時間変化）
WTI $91.48 ±0.00%（9月6日時点）｜VIX 14.53 +1.47%（9月4日時点）
背景: 市場は動いていない。動いているのは為替と、家庭に入る機械の側である。
AIエージェント普及フェーズ密度: 評価指標そのものが「作業の自動化」を測る側へ移った週。ベンチマークが変わるときは、たいてい実運用のほうが先に変わっている。
⚡ 先行指標 Watch（48-72h）
【1】IFA2026 で並ぶポータブル電源の価格帯。展示のスペックより、実際にいくらで出るかで「非常用」か「常用」かが決まる。同じ容量帯で前年より安くなっているかを見る。
【2】工場生産住宅の州別認証が増えるか。BOXABL が公開したのはテキサスとカリフォルニアだった。認証が増えるほど、住所によって選択肢が変わる状態は薄れていく。
【3】AutomationBench-AA に載るモデルの顔ぶれ。非公開テストセットの指標で上位に来るモデルが、公開ベンチの上位と一致するかどうか。ずれるなら、これまで見ていた順位は少し違う能力を測っていたことになる。
【4】4B未満のオープンウェイトモデルの更新頻度。手元で動く規模の性能が上がるほど、クラウドに預ける必要のある作業の範囲は狭くなる。
【5】日本のZEH基準の次の段階。蓄電池とエネルギー管理を必須にする方向の議論が続いており、住宅を買うタイミングと基準の切り替わりが重なる人が出てくる。
🔄 48-72h 分岐（観察軸）
分岐A（基準）: ポータブル電源と工場生産住宅はそれぞれの市場で伸びるが、まだ別々の買い物のままである。エネルギーの自給は「そのうち」の話で、個人の生活の順序は変わらない。
分岐B（リスク）: 電気代か燃料価格が跳ねて、機械を買う判断が「備え」ではなく「損得」に変わる。この場合、選ばれるのは性能が高いものではなく、回収年数が短いものになる。判断が速くなるほど、選択の質は落ちやすい。
分岐C（別軸）: AI側が先に生活に入る。手元で動くモデルと、作業を任せる評価指標がそろうと、時間の使い方のほうが先に変わる。エネルギーの自給より、判断の外部化のほうが早く日常に届く可能性がある。
📎 直近24時間の動き
重要な動き
- EcoFlow が IFA2026 で新しいポータブル電源 PowerRock を発表した。高出力で防塵・防水に対応するとしている。
https://x.com/EcoFlowTech/status/2096976801541030089 - BOXABL が、工場生産住宅の設置可否について州ごとの認証状況を公開した。テキサス、カリフォルニアの2寝室仕様、カリフォルニアの商用ライセンスが挙げられている。住所ごとに個別確認が必要としている。
https://x.com/BOXABL/status/2096990458685640805 - Artificial Analysis が Intelligence Index を v4.3 に更新した。コマンドライン環境での作業を測るベンチマークを4.0へ上げ、非公開テストセットを持つエージェント型ワークフロー自動化の指標 AutomationBench-AA を追加した。
https://x.com/ArtificialAnlys/status/2097025638695940590 - OpenBMB の MiniCPM5-2B が、総パラメータ4B未満のオープンウェイトモデルとして Artificial Analysis Intelligence Index v4.2 で最高の15点を記録した。
https://x.com/ArtificialAnlys/status/2096955784592797998 - Anthropic が、フェルマーの最終定理の証明を Lean で形式化したと発表した。1300万行を超えるコードを11日で生成し、機械が1行ずつ検証できる形にしたとされる。定理そのものは1994年に証明済みで、今回は検証可能な形への書き直しにあたる。
https://decrypt.co/377491/ai-solved-350-year-old-math-problem - Rocket Lab が、Synspective 向けに11回目の Electron を打ち上げたと明らかにした。2020年から同社の単独の打ち上げ事業者を務めているという。
https://x.com/RocketLab/status/2096792784921636919
▫ その他の動き
・OpenAI が「自動リサーチインターン」の目標を達成したとする発言が話題になり、開発者コミュニティが反応した https://x.com/scaling01/status/2096722230398824908
・日本では、蓄電池とエネルギー管理、EV・V2H の要件を組み込んだ次世代のZEH基準について、義務化の時期をめぐる議論が続いている https://www.enegaeru.com/gx-zeh-2027-gimuka-guide
・Starlink は日本で個人向けの月額4,900円からのプランが提供されており、携帯各社経由の衛星通信サービスも広がっている https://bloomeria.jp/blog/starlink-japan-guide
🗂 継続確認
・大東建託のマイクログリッド事業は8月24日付のニュースリリースに基づく。設備容量と本格運用時期は同リリースの記載で、稼働後の実績値は出ていない。
・Anthropic の形式化について、報道側の見出しには「350年前の問題を解いた」とするものがある。定理はすでに証明済みであり、今回の成果は形式化・機械検証である点を分けて扱っている。Lean のコード本体と第三者による検証の状況は確認していない。
・EcoFlow PowerRock の価格・容量・発売時期は発表時点では確認していない。展示会の告知に基づく。
一次ソース / 関連リンク:
- 大東建託 脱炭素先行地域で国内初となる民間主導のマイクログリッドを実装へ
https://www.kentaku.co.jp/news/release/2026/release_microgrid_20260824.html - Fermat's Last Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan
https://www.techtimes.com/articles/326745/20260905/fermats-last-theorem-machine-checked-claude-completes-11-days-what-took-years-plan.htm
