展望未來國際數學聯盟支持一項關於科技產業影響力的警告。數學家們在一份聲明中警告科技產業日益增長的影響力,該聲明闡述了人工智慧(AI)對數學研究構成的諸多挑戰。這份聲明發布的兩週前,OpenAI 公開宣稱其一個 AI 模型推翻了一個有 80 年歷史的幾何學數學猜想。
這份聲明是由一個由 16 位研究人員組成的工作小組,在 2025 年 9 月荷蘭萊頓大學舉行的一次會議之後,歷時八個月制定而成。這份於 2026 年 6 月 2 日發布的《萊頓人工智慧與數學宣言》(Leiden Declaration on Artificial Intelligence and Mathematics),已獲得國際數學聯盟(International Mathematical Union,IMU)的支持——該聯盟是一個國際非政府組織,負責舉辦會議並監督數學界最負盛名的獎項,例如費爾茲獎(Fields Medal)。
倫敦帝國學院數學家 Kevin Buzzard 在一份聲明中表示:「數學家們應該會覺得科技公司突然對他們的工作感興趣,這相當引人注目。」他補充說:「《萊頓宣言》是對目前 AI 持續擾亂這個領域所發生的事情,經過深思熟慮後的回應。」《萊頓宣言》已吸引數百名簽署者,它警告近期 AI 的發展正在威脅數學研究的「特有價值」,「其方式往往不成比例地影響學生和早期職業數學家,進而影響該學科的長期未來。」
首先,它指出 AI 模型如何「產生看似合理但不可靠(甚至錯誤)的論證,這些論證很難與正確的數學證明區分開來。」宣言警告,這種發展讓審查人員面臨越來越大的壓力,並「危及我們實施傳統證明正確性、透明度和獨立可驗證性標準的能力。」牛津大學電腦科學系主任 Leslie Ann Goldberg 在一份聲明中表示:「AI 生成的不準確草稿製作成本低廉,存在用錯誤的聲稱結果充斥文獻的風險。」
她說:「一旦發生這種情況,錯誤很可能會隨著新結果建立在錯誤的基礎上而傳播。」其次,宣言強調「經已發表作品訓練的模型,其輸出結果經常未能妥善引用其綜合的人類著作」,同時也指出許多當前的 AI 模型是透過「利用許可和存取協議」或「直接侵犯版權保護」所取得的資料進行訓練。
第三,宣言描述了 AI 的使用「可能為了自身利益而受到激勵,擾亂我們的招聘、資助和認可機制」,同時也排除了那些缺乏資源或「不願使用由其價值觀不符的組織所控制的技術」的研究人員。第四,宣言警告數學研究「透過新聞稿或部落格文章等非正式管道傳播,通常沒有任何研究論文或其他科學評估所需資訊的披露。」
這種傳播策略可能導致媒體報導「過度簡化」,過度強調 AI 工具的重要性,卻犧牲了先前人類的貢獻,並「誤導性地使用特定數學任務作為商業產品一般推理能力的衡量標準。」第五,宣言描述「科技公司日益參與數學研究」威脅「數學的自主性」,特別是在大學預算吃緊的情況下,研究人員可能會感受到更大的職業誘因,以「不對等條款」與科技公司合作。
這也增加了可能優先考慮適合 AI 驅動技術的數學研究問題的風險。OpenAI 的案例《萊頓宣言》的許多警告似乎與 OpenAI 宣布其模型數學成就的方式特別相關,而同一天新聞媒體報導該公司正準備向大眾發行股票。宣言尖銳地指出,企業新聞稿強調 AI 數學成就,是在「數學界公認的社群評估流程尚未進行之前,就遵循市場時程。」
哥倫比亞大學數學家、宣言作者之一 Michael Harris 在《紐約時報》採訪中表示:「科技產業遵循商業邏輯,這與數學的價值觀背道而馳。」他也談到宣言試圖「從 AI 產業手中奪回關於數學價值觀和目標的話語權。」OpenAI 上傳了一篇研究論文,描述其 AI 模型的數學證明以及獨立數學家的評論。
但萊頓大學電腦與人工智慧歷史學家兼人類學家、宣言另一位作者 Rodrigo Ochigame 表示,該公司並未披露有關提示詞、AI 訓練資料以及用於解決相關數學問題的運算資源量。Ochigame 告訴《紐約時報》:「這個 AI 模型是專有且公司外部人員無法取得的。
我們看到的是華麗的宣傳影片,而評估結果科學意義所需的基本資訊卻被保密。」牛津大學數學家兼電腦科學家、宣言作者之一 Ursula Martin 在《紐約時報》採訪中表示,OpenAI 的成就「非凡」,但可能涉及大量的運算資源。她認為,如果人類數學家投入相同程度的努力,很可能也會以同樣的方式解決這些問題——她也提醒,數學除了解決問題之外,還關乎「思想、理解、判斷和人類洞察力的培養」。
在《萊頓宣言》網站上發布的支持聲明中,也出現了類似支持人類在數學方面智力努力的表達。馬克斯普朗克數學研究所所長 Peter Scholze 在一份聲明中表示:「根據我的經驗,數學思想就像孩子一樣,必須經過多年的培養和成長。」他說:「就像我不想讓我的孩子由 AI 教育一樣,我正在不使用 AI 的情況下思考我的數學思想,並且盡可能避免閱讀 AI 生成的文本。」
給人類的建議那麼,在 AI 蓬勃發展的時代,人類數學家該怎麼做呢?《萊頓宣言》建議個別數學家透明地披露其 AI 工具的使用,對其數學工作的正確性負責,即使 AI 工具使其變得困難,也要繼續歸功於人類作者並妥善歸屬作品,並考慮僅使用符合宣言中所闡述價值觀的 AI 工具。
宣言還提醒數學家,數學「應用於開發用於戰爭、壓迫、大規模監控和破壞民主的技術」,因此數學家在選擇與科技公司外部合作夥伴時,應做出相應的倫理決策。專業數學組織可以制定在出版和審查中使用 AI 和其他自動化工具的指南,透過許可協議保護研究人員作為作者的權利,防止其作品未經同意被用作訓練資料,並支持同儕審查期刊的作用。
宣言還建議這些組織「如果主要數學成果以非傳統方式宣稱,應積極準備介入。」宣言作者也向政策制定者提出了直接的建議,包括「保護作者權利」、「規範人工智慧產業」和「投資公共運算基礎設施」。在「不要相信炒作」的標題下,宣言警告「科技產業目前有強烈的商業動機來誇大其產品的能力。」
最後,宣言承認科技產業「提供了豐厚的工作、金錢獎勵、運算資源和智力激勵機會,在高等教育資金不足和不穩定的學術就業時代,這些對一些數學家來說很有吸引力。」它呼籲數學家與科技產業之間的此類合作應遵守宣言中規定的標準。國際數學聯盟副主席 Ulrike Tillmann 在一份聲明中表示:「透過支持這份宣言,IMU 肯定了數學研究的未來必須由人類判斷、公平透明的實踐以及全球數學界的共同價值觀來引導。」她說:「數學是,也應該永遠是,一項深刻的人類事業。」
