昨天 Twitter 上討論最熱的一條內容，超過了兩千萬次瀏覽。 Anthropic 的一個數學家 @__alpoge__ 用 Fable 5 隨手證明了一個雅可比猜想的反例。 這個猜想 87 年來一直沒有人能證明是對是錯，甚至還上過 21 世紀 18 大數學難題名單。 隨後，OpenAI 的人在他們內部的 Codex 版本（不聯網的版本）中，也獨立證明了類似的反例。 這說明這確實是 Fable 5或者更高等級的 GPT 模型可以獨立證明出來的數學難題。 而且 有意思的事，這個問題一直是張益唐博士的博士論文想要解決的問題。 當時張益唐因爲他教授提出的一個引理，試圖從這個方向去解決這個題，結果一直無法證明，導致畢業後長期找不到工作，只能在快餐店打工，甚至無家可歸。 後來他靠證明“素數間的有界間隙”才一舉成名。 很有意思的是，當年他的導師給了他一個錯誤的引理去證明這事，而現在 AI 隨手就給解決了。順便大家還討論了一下學術界“有毒導師”的問題。 這明明是一個非常難的數學問題，但這哥們兒就隨手發了一條推特，裏面只有一串公式，沒有什麼期刊，也沒有什麼論文，甚至連 Twitter 的字符限制都沒超過，而且還獲得了兩千萬的瀏覽量。 從傳播學上也是一個非常值得討論的例子。

昨天 Twitter 上討論最熱的一條內容，超過了兩千萬次瀏覽。

Anthropic 的一個數學家 @__alpoge__ 用 Fable 5 隨手證明了一個雅可比猜想的反例。

這個猜想 87 年來一直沒有人能證明是對是錯，甚至還上過 21 世紀 18 大數學難題名單。

隨後，OpenAI 的人在他們內部的 Codex 版本（不聯網的版本）中，也獨立證明了類似的反例。

這說明這確實是 Fable 5或者更高等級的 GPT 模型可以獨立證明出來的數學難題。

而且 有意思的事，這個問題一直是張益唐博士的博士論文想要解決的問題。
當時張益唐因爲他教授提出的一個引理，試圖從這個方向去解決這個題，結果一直無法證明，導致畢業後長期找不到工作，只能在快餐店打工，甚至無家可歸。

後來他靠證明“素數間的有界間隙”才一舉成名。

很有意思的是，當年他的導師給了他一個錯誤的引理去證明這事，而現在 AI 隨手就給解決了。順便大家還討論了一下學術界“有毒導師”的問題。

這明明是一個非常難的數學問題，但這哥們兒就隨手發了一條推特，裏面只有一串公式，沒有什麼期刊，也沒有什麼論文，甚至連 Twitter 的字符限制都沒超過，而且還獲得了兩千萬的瀏覽量。

從傳播學上也是一個非常值得討論的例子。