OpenAI公開722篇內部模型數學手稿

OpenAI於10月6日公開一批由內部前沿模型做出的數學結果，手稿放在公開倉庫，並說明發布方式參考了普林斯頓高等研究院獨立顧問組的建議。

倉庫目前收錄722篇手稿，歸成372組結果。一組可以包含主結果、配套論證、推論或另一種證明，並按數學分支歸類。絕大多數結果用同一套流程、由尚未發佈的內部模型做出。評估階段大約給了模型4000道題，再按結果族和分量篩選後留下這372組。平均每個結果所用算力，相當於ChatGPT Pro思考約3小時。

驗證程度並不一致。倉庫附有Lean形式化證明和校對說明，但明確寫了並非每篇都已形式化，未形式化的結果可能有錯，發現後會儘快改，舊版本繼續保留。另外公開了10份推理過程摘要，題目包括π的無理指數、Mahler猜想、Kaplansky特徵2下的直接有限性猜想，以及自由羣因子同構。黎曼ζ函數在實部大於11/12處的無零區域，以及CM阿貝爾簇上的霍奇猜想，用的不是這套固定流程。ζ函數那篇的文字還經過人工潤色。

這批結果出自同一個未發佈的內部前沿模型，官方把它和此前納維-斯托克斯方程相關結果放在同一條目下。模型評估是在現有數學測試成績飽和後加大的，部分輸出建立在模型更早的結果上。OpenAI說正在推進負責任地發佈這個模型，同時會繼續用內部前沿模型評估數學和其他科學問題。

發佈流程是這次的另一半。顧問組9月21日在高等研究院掛牌，首批9名數學家不拿OpenAI的錢，包括Timothy Gowers、Edward Witten、Martin Hairer。9月29日的公開建議徵集了600多份數學界回覆，要求補上已有文獻、按正規論文格式重寫、放進不受人工智能公司控制且可長期引用的存檔、公開模型名、提示詞、推理摘要和算力成本，並出資支持數學界理解這些結果。顧問組同時寫明，不贊成在外界用不到的私有模型上攻難題，要求停止。

OpenAI這次先放了公開倉庫，寫了修訂和引用規則，並表示還在找符合顧問組標準的社區託管平臺。它承諾資助研討會、學術會議和專項項目，幫助理解人工智能做出的主要結果，細節稍後公佈。它沒有接受停止私有模型測試的建議，反而寫明會繼續做這類評估。

這不是論文交易。算力花在OpenAI內部，手稿免費公開，買方缺位，賣方是模型產出。事件驅動的是私有模型連續出結果之後的發佈爭議。受益的是能直接核Lean和讀推理摘要的數學家，以及需要外部標尺的競爭實驗室。承壓的是還沒被形式化的結論、傳統期刊的首發地位，以及拿不到該模型、卻要消化這372組結果的研究組。

來源：公開信息