「太不可思議了」：人工智慧如何改變數學

一位沒有大學學位的英國男孩 Liam Price 使用 ChatGPT 解決了 Erdős 的一個著名問題——數字 1196。這不是一個龐大的計算，而是一個連專家都感到震驚的解法，因為 ChatGPT 找到了一條超越人類思維的新道路。這裡的論點是，人工智慧已經在改變數學，不僅加快了計算速度，而且得出了連數學家都從未見過的洞見。到目前為止，人們認為 AI 只能重新組合已知的技術，但現在令人驚訝的是，它開始產生真正原創的想法，並以近乎「思維」的直覺將不同的領域連結起來。以史丹佛大學的數學家 Jared Duker Lichtman 為例：他說，這就像人工智慧在西洋棋中找到了一個新的開局，一個沒有人類曾經想像過的開局，因為人類受到慣例和審美品味的限制。Liam Price 的故事很完美：他和劍橋大學的學生 Kevin Barreto 待在英國的家中，從 ChatGPT 獲得了一個解法，這個解法並非從機率（經典的方法）開始，而是保留了問題的原始語言，但以全新的方式將數字和機率連結起來。當今最傑出的數學家之一 Terence Tao 表示，一年前這個突破是不可想像的：當時人們認為語言模型永遠不會超越它們在書中「讀到」的內容。然而，現在我們可以看到一些突破，以至於 OpenAI 的 Sébastien Bubeck 稱之為「令人難以置信」。有些人則較為謹慎：多倫多大學的 Daniel Litt 表示，結果仍然不太顯著，但他警告說，持懷疑態度是不恰當的——真正的謎團是，為什麼擁有超人知識和無限耐力的人工智慧，至今還沒有做出革命性的發現。Litt 說，也許我們沒有理解人類在數學中的「祕密技巧」究竟是什麼，那種沒有人能解釋的創造力。另一個數據：目前的模型能夠產生 3-4 頁的證明，Google 的模型正在朝 10 頁邁進，但要達到 100 頁還需要時間。與此同時，哈佛大學的 Lauren Williams 發出警告：更多的人工智慧意味著更多的「slop」，也就是看似完美但充滿錯誤的證明，而且沒有人有時間檢查所有的證明。缺少的人類努力：幾個世紀以來，數學一直是一種耐力和精神孤獨的練習。如果人工智慧消除了疲勞，那麼奇蹟仍然存在，但也許這也會失去一部分讓數學家真正成為數學家的特質。總結一切的一句話：人工智慧不僅在解決問題，還在改變數學遊戲的規則。如果你認為這個故事與你有關，你可以在 Lara Notes 上按下 I'm In — 這是你說：這個想法現在是你的。如果明天你告訴別人，一個沒有大學學位的男孩使用 ChatGPT 解決了 Erdős 的問題，你可以在 Lara Notes 上標記：Shared Offline 就是表示那段對話很重要。這篇文章來自《自然》，可為你節省 2 分鐘。