直升機把你放上山頂之後：陶哲軒談 AI，和我們用兩百條指標驗過的同一件事
陶哲軒說形式驗證能讓 AI 完全誠實。我們上週用 202 條交易指標候選驗了這句話：第一關 97.7 分的明星候選，第二關 59 分陣亡。AI 的產出不足信，AI 加上它繞不過的機器閘門才足信。
行遠必自邇，登高必自卑。 —— 《禮記・中庸》
上台前一分鐘，陶哲軒的筆電還開著。主持人湊過去問：你在做數學嗎？他說，對，我的 AI 代理剛回給我一份 19 頁的證明，Sendov 猜想的。然後他闔上電腦，走上台。
這是 2026 年 8 月的史丹佛，亞裔學者論壇的爐邊對談，主持人是數論學家 Ken Ono。三年前陶哲軒預言「2026 年 AI 可以當數學論文的共同作者」，Ono 問他預言對了嗎。他的回答是：「我當時漏了指定月份。」——今年一月這句話成不成立還有爭議，八月已經沒有爭議了。
直升機與登山者
對談裡引用了他的一個比喻。數學問題像遠方的景點，數學家的日常是徒步走過去；AI 是一架直升機，把你放到山頂。
台下有兩種人。一種說：這不是好事嗎？另一種是傳統數學家，相信這門手藝的美與尊嚴，心裡不是滋味。
陶哲軒給兩種人同一個回答：登頂從來不是價值所在。數學是在測繪一片沒人知道地理的疆域——鋪路、畫地圖、把進度分享出去，這才是這門學問在做的事，山頂只是里程碑。AI 揭露的是這片地圖上有一堆人類不知道的捷徑，這讓 AI 看起來像超人，但更準的說法是：它是「正交」的——一種與人類垂直的探索方式，不是人類的放大版。
讓 AI 誠實
整場對談我認為含金量最高的一句，出現在談教育的段落。他說：AI 的錯誤率降了，但不是零，所以你能信任它的程度有上限；可是把 AI 跟形式驗證接在一起，它就會「完全誠實，而且有用」。
形式驗證是數學界的作法：證明寫成電腦語言，機器逐行檢查，錯一步就滿屏紅線。他形容那像一位吹毛求疵的老師盯著你，但你的證明編譯通過的那一刻，多巴胺不是比喻。
這句話我們上週用真金白銀驗了一次。
兩百零二條候選，活下來兩條
上週我們的研究線做了一件事：從指標社群挖回 202 條「號稱有效」的交易指標候選，AI 負責搬運和計算，但每一條要過兩道機器閘門——先用 1994 到 2018 年的老資料考一次，考過的再用 2019 年之後它沒見過的資料考第二次，而且第二關只准考一次（2026-09-01 至 09-03 內部驗證紀錄）。
有一條錨定均價型的候選，第一關考了 97.7 分，漂亮得發光。第二關開槍：59 分，陣亡。沒有第二道閘門，這個假貨上週就掛上我們的系統了。
202 條的最終帳：105 條驗死、80 條缺料凍結、活著掛上系統的，2 條。
這就是「讓 AI 誠實」在投資研究裡的長相。AI 的產出不足信；AI 的產出加上一道它繞不過去的機器驗證，才足信。陶哲軒在數學裡說的，跟我們在回測機房裡看到的，是同一件事。
代幣與訓練
對談裡另一段值得抄在牆上。有學生問：世界變了，讀數學博士還有意義嗎？
他的回答分兩層。第一層誠實得刺人：AI 已經能生出一份「看起來像博士論文」的東西，跟一個學生花四年寫出來的，表面上難以分辨。第二層是重點：博士的意義從來不是那份論文——論文是代幣，訓練才是本體。吸收複雜材料的能力、綜合的能力、問問題的能力，這些沒有代幣可以代表的東西，才是學位在生產的東西。
投資研究的版本一模一樣。一份圖文並茂的分析報告，現在誰都能在十分鐘內生出來；代幣氾濫的年代，分不出真假的讀者只能改看另一樣東西——判斷的軌跡。你過去說過什麼、開槍前有沒有把門檻寫死、錯的時候有沒有留下屍體。我們把 105 條驗死的候選一條條記在帳上，不是自虐，是因為陶哲軒在對談裡點名的那個問題：AI 公司不公開負面結果，所以沒有人說得清 AI 的能力邊界。負面結果是科學的一半，也是信任的一半。
這個信念從哪來
「機器閘門比人的眼光可靠」不是我們天生的信念。它來自一次又一次第一關高分、第二關死亡的屍體：這週那條 97.7 分的候選之外，先前還有一條四個時間窗全過第一關、第二關零過且方向反轉的體制指標（2026-09-02 內部紀錄）。眼光會被漂亮的回測迷住，閘門不會。
連直升機都沒有路的地方
對談的最後，一個十年級學生問他 Collatz 猜想會不會被解開。他說：現在看不到任何路——沒有任何現有技術碰得到它，AI 也一樣。
這是整場對談留給我的最後一個東西。AI 的地圖上有捷徑，也有連它都沒有路的地方。知道哪裡有直升機、哪裡只能徒步、哪裡連徒步都到不了——把這三種地形分清楚，可能是這個時代最值錢的新素養。在數學是，在投資也是。
對談出處：陶哲軒 × Ken Ono，2026 Frontier & Pioneer Symposium（Asian American Scholar Forum，2026-08-20，YouTube）。引句為意譯；文中驗證數字出自 Realpha 內部研究紀錄。
本文為投資方法論的教育性分享，不構成任何個股買賣建議、不提供目標價、不針對當期標的。投資有風險，任何決策請自行判斷或諮詢合格的專業人士。