本日設計情報｜2026/09/06：OpenAI 幫 GPT-6 Astra 列廢話黑名單、Claude 啃下費馬大定理形式化證明、無畏女孩十年等到品牌識別

OpenAI 幫自己最新的模型列了一張廢話黑名單，連「delve」「foster」都被抓出來公審。Claude 同一週忙著啃費馬大定理，讓它撐過十一天沒垮掉的，是一套管好一群 agent 別互相打架的 harness。橫濱人形の家滿 40 歲，這次展覽把「記憶」本身當成設計題目在做。無畏女孩雕像立了十年，終於等到一套完整的品牌識別，正式從一尊銅像升級成一個品牌。今天五則新聞繞著同一件事打轉：模型再強，最後決定輸出品質的，還是人怎麼設計那套「怎麼用」的流程。

🔥 OpenAI 幫 GPT-6 Astra 立下廢話黑名單

OpenAI 在 9 月 5 日釋出一份給開發者的 GPT-6 Astra 使用指南，通篇都在講「怎麼跟它講話」，其中最實用的是一串官方欽定的 AI 廢話清單：delve、foster、leverage、it's worth noting、what's important is，連「In short：」這種收尾語都被明確點名要求開發者過濾掉。

更值得留意的是 Astra 的個性描述——它比上一代模型更愛先問清楚才動手，OpenAI 建議開發者在 prompt 裡明講「推斷使用者意圖」「偏好先動手」，把可驗收的結果準備好了再要求使用者確認，跳過先討許可這一步。對天天用 AI 生成文案、寫 prompt 的設計師來說，這份清單等於官方承認：AI 的預設輸出腔調本身就是一個需要被設計、被把關的介面。

閱讀原文 →

Claude 靠 Harness 啃下費馬大定理形式化證明

由清華姚班校友、現任哥倫比亞大學助理教授田逸鵬主導的團隊，用 Claude 在 11 天內生出費馬大定理第一個「端到端、可由電腦完整驗證」的形式化證明，寫出將近 1300 萬行 Lean 程式碼、超過 3 萬條中間定理。

過程並不順利——早期讓多個 agent 各自平行工作，結果是誰也追不上專案進度，整個系統亂成一團。真正讓專案活過來的，是換上一套以 Claude Code 為底的 multi-agent harness，把證明拆成一張有向無環圖，每個 agent 只負責圖上的一小塊，彼此的依賴關係寫清楚。這故事對設計師的提醒很直接：AI agent 能做到什麼程度，關鍵在你有沒有把「誰做什麼、誰等誰」這套結構先設計出來。

閱讀原文 →

橫濱人形の家開 40 週年建築展，把記憶蓋進房子裡

橫濱人形の家從 9 月 5 日起到 11 月 23 日，在館內二樓多功能室推出「建築と記憶」展，慶祝這棟建築滿 40 歲。館舍由坂倉建築研究所（坂倉準三創立）操刀，1986 年正式啟用，比現在所在地更早的 1979 年，原本落腳在產業貿易中心大樓裡。

建築師當年的設定很浪漫：把整棟建築當成「一間娃娃住的房子」，在真實的城市紋理裡，蓋出一座想像中的小鎮景觀。這次展覽攤開建造過程的草圖、材料樣本，加上四十年來累積的展覽與活動紀錄——等於把一棟建築物自己的使用歷史，搬出來公開展示。

閱讀原文 →

無畏女孩滿十歲，終於等到一套完整品牌識別

2017 年被放在華爾街銅牛對面的「無畏女孩」（Fearless Girl），滿十週年這天正式拿到自己的第一套完整品牌識別。紐約創意工作室 Rudy 操刀，核心概念是「Stand for More」，把女孩雙手叉腰、雙腳站穩的姿勢，簡化成一個可以到處複製貼上的圖像符號。

整套系統用鮮明的橘色、黑色配米白，字體選無襯線，刻意做成公共宣言般的視覺力度，同時上線的還有官方網站、教育指南，以及 T 恤、托特包這類週邊，收益會回饋到培養新一代領導者的公益組織。一尊雕像放了十年才等到自己的識別系統，剛好示範了「品牌」跟「地標」的差別：地標靠時間累積名氣，品牌需要有人把那份名氣翻譯成一套可以被重複使用的視覺語言。

閱讀原文 →

NN/g 把「AI 用在 UX 工作」的資源整理成讀書會清單

NN/g 在 9 月 4 日更新一份《Using AI for UX Work》讀書指南，把過去累積的六十多篇文章、影片、Podcast，依工作流程分成職涯策略、設計、研究、寫作、服務設計、共創工作坊七大塊，整理成一份可以照表操課的書單。

貫穿整份指南的立場很清楚：AI 拿來輔助既有工作，取代不了整套 UX 流程；研究章節甚至直接寫明，AI 生成的資訊還沒辦法取代來自真實使用者的真實資料。對忙著把 AI 塞進工作流的團隊來說，這份書單比任何單篇熱文都務實，把「哪裡能用、哪裡不能用」的分寸感一次交代清楚。

閱讀原文 →