25位菲爾茲獎得主聯署警告AI實驗室正在威脅數學家的智力勞動

二十五位菲爾茲獎得主簽署公開信，指人工智能實驗室爲爭先公佈著名數學問題的解答，正在威脅數學家的智力勞動。每位署名者均獲該領域最高獎。

信中寫：解答常被倉促宣佈，沒有時間寫出完整論文、分離新方法並引用前人；這在所有創造性職業中都會引發歸屬與剽竊問題。若沒有願意把新想法寫入數學經典並完成人類傳授鏈條的數學家，人工智能構思的點子無法真正活過來。署名者認爲，模型若能解開懸而未決的難題可以造福人類，前提是解法能被數學共同體理解並傳播。公開報道點名署名者包括Terence Tao、Artur Avila、Manjul Bhargava等。

導火索是同一周的優先權衝突。紐約大學教授Tristan Buckmaster指責OpenAI施壓他不要致謝一位在Anthropic任職的合作者，並質疑公司是否藉助他們與Codex的工作、用馬拉松式推理跑出自己的突破性證明。OpenAI隨後公佈對納維－斯托克斯存在與光滑性這一千禧年大獎難題的完整證明，稱由未發佈的下一代模型在約一週內完成，消耗約3000億輸出token。Buckmaster團隊此前宣佈朝該問題推進的三項證明。OpenAI還在加州理工學院數學活動遭校內研究者批評後撤回贊助。今年6月已有《萊頓宣言》要求數學家、機構與政府約束人工智能在研究中的用法，並獲國際數學聯盟等背書。

實驗室把未驗證的證明當成能力廣告；數學家把未完成的寫稿與引用當成學科存活條件。千禧年大獎每題獎金100萬美元，但公開信爭的是誰有權宣佈、誰必須把方法寫進可檢驗的文本。

市場機制上，這是聲譽與訓練敘事的爭奪，不是獎金結算。買方是要在社交平臺宣佈“已解決”的模型公司；賣方是仍掌握審稿、引用與課堂傳授的數學共同體。受益方是能把著名猜想寫成評測與融資故事的實驗室；承壓方是必須在熱宣佈後做覈驗、卻分不到算力預算的學者。資金從算力賬單流向模型發佈會，覈驗成本留給大學。

補充結構：OpenAI的證明仍被信中描述爲未經充分驗證。另有針對加州理工“數學馬拉松”的聯署，批評用大模型學分給學生製造不可覈驗的數學垃圾。

來源：公開信息