萊頓宣言：全球150+數學家集體對抗AI霸權，捍衛實證精神

AI帶嚟嘅五大威脅，逐一擊破數學根基

呢份宣言唔係憑空想像，而係具體指出咗五個互相關聯嘅危險，刀刀到肉咁砍向數學實踐嘅基礎價值。

1. 證明變得唔可靠，人類都捉唔到蟲
數學係建立喺可以被獨立驗證同深入理解嘅證明之上。但係AI系統生成出嚟嘅論證，睇落好似好有理有據，實際入面可能藏住啲幾乎察覺唔到嘅錯誤——即係「假證明」，連人類專家都好難一眼睇穿 。呢個問題唔單止出現喺非正式嘅文字生成，連喺正式嘅證明系統入面，只要背後邏輯被遮蔽，一樣會出事 。

2. 署名制度崩潰，版權被肆意侵犯
AI模型係用大量已發表嘅人類研究成果去訓練，但過程冇問過原作者同意，亦往往唔標明出處 。結果就係導致整個功勞歸屬制度系統性崩潰，令人無法追溯學術脈絡，亦冇辦法獎勵真正嘅原創思想家。宣言明確指出，作者必須主動搜尋研究嘅前人基礎；如果真係做唔到完整署名，就要坦白講明呢個限制 。

3. 形成「貧富懸殊」嘅兩級制度
隨住尖端研究越嚟越依賴昂貴嘅專有模型同天文數字嘅運算能力，數學界正面臨一個未來：只有資金充裕嘅實驗室先有資格參與競爭 。呢種結構性嘅不平等，直接摧毀咗數學界傳統上開放、任人唯賢嘅優良特質 。

4. 科技公司誇大炒作，誤導政府政策
科技公司因為有巨大嘅商業誘因，成日誇大佢哋AI工具嘅數學能力 。佢哋會跟隨市場營銷嘅時間表，透過新聞稿公布結果，而唔係經由同行評審嘅科學程序。佢哋仲會利用AI喺數學基準測試（benchmarks）嘅表現，當成市場營銷手段，想證明AI有「通用智慧」——宣言對呢種講法予以斷然否定 。因此，起草者大力呼籲各國政府，喺制訂科學政策時，要去尋求獨立專家小組嘅評估，而唔係信足啲公關新聞稿 。

5. 研究自主權喪失，研究方向被商業騎劫
當研究乜嘢、唔研究乜嘢，係由商業利益同技術可行性話事，數學界就會失去對自己議程嘅控制權 。研究優先次序會轉向追求短期商業回報，而唔係由好奇心驅動嘅深度鑽研，最終會威脅到成個學科嘅長遠健康發展 。

宣言嘅具體訴求：唔好得個講字

《萊頓宣言》唔單止係「診症」，仲針對四個關鍵群體，開出咗具體、可行嘅「藥方」 。

對於個別研究者，必須：

• 披露研究過程中使用過嘅所有AI工具、提示詞（prompts）同方法 。
• 將AI嚴格視為工具——永遠唔可以當係共同作者。人類必須承擔證明正確性、署名完整性同倫理使用嘅全部責任 。
• 持續關注新興技術，並積極參與關於技術後果嘅公共討論 。

對於學術機構、期刊同資助方，必須：

• 針對AI署名、透明度、同行評審同知識產權，制訂有約束力嘅政策 。
• 建立法律同倫理支援架構，幫研究人員同強大嘅科技公司進行協商 。
• 將宣言嘅核心價值融入評審準則同資助決策入面，而唔係單純獎勵「運算速度」 。

對於各國政府，必須：

• 唔好再對科技公司嘅能力宣稱「照單全收」，轉而諮詢獨立嘅專家小組 。
• 監管AI產業，防止出現壟斷研究基礎設施嘅局面 。
• 投資發展公共資助、開源嘅替代方案，去抗衡商業AI工具，確保唔係只有富貴院校先用得到 。

對於科技產業，必須：

• 摒棄未經同意就將研究論文用嚟訓練AI嘅做法，並容許作者有真實嘅「退出」機制（opt-out） 。
• 當企業實驗室同學術夥伴一齊發表研究果時，企業都必須遵守學術界要求嘅透明度同署名標準 。

背後更大嘅抗爭：證明、權力同公眾信任

《萊頓宣言》關乎嘅唔單止係數學。起草者將呢場抗爭定位為全球科學政策嘅風向標。佢哋指出，同一套能夠產出不可靠證明嘅AI系統，一樣可以被武器化，用嚟發動戰爭同進行大規模監控，因此佢哋呼籲數學家要對自己嘅工作進行倫理評估，甚至要敢於退出有害嘅研究項目 。

更深層嘅警告係針對「認識論」——即係人類點樣判斷乜嘢係「真」。當商業營銷嘅時間表取代咗嚴謹嘅同行評審，當企業炒作蓋過咗專家嘅謹慎告誡，公眾對「科學真相」嘅認知就會被扭曲 。數學——呢個長期以清晰、永恆標準為榮嘅領域——而家正正企喺呢場更大戰役嘅最前線。

宣言入面幾乎每一項建議，都圍繞住一個核心原則：透明度。如果冇人知AI係幾時用、點樣用，科學界就無法驗證結果、無法分配功勞、亦無法捍衛自身嘅標準。隨住《萊頓宣言》喺發布之時已獲超過130人聯署，並得到國際數學聯合會（IMU）等機構背書，佢已經唔單止係一份聲明，更加係數學家認為「AI時代」迫切需要嘅一份規範草案 。