2026-05-10 週記

Metro 系列的第四部作品宣布啦，叫「Metro 2039」（預告）。看起來主角換人了？在莫斯科地鐵對抗新生霸權？也許最後會有 Artyom 重返，跟主角並肩作戰的劇情？

也試玩了一下 Pragmata sketchbook，但是一直解方塊遊戲很出戲，到底為什麼要設計這種戰鬥？不能第一次遇到，或王戰的時候再來比較適合嗎？

設計報告編輯器

最近嘗試在 HTML 編輯器內加入一些半結構化的操作能力。亦即，文本中有一些定位符號（目前用方掛號，[] 作為標記）。使用 tab 在不同的標記內跳轉。如此以來，可以獲得一個類似表單的編輯速度，而模板則可通過 AHK 用堆疊的方式帶入，但是又不失去純文本的編輯能力。這個概念是從 Emacs yasnippet 裡面獲得的。目前設計了兩個版本，分別跟我的報告風格轉換系統相連；另一個則作為離線版本在我平常打報告的電腦運行。

ChatGPT 解決數學問題

今天有人發表說 GPT Pro 解決了一個 Erdős 問題，所以跑去看了一下相關資料。Paul Erdős 真是一個饒富趣味的人，提出了很多不算著名的猜想或問題，形成了一個龐大的社區。而且 Erdős 喜歡跟人合作。看起來解決數學問題的幾個要求是（1）不得聯網，強迫模型思考而不要直接開始搜尋（2）中間還是要給予一點指令，不算一步到位，但確實是仰賴模型的內建知識。

放射科 AI 如是我聞

我個人認為只有幾個層面有價值，其他都是學術水文。

• 第一是急，所謂 wet reading，最好是裝在機器上，檢查完立刻有報告
• 第二是難，沒什麼人會打的困難領域
• 第三是煩，像肺結節這種沒什麼技術含量，case 量又多的
• 第四是猜，從當前的檢查預測未來事件（例如 Sybil）

之後的目標（大資料庫建構、風險預測超人類任務）都要時時刻刻反思這一套哲學觀，避免白忙一場，搜集了一批無聊的資料或建構沒有意義的模型。

附帶一提，雖然我本人沒有能力訓練 foundation model，但未來的論文主力應該會放在既有模型的應用，甚至是跟國外的研究機構交朋友來替他們做外部驗證。最近看開會看合作的博班生做多癌症的 multi-label multi-task model，用的還是架構複雜的重型 CNN。如果 foundation model 是航太科技的話、訓練這種重型 CNN 好像大煉油廠、大煉鋼廠，不能說不重要，但是有一種重工業、老科技的感覺。