For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/zh-TW/articles/openai-math-manuscripts-the-human-researc-d516b5a8.md.
由 AI 生成的數學論證可以是新的，但仍可能依賴一長串人類發現。理解這條脈絡，有助於評估模型實際貢獻了什麼、採用了哪些假設，以及誰應獲得認可。
SeaFill 的 On Whose Shoulders 專案讓探索這段研究歷史變得更容易。該專案由奧爾堡大學的 Qiongxiu Li 發起，為 OpenAI 公開的數學與理論電腦科學手稿集合所引用的人類研究成果建立索引。其重點在於歸屬與發現：協助讀者找到這些結果背後的人物與論文。
OpenAI 最初於 2026 年 10 月 6 日發布了 722 份手稿。三份手稿撤回後，其儲存庫列出 719 份現有手稿，歸類為 372 個家族；每個家族將相關論證、推論或替代證明歸為一組。
截至查閱時，SeaFill 首頁顯示以下數據：
| 指標 | 專案數據 |
|---|---|
| 現有手稿 | 719 |
| 被引用的人類研究成果 | 11,067 |
| 人類作者 | 9,607 |
| 被引用的菲爾茲獎、阿貝爾獎或沃爾夫獎得主 | 114 |
這些是該專案的索引數據，會隨資料更新而變動。不應將其解讀為獨立且已驗證突破的數量。
引用視覺化圖表轉載自 BAAI／新智元報導。小型點位代表 AI 預印本；較大的外框節點代表被多篇預印本引用的人類論文。原始標籤為中文。
該網路連結了多個領域，而非將 AI 數學呈現為單一、無差別的成就。算術幾何、機率論、組合數學與幾何分析，各自都有其既有研究體系。
報導指出的例子橫跨現代與歷史數學：算術幾何中的 Fargues 與 Scholze；雙有理幾何中的 Birkar、Fujino 及其合作者；以及機率論中的 Duminil-Copin 和 Duplantier–Miller–Sheffield 合作團隊。
其他例子包括 Lovász 與 Szegedy 的圖極限方法、Bourgain–Katz–Tao 的和積方法、Talagrand 對自旋玻璃的研究、Perelman 的 Ricci 流論證，以及 Deligne 對霍奇理論的貢獻。這些例子說明該集合中出現的數學工具範圍，並不代表每一項被引用的結果對每一個論證都不可或缺。
來源也特別提及華人及華裔數學家的貢獻，包括 Yau 對卡拉比猜想的研究、Chern 對高斯－博內與陳－西蒙斯理論的工作，以及涉及 Hong Wang、Joshua Zahl、Shaoming Guo 和 Ruixiang Zhang 的近期調和分析研究。重點很具體：這些參考文獻可追溯至明確的研究結果，讀者可以自行查閱。
專案引用索引的來源截圖，由新智元／BAAI 轉載。
參考書目記錄了一份手稿引用了哪些文獻，但不能證明該研究是否存在於模型的訓練資料中、對模型產生了多大影響，或新的論證是否正確。
SeaFill 明確提醒，引用不等於依賴。其專案以致敬的方式記錄姓名，本身並不判斷正確性、原創性或歸屬爭議。維持這一區別能讓索引更有價值：讀者可以順著證據追溯，而不會要求一份視覺化圖表回答其設計目的之外的問題。
科學專業能力的貢獻不僅是撰寫論文。研究者會選擇有意義的問題、辨識相關假設、定義驗證標準，並評估表面上的進展是否經得起審查。模型建構者則提供架構、訓練系統與運算基礎設施。這些角色在同一研究過程中交會。
來源在此背景下討論了預訓練、監督式學習、強化學習與推論時搜尋。這些方法的成效取決於任務本身，以及可取得回饋的品質。單憑引用分析，無法判定這些方法在發現能力上的普遍限制。
輸入一句想法，We0 AI 即可生成展示站、頁面與 CMS。發佈上線後並幫你獲取客戶和流量。
用戶註冊贈送一次完整項目生成
適合先體驗一次完整生成流程，快速看到專案初稿。
OpenAI 的儲存庫表示，該集合中的成果處於不同驗證階段，部分尚未形式化的結果可能存在問題。儲存庫稱約有 42% 的主要結果已完成形式化；其歷史頁面目前計算為 719 項中的 300 項。
10 月 7 日的更正紀錄是一個實際例子。一個符號錯誤使關於分裂阿貝爾八維簇上 Weil 類代數性的手稿論證失效，並影響另外兩份相依手稿。OpenAI 撤回了全部三份手稿，修訂了另外 14 份手稿，並在修正後更新了另外 13 份手稿中的參考文獻。
引用該集合時，這些修訂十分重要。讀者應使用目前版本、檢查相依性說明，並區分數學命題與任何可取得的機器檢查形式化證明。儲存庫中存在一份 PDF，並不等同於已完成社群驗證。
本文更廣泛關注的是：當 AI 輸出規模擴大時，科學貢獻是否仍能保持可見。一個系統可以生成大量候選論證，但有價值的進展仍需要好的問題，以及可靠的排錯方式。
新的實驗、更好的資料集、改進的形式化與批判性審查，都提供了單靠生成文字無法保證的資訊。On Whose Shoulders 透過讓人類文獻更容易被找到，為這個過程提供了一塊拼圖。它是一項參考工具，而不是檢查證明的替代品。
這是 SeaFill 的一項專案，協助讀者探索由特定 AI 科學輸出所引用的人類研究。其數學索引涵蓋與 OpenAI 公開手稿集合相關的參考文獻。
最初發布包含 722 份手稿。其後有三份被撤回，因此在 2026 年 10 月 16 日查閱時，儲存庫中保留 719 份現有手稿。
否。生成手稿中的引用，無法揭露模型訓練資料集的組成，也無法確立其推理過程的因果說明。
否。儲存庫指出，約 42% 的主要結果已完成形式化，並明確警告未形式化的結果可能包含問題。讀者應針對欲使用的特定結果，檢查其形式化狀態與版本說明。
OpenAI 的歷史頁面指出，一個符號錯誤使穩定化跡消去論證失效，也使兩篇相關論文所使用的建構失效。撤回版本仍透過說明通知相互連結。
OpenAI 要求讀者使用個別手稿目錄中的 BibTeX 區塊。引用或依據該結果進一步研究前，請先檢查目前版本及所有更正說明。
On Whose Shoulders 讓 OpenAI 數學集合背後的人類文獻更容易被看見。其引用索引提供了有用的起點，可用於認識研究者，並將論證追溯至其來源。
該集合的更正紀錄與部分形式化狀態，也顯示歸屬與驗證必須並重。一份有前景的 AI 手稿，仍需要檢查其參考文獻、假設與證明。
從一句話開始，幾分鐘內拿到完整網站。
