グーテンベルク・ラボ — 朝刊

AIが数学の未解決問題を解き、数学者の仕事が「証明」から「理解」へ移る

出演: Lisha Li（a16z インフラストラクチャー・パートナー、元数学者）× Mehtaub Swanee（OpenAI 数学者、元組合せ論研究者）× Mark Selke（OpenAI 数学者、2025年夏のIMO金メダル結果を見て入社）

結論

AI推論モデルは、人間が数十年試して諦めた球充填・符号理論・群論の未解決問題を実際に証明し始めており、数学の実践は「証明すること」から「理解し・吸収し・他者へ伝えること」へ重心を移しつつあります。

3行サマリー

• OpenAIの推論モデルAstraが、五十年間改善されなかった球充填問題の上界（2の-0.599乗d）を厳密な漸近形 d/(2πe)^d へ更新し、十五ページで非SOFIC群の存在を証明するなど、人間が放棄した経路を完遂している
• 人間は数時間・数日試して見込みが薄いと判断した経路を諦めるが、AIは心理的コストなく実行し続け、また「汚染された文脈窓」（失敗と結びついた記憶）を持たないため、同じアイデアを新鮮な状態で再試行できる
• 証明がボトルネックでなくなると、理解・内在化・説明・人類の知識体系への位置づけといった暗黙の機能が明示的で主要な仕事になり、数学界は「共同体的理解」を価値の中心に据え直す必要がある

注目ポイント3つ

1. GPT-5が五分で解いた文献検索問題: Mehtaubと友人が数時間かけても分からなかったErdős問題（まだ未解決か）の文献をGPT-5が五分で発見。その後十件の同様のケースで開放状態を解決した。Mark は「アイデアを実行に移すこと自体が戦いの大部分」と指摘——人間は数ヶ月試して諦めた経路を、数年後に他者が成功させたと知る。モデルは「正しい賭け」をした

2. 球充填問題の五十年ぶりの進展: 球充填密度の上界は一九七〇年代のロシア人数学者の二ページ論文（2の-0.599乗d）が五十年間最良だった。Astraは線形計画法の限界が厳密に d/(2πe)^d + o(1)^d であることを証明——数値計算で予想されていた形を理論的に確立し、「高次元でこの問題を非常によく理解できるようになった」。Markは大学院生時代に六ヶ月取り組んで「絶対的にゼロの進展」だった問題で、解答は「数ページの複素解析」だった

3. AIの証明は短く優雅: 「一年前なら、AIの証明がすべて短く優雅だと知って非常に驚いただろう。千ページの理解不能なものを生成するのではと恐れていたが、正反対だった。今のところ二百ページの証明を生成できるのは人間だけだ」。非SOFIC群の存在証明は十五ページ（関連するAldous-Lyons予想の反証は二百五十ページ＋二百ページの背景知識を要した）

一言の見立て

数学の証明が「やればできる作業」になると、数学者の希少性は理解と判断力へ移ります。これはプラットフォーム転換期の典型的なパターンです——実装の摩擦が消えると、何を作るかを決める判断が希少資源になる。数学界が「共同体的理解を明示的で価値ある部分にする」と語るのは、App Store経済圏で開発者が「作れること」から「作るべきものを見抜くこと」へ価値を移したのと同じ構造です。ただし数学には天井があり、P対NP問題のような「指数関数的に賢くなっても解けない謎」が残る——その謎への執着が、ルーチン化した小さな謎に代わって分野の中心になるかもしれません。

出典: a16z Podcast「OpenAI Researchers on the Future of Mathematical Reasoning」（2026年9月8日）

https://a16z.simplecast.com/episodes/openai-researchers-on-the-future-of-mathematical-reasoning-Jn50EkyR

読み上げ出典: エー・シックスティーン・ズィー・ポッドキャスト『オープンエーアイ・リサーチャーズ・オン・ザ・フューチャー・オブ・マセマティカル・リーズニング』（2026年9月8日）。ゲストはメタウブ・スワニーさんとマーク・セルキさん

• --

大学は若者の異端性を殺している——Replit創業者が語る、探索の自由と早すぎる起業の間

出演

ホスト（a16z Podcast）× Amjad Masad（Replit創業者・CEO）× Gagan Biyani（Horowitz and Andreessen Academy共同創業者・CEO）

結論

若者の価値は既存の前提を疑う異端性にあるが、現代の大学はそれを潰し、一方でVCは18歳に百万ドルを渡して十年のコミットメントを強いる——その中間に、成績も出席も求めず二年間探索できる環境が必要だ。

3行サマリー

• Replit創業者Masadは「若者の文明的価値は深く信じられた前提を疑うこと」と主張し、現代の大学が「外部の思考を叩き出す」と批判した
• Horowitz and Andreessen AcademyのBiyaniは、硬直した四年制大学と早すぎる起業資金調達の「不公平な選択」を指摘し、成績も試験もない二年間の探索環境を提案
• Masadは「過去のやり方を学ぶことが根本的な不利を生む」と警告——AIがエージェントとして組織の接着剤になり、「自律走行する会社」が実現する未来を語った

注目ポイント3つ

1. 早すぎる最適化は諸悪の根源: Masadは「スタンフォードの学生にアイデアの前に百万ドルを渡すVC」を音楽業界の略奪的契約に例えた。正しいアイデアは「重力があって避けられない」——自分はReplitを「積極的に始めないようにした」が「勝手にスタートアップへ爆発した」と語る。投資家トラックは「ごく少数の十代だけが使うべき」で、大半は二年間の探索期間が要る [00:17:31]

