多位專家相信 AI未來幾年或將稱霸數學界

由歐幾里德的《幾何原本》到精確的數字符號，數學在兩千多年來不斷突破發展，如今，數學家們正在努力應對最新的變革力量：人工智慧。

2019 年，曾任職於 Google、現擔任灣區初創企業的電腦科學家 Christian Szegedy 預測，計算機系統將在十年內趕上或超過人類最優秀數學家解決問題的能力。 去年他將目標日期修改為 2026 年。

在 AI 近期的快速推展下，這一速度可能還會提前。

去年 2 月份，DeepMind 發佈了程式設計輔助利器 AlphaCode。它使用人工智慧技術來幫助程式設計師更快地編寫程式碼，可以自動完成程式碼、提供程式碼建議並檢查錯誤，從而提高程式設計效率。

AlphaCode 的問世意味著 AI 在解決現實世界問題的道路上又邁出了一大步。

在同一天，OpenAI 也展示了一項重要成果：他們開發的神經定理證明器成功解出了兩道國際奧數題。OpenAI 的成功表明，AI 不僅可以用於解決程式設計等應用學科的問題，還能用來攻克數學等自然學科。

同樣地，數學家也在愈來愈頻繁地使用 AI，比如獲得過菲爾茨獎的陶哲軒。他甚至預言，到 2026 年，AI 將成為數學研究領域可信賴的共同作者（co-author）。

類似的預言，Nvidia 資深 AI 研究科學家 Jim Fan 也在一篇推文中表示：「我相信，數學將成為第一門透過人工智慧實現重大突破的學科。」

使用程式來實現數學的突破，因為其做法常違背優秀數學家的直覺。例如，一個計算機科學家們經常會用來解決一些數學問題的工具叫做「暴力推理」，但是數學界對於這種方法卻常常嗤之以鼻。

但 AI 不會去考量數學家的思維，DeepMind 發表了一篇論文，認為他們取得成果的方式，是透過 AI 來引導人類的直覺，從而推進數學發展。

另一方面，很多深度接觸過 AI 技術的數學家，也對 AI 在數學研究中不被重視，提出了憂心。他們認為，人工智慧技術經常能夠「直接地」幫助數學家們「找到」自己想要的答案。但數學家或者 AI 專家們，都搞不清楚 AI 是如何找到這個答案的。

一些網友依然對 GPT 類的工具能否真的發現有價值的真理持懷疑態度。

也有網友指出，可能人類和 AI 對於數學理解和關注本就有區別—AI 證明了什麼是真的，而人類總是關注為什麼它是真的。