Gutenberg Lab — 早报

AI 解決數學未解問題，數學家的工作從「證明」轉向「理解」

來賓: Lisha Li（a16z 基礎設施合夥人、前數學家）× Mehtaub Swanee（OpenAI 數學家、前組合論研究者）× Mark Selke（OpenAI 數學家、2025 年夏天看到 IMO 金牌成績後加入）

結論

AI 推理模型已開始實際證明人類數十年來嘗試後放棄的球填充、編碼理論、群論未解問題，數學實踐的重心正從「證明」轉向「理解、吸收並向他人傳達」。

三行摘要

• OpenAI 的推理模型 Astra 將五十年未改善的球填充問題上界（2 的 -0.599 次方 d）更新為嚴格漸近形式 d/(2πe)^d，並以十五頁證明非 SOFIC 群的存在，完成了人類放棄的路徑
• 人類在數小時或數日嘗試後判斷前景渺茫便放棄，但 AI 能無心理成本地持續執行，且不具「污染的上下文窗口」（與失敗連結的記憶），因此能以全新狀態重試相同想法
• 當證明不再是瓶頸，理解、內化、解釋、將知識定位於人類知識體系等隱性功能將成為明確且主要的工作，數學界需將「共同體理解」重新置於價值中心

關注要點

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 猜想反證需兩百五十頁加兩百頁背景知識）

一句話研判

當數學證明成為「只要做就能完成的作業」，數學家的稀缺性將轉向理解與判斷力。這是平台轉換期的典型模式——當實作摩擦消失，決定要做什麼的判斷成為稀缺資源。數學界談論「將共同體理解明確化為有價值的部分」，與網路興起時代開發者從「能做什麼」轉向「看出該做什麼」的價值轉移結構相同。然而數學有其天花板，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

大學正在扼殺年輕人的異端性——Replit 創辦人談探索自由與過早創業之間

來賓：主持人（a16z Podcast）× Amjad Masad（Replit 創辦人兼執行長）× Gagan Biyani（Horowitz and Andreessen Academy 共同創辦人兼執行長）

結論

年輕人的價值在於質疑既有前提的異端性，但現代大學正在扼殺這一點，而創投則對 18 歲青年投入百萬美元並要求十年承諾——兩者之間需要一個不要求成績也不要求出席、能探索兩年的環境。

三行摘要

• Replit 創辦人 Masad 主張「年輕人對文明的價值在於質疑深信不疑的前提」，批評現代大學「把外部思考打出去」
• Horowitz and Andreessen Academy 的 Biyani 指出僵化的四年制大學與過早募資創業之間的「不公平選擇」，提議一個沒有成績也沒有考試、為期兩年的探索環境
• Masad 警告「學習過去的做法會造成根本性劣勢」——AI 將作為代理人成為組織的黏著劑，實現「自動駕駛公司」的未來

關注要點

1. 過早最佳化是萬惡之源：Masad 將「在史丹佛學生有想法之前就給他們百萬美元的創投」比作音樂產業的掠奪性合約。正確的想法「有重力且無法避免」——他自己「積極避免啟動」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》（2025 年 9 月 23 日）

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

AI 揭露：本內容在 AI 協助下製作，編輯部進行事實查核與分析監修。

插電式小型電池能否以消除導入摩擦，突破住宅儲能普及率不到1%的困境？

來賓：David Roberts × Cole Ashman（Pila Energy 創辦人兼執行長、前 Tesla Powerwall 開發者）

結論

住宅電池市場的本質限制不在技術而在導入摩擦，免電工安裝的插電式產品可開啟租屋與集合住宅的空白市場，但消費者經濟效益薄弱（年省五十至六十美元），真正價值在於公用事業、商業地產持有並補貼的分散式基礎設施未來。

三行摘要

Tesla Powerwall 等大型住宅電池十年來普及率不到1%，導入成本逾半為電工等軟成本。Pila Energy 推出1.6kWh 插電式電池（一千五百美元），免除電工安裝，鎖定美國約半數住宅的租屋與集合住宅市場。但每 kWh 九百四十美元與 Powerwall 相當，電費年省僅五十至六十美元，消費者價值以停電備援為主，最終設想為公用事業或商業設施持有運營的基礎設施。

關注要點

1. 導入摩擦是普及的律速階段

曾任 Tesla Powerwall 開發者的 Ashman 斷言，十年來美國住宅不到1%擁有大型電池的原因「不在技術而在導入」。軟成本佔總成本逾半，「與承包商數週往返及施工」成為障礙。Pila 以免電工安裝結構性移除此摩擦。

2. 每 kWh 成本與大型相當，但市場是空白地帶

一千五百美元÷1.6kWh＝九百四十美元/kWh，與已安裝的 Powerwall 3 幾乎相同。Ashman 承認此點，但主張「租屋與集合住宅的空白市場——無論價格如何都無法安裝大型電池的美國約半數住宅」。實際出貨客戶60%為自有住宅、40%為租屋，與住宅存量結構一致。

3. 消費者經濟效益薄弱，真正價值在基礎設施

尖離峰價差二十美分、待機功耗十瓦，年省約五十至六十美元。Ashman 承認「像印鈔機般銷售並不誠實」，停電備援才是主要購買動機。另一方面以「生命週期價值為製造成本數倍」為由，預測將轉向公用事業、商業地產、保險公司持有並補貼的「預設基礎設施」。

一句話研判

這體現了從消費產品向基礎設施的轉型。Ashman 所言「人們不在乎千瓦時或電子，在乎的是熱水澡和冰啤酒」，點出潔淨能源應作為隱形基礎設施而非消費者負擔的本質。消除導入摩擦不是技術創新而是部署速度競爭，他主張「電網邊緣由殺死導入摩擦者勝出」，揭示平台轉換期的本質——非技術優勢而是普及速度決定支配權。然而消費者經濟效益的薄弱意味著，此產品真正成立必須仰賴公用事業與商業設施的持有補貼模式轉型。

來源：Volts《Do small residential batteries make sense?》（二○二六年九月二十三日）

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