2. AIで「自律走行する会社」が実現する: Masadは過去のHolacracy（階層なし組織）やGitHubの管理職廃止実験が「技術の限界で失敗した」と分析。今は「エージェントが接着剤として機能し、官僚制を機械が見えないところで処理できる」——人間は真の自律性を得て、AIが影響を判定する。既にReplitの運営を変えたと明かした [00:24:40]

3. 信頼がシリコンバレーの構造的優位: Biyaniが地域政治のボランティアで学んだのは、非営利セクターの口頭約束（五万ドル）の履行率が二割から五割なのに対し、シリコンバレーは七割五分から十割——「小切手が届くまでに六週間の進捗を作れる」。この信頼基盤を学生にも適用すべきと主張 [00:29:47]

一言の見立て

大学批判と起業礼賛の二項対立を超えて、「探索の猶予」という第三の道を示した点が本質です。Masadの「無駄な回り道こそ最も有用」という主張は、ジョブズのカリグラフィー授業（後のMacフォント）を引きながら、短期的な効用を測れない学びの価値を守ろうとしています。一方で「過去のやり方を学ぶことが不利を生む」という警告は、AI時代の組織が根本から変わる前提に立っています。この二つを両立させる装置として、成績も卒業も問わない二年間——それは教育のプロトタイプというより、若者が自分の重力を見つけるまでの時間の確保として読むべきでしょう。

出典: a16z Podcast「Amjad Masad on Rethinking College for the AI Era」（2026年9月23日）

https://a16z.simplecast.com/episodes/amjad-masad-on-rethinking-college-for-the-ai-era-sOmuMQGQ

読み上げ出典: エー・シックスティーン・ズィー・ポッドキャスト『アムジャド・マサド・オン・リシンキング・カレッジ・フォー・ジ・エーアイ・エラ』（二千二十六年九月二十三日）。ゲストはアムジャド・マサドさんとガガン・ビヤニさん

AI開示: 本コンテンツはAIの支援を受けて制作し、編集部が事実確認・分析の監修を行っています。

• --

プラグイン式小型バッテリーは、導入摩擦の解消で住宅用蓄電の普及率1%未満を打破できるか

出演

デビッド・ロバーツ × コール・アッシュマン（Pila Energy 創業者・CEO、元Tesla Powerwall開発者）

結論

住宅用バッテリー市場の本質的な制約は技術ではなく導入摩擦であり、電気工事不要のプラグイン式は賃貸・集合住宅という空白市場を開くが、消費者経済性（年間五十〜六十ドルの節約）は弱く、真の価値は公益事業者・商業不動産が所有・補助する分散型インフラとしての将来にある。

3行サマリー

Tesla Powerwall等の大型住宅用バッテリーは十年間で普及率1%未満に留まり、導入コストの半分以上が電気工事等のソフトコストである。Pila Energyは1.6kWhのプラグイン式バッテリー（千五百ドル）で電気工事を不要にし、米国住宅の約半分を占める賃貸・集合住宅市場を開拓する。だが1kWh当たり九百四十ドルとPowerwallと同等で、電気料金節約は年間五十〜六十ドル程度のため、消費者価値は停電対策が中心であり、最終的には公益事業者や商業施設が所有・運用するインフラへの移行を想定している。

注目ポイント3つ

1. 導入摩擦が普及の律速段階

Tesla Powerwall開発者だったアッシュマンは、十年間で米国住宅の1%未満しか大型バッテリーを持たない理由を「技術ではなく導入」と断言する。ソフトコストが総コストの半分以上を占め、「請負業者との数週間のやり取りと工事」が障壁になっている。Pilaは電気工事を不要にすることで、この摩擦を構造的に除去する。

2. 1kWh当たりコストは大型と同等だが、市場は空白地帯

千五百ドル÷1.6kWh＝九百四十ドル/kWhで、設置済みPowerwall 3とほぼ同じ。アッシュマンはこれを認めた上で、「賃貸・集合住宅という空白市場——価格に関係なく大型バッテリーを導入できない米国住宅の約半分」を開くと主張する。実際の出荷済み顧客は60%が持ち家、40%が賃貸で、住宅ストックの構成と一致している。

3. 消費者経済性は弱く、真の価値はインフラ

ピーク・オフピーク差二十セント、待機電力十ワットで年間節約は五十〜六十ドル程度。アッシュマンは「金を刷る機械のように売るのは不誠実」と認め、停電対策が主な購入動機だと述べる。一方で「生涯価値は製造コストの数倍」として、公益事業者・商業不動産・保険会社が所有・補助する「デフォルトのインフラ」への移行を予測している。

一言の見立て

これは消費者製品からインフラへの移行を体現している。アッシュマンの「人々はキロワット時や電子を気にしない。熱いシャワーと冷たいビールを気にする」という言葉は、クリーンエネルギーが消費者の負担ではなく、見えないインフラとして機能すべきだという本質を突いている。導入摩擦の除去は技術革新ではなく、配備速度の競争であり、「グリッドエッジは導入摩擦を殺した者が勝つ」という彼の主張は、プラットフォーム転換期の本質——技術の優位性ではなく、普及速度が支配権を決める——を示している。ただし消費者経済性の弱さは、この製品が真に成立するには公益事業者・商業施設による所有・補助モデルへの移行が必須であることを意味する。

出典

Volts「Do small residential batteries make sense?」（二千二十六年九月二十三日）

https://www.volts.wtf/p/do-small-residential-batteries-make

読み上げ出典

ボルツ『ドゥー・スモール・レジデンシャル・バッテリーズ・メイク・センス』（二千二十六年九月二十三日）。ゲストはコール・アッシュマンさん。

• --