四川
Gowers把問題扔給AI后，17分鐘05秒，AI就給出了一個構造，直接把上界從指數級干到了二次方級，而且這顯然是最優的。更讓人震驚的是，Gowers在整個過程中啥數學輸入都沒給——他只是說“這個想法不錯，試試看能不能成”“把這段推導寫成標準LaTeX格式”，完全是個“情緒價值提供者”和“排版助手”。AI每一步推理、構造、轉折，都是自己想出來的。
如果故事到這就結束，頂多是“AI又解了道題”，但后面的事兒才真的細思極恐。Gowers繼續追問：那一般情況的h呢？這個問題難度陡升——h=2時數學家們已經搞清楚了，但一般h的完整答案沒人知道。此前MIT博士生Isaac Rajagopal證明了指數級上界。
Gowers沒停留在“AI很厲害”的層面，直接拋出最尖銳的問題：博士生怎么辦？這才是博客里的重量級炸彈。組合數學領域有很多開放問題，本來是給初入科研的學生練手的——讓他們在解決“正式開放問題”中獲得信心。但現在AI把這條路截斷了。
Gowers原話很直白：“過去只要有人提出問題就夠了，現在必須足夠難，難到LLM解決不了。”2026年至今，已有15個Erd?s開放問題被解決，11個明確標注AI貢獻。幾周前，23歲沒高等數學學位的Liam Price用GPT-5.4 Pro在80分鐘內解決了困擾數學家60年的Erd?s問題，陶哲軒親自驗證并擴展成新理論起點。過去需要數年訓練的門檻，被AI一夜碾平。Gowers直言：“AI這么發展下去，很快會面臨一場危機。”OpenAI研究員Sebastien Bubeck深表贊同，不過也有人說這只是實驗，不能過度外推，但Gowers的判斷不需要額外背書。
把時間線拉長看，AI在數學領域的進步曲線幾乎垂直：2023年GPT-4做不了大多數本科數學題；2024年o1拿數學競賽金牌；2025年o3開始展現前沿推理能力；2026年GPT-5.5 Pro獨立完成博士級證明。三年時間，從本科到博士水平。
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
