AI 解開哥德爾筆記本：封存八十年的數百條定理重見天日
哥德爾 1009 頁手稿封存八十年，Claude 兩天交出 650 頁解讀，挖出 663 條定理。附 HN 93 則討論整理與懶人包。
Perplexity Decider v1.3：通用決策模型的訓練、評測與內部用法
Perplexity 釋出 Decider v1.3 與 Flash v1.3：通用決策模型的新訓練配方、評測數字、內部用法，以及 HN 實務派討論整理。
1,140 萬美元輝達硬體在加州運往德州途中憑空消失
六個棧板、1,140 萬美元輝達硬體在加州運往德州途中消失。警方以重大竊盜偵辦，貨與車至今下落不明。附全文翻譯與 HN 162 則討論整理。
末日方程式：1960 年 Science 論文如何算出 2026 年 11 月 13 日
1960 年 Science 論文用雙曲線擬合人口，算出奇異點落在 2026 年 11 月 13 日。六十六年後驗收：日期命中星期五，人口沒有無限。
通用模型開始親自驅動機器人：OpenAI 解散獨立機器人團隊
OpenAI 解散獨立機器人團隊，研究員併入通用研究與應用組織，因為通用模型已經能直接驅動機器人。
M-VAVE FM-1 Workbench：50 美元口袋合成器的瀏覽器工作台
50 美元口袋合成器加瀏覽器工作台：8 軌 64 步進、6 種音源、DX7 相容，原廠出 SDK 擁抱改機，HN 179 分熱議整理。
FAA 下令全國停飛：一次電信中斷如何讓美國天空停擺
2026 年 11 月 13 日 FAA 下令全國離境航班停飛，逾 4000 架次在空中、30 萬至 40 萬旅客受困。NBC 報導全文翻譯＋HN 766 則討論整理。
Orcas Airband：小島機庫裡的全頻段航空無線電直播站
Orcas 島機庫的軟體無線電站，把整個航空波段即時轉成可搜尋文字，剛好在地面停飛當天成為空域感知工具。
Anthropic IPO：單季營收170億美元、11月19日以代號ANT掛牌
Anthropic IPO 官網文件繁中整理：創辦人信四要點、Q3 營收 170 億美元、11 月 19 日以代號 ANT 掛牌，另附 HN 860 則討論整理與視覺懶人包。
Gemini 4 Hydrogen 與 Orchestrator：日常更快更省，硬仗交棒前沿模型
Hydrogen 主攻日常寫碼更快更省，Orchestrator 遇到硬仗自動交棒 Carbon：少兩成四額度、快近兩成，外加 HN 107 則討論整理。