OpenAI、Anthropic罕見聯手：砸下1個億，給數學家送錢、送算力

編譯 | 黃菲 編輯 | 江宇 10月16日報道，昨日，OpenAI、Anthropic聯合美國西蒙斯基金會（Simons Foundation），共同投入1500萬美元（約合人民幣1.01億元），支持數學家評估AI輔助產生的研究成果，並幫助研究人員學習和使用AI工具。其中，OpenAI出資500萬美元（約合人民幣3360萬元），Anthropic的具體出資金額尚未披露。根據基金會公告，兩家公司還將為獲得資助的研究人員提供AI工具和計算資源，相關資金將由西蒙斯基金會管理和分配。

▲OpenAI與Anthropic相繼在X平臺轉發西蒙斯基金會的合作公告，圖源：Simons Foundation、Anthropic和OpenAI 此次合作公佈前的10月6日，OpenAI因一次性向代碼倉庫上傳719份AI生成的數學手稿而引發學界爭議，多名數學家對成果的發佈方式和驗證情況提出質疑。今年9月，陶哲軒（Terence Tao）等25位菲爾茲獎得主聯名發表聲明，批評AI公司在數學研究中的部分做法。Anthropic在8月10日也曾發佈一項經過外部同行驗證的黎曼ζ函數研究。兩家AI巨頭此番同時以“出資方”姿態進入數學圈，這或許是修補關係、爭奪學術話語權的一次聯手佈局。

一、OpenAI明確出資3360萬元，此前719份手稿引發數學界爭議 OpenAI同日在官網發佈《分享AI在數學領域的進展》（Sharing AI Progress in Mathematics）一文，明確將向此次計劃出資500萬美元。OpenAI稱，希望通過資金及技術支持，幫助數學家理解和評估AI生成的研究成果，並在此基礎上開展後續研究。▲《分享AI在數學領域的進展》一文，圖源：OpenAI 但OpenAI出資的背景，是其過去一個多月在數學界掀起的一場風波。導火索要從9月初說起。

9月8日前後，OpenAI對外宣佈，其未公開模型調度約1萬個AI智能體，在88小時內完成了一項被描述為“千禧年難題”級別的數學工作。消息一齣，紐約大學柯朗數學科學研究所教授特里斯坦·布克馬斯特（Tristan Buckmaster）隨即公開質疑，稱其與一名Anthropic研究員此前已在相近方向取得成果，並懷疑OpenAI的模型可能接觸過相關對話數據。截至目前，這一質疑尚未經獨立證實。OpenAI否認訪問相關數據，但其先後發佈的說明存在不一致之處，未能完全消除外界疑慮。

9月11日，陶哲軒、鄧煜、彼得·舒爾茨（Peter Scholze）等25位菲爾茲獎得主作為首批簽署人，聯名發表聲明《人工智能在數學中的嚴重錯位》（A Severe Misalignment of AI in Mathematics），指責AI公司把“解決著名數學難題”當作衡量模型能力的基準，與數學界追求理解和知識積累的目標背道而馳。聲明上線專門網站開放聯署後，不到一天，簽名人數便突破2500人。風波並未就此平息。

10月6日，OpenAI將其內部模型生成的數學研究成果一次性上傳至GitHub代碼倉庫，初版共722份手稿，涉及代數、理論計算機科學、數理邏輯、組合、數論等方向，包含約372組研究結果。▲OpenAI關於數學研究成果發佈的推文，圖源：X 次日，其中3份因符號錯誤被撤回，14份被修訂，最終保留719份。據該倉庫更新日誌，這批成果中只有約42%的頂層結論通過了Lean形式化驗證，公開推理過程的手稿僅10份。數學界的批評隨之而來。

《自然》（Nature）雜誌10月7日報道稱，牛津大學數學家烏蘇拉·馬丁（Ursula Martin）將這種做法形容為“把一份尚未整理完善的初稿直接甩給同行，要求他們幫忙做完核查”；哥倫比亞大學數學家邁克爾·哈里斯（Michael Harris）同樣對發佈方式提出質疑。部分處於職業早期的學者也擔心，自己長期投入的研究方向可能被AI公司一次性“搶先”。▲部分數學家提出批評，圖源：Nature 同日，人類數學協會（Association for Human Mathematics）發表聲明，公開呼籲數學家停止與OpenAI合作，陶哲軒隨後在個人博客轉發了這份聲明。

面對批評，OpenAI開始調整溝通方式。10月6日，OpenAI在當天發佈的官文中聲稱參考了普林斯頓高等研究院（Institute for Advanced Study，IAS）數學與人工智能獨立顧問組的指導意見。但該顧問組也在當天發表聲明，強調其顧問身份不代表認可OpenAI此次發佈的具體流程。10月8日，OpenAI承認，一次性將大量成果上傳至GitHub的做法並不符合此前顧問組的相關建議，並稱正在與普林斯頓高等研究院的數學與人工智能獨立顧問組合作，改進論文引用、數學論述和成果呈現方式。

二、Anthropic未披露出資金額，黎曼ζ函數研究取得進展 除了OpenAl，Anthropic也在探索利用Al模型解決數學研究中的開放問題。8月10日，Anthropic發佈了一項研究進展：一個尚未對外發布的Claude研究版本，將黎曼ζ函數（Riemann zeta function）相關問題中一個比例的下界從此前已知的41.6%提高至67.2%。▲Anthropic相關數學研究文章，圖源：Anthropic 這項工作並未證明黎曼猜想本身，而是推進了與該猜想有關的一個數學問題。Anthropic稱，這項工作由60個子智能體並行協作，消耗約3100萬輸出Token完成。

其研究團隊隨後對結果進行了核驗。Anthropic內部數學家萊文特·阿爾珀格（Levent Alpöge）和拉爾夫·弗曼（Ralph Furman）對論文進行了審查和驗證。斯坦福大學數學系兼職教授、美國數學研究所執行主任布萊恩·康瑞（Brian Conrey），以及聖何塞州立大學數學教授丹·戈爾德斯頓（Daniel Goldston），也應邀審閱了這項研究，並使用Lean 4完成形式化證明。相關論文隨後以合作署名形式上傳至arXiv預印本網站。不過，專家審查並不等同於正式的同行評議，相關研究結論是否經得起進一步檢驗，仍有待後續研究確認。

可以明確的是，研究人員可以藉助Lean進行形式化驗證能夠幫助核查證明是否符合既定邏輯規則，但並不意味著所有研究價值和數學意義都能由形式化驗證單獨判定。結語：投入資金支持數學家，AI巨頭圖什麼 Anthropic與OpenAI共同參與此次資助，可能幫助它們更深入地瞭解數學家的實際需求，推動研究人員試用其模型，並通過學術合作改進AI系統在複雜推理任務中的表現。從這個角度看，爭取學術界信任、拓展模型在基礎科學中的應用場景，可能是這類投入帶來的潛在收益。而資金能否換來真正的學術信任，仍是未知數。

西蒙斯基金會此次搭建的資助框架，OpenAI和Anthropic能否藉此更深入地理解數學研究的實際需求，數學界又能否在AI工具的使用、成果驗證和學術規範等問題上形成更廣泛的共識，仍有待後續發展觀察。