2026 年 10 月 15 日，OpenAI 在 X 上宣布向西蒙斯基金會（Simons Foundation）的一項新計劃出資 500 萬美元，用於幫助數學家審視、理解並推進 AI 產出的研究結果，包括 OpenAI 近期公開發布的成果。同日，西蒙斯基金會宣布與 Anthropic、OpenAI 共同投入 1500… 看完整事件
西蒙斯基金會聯合 Anthropic、OpenAI 出資 1500 萬美元支援數學界
西蒙斯基金會與 Anthropic、OpenAI 共同出資 1500 萬美元，幫助數學界應對 AI 在該領域的快速興起。基金會負責管理與發放這筆資金，包括公開徵集提案，用於資助工作坊和專案，幫助研究者評估近期的 AI 輔助成果、學習使用新工具、交流看法並形成 AI 使用的集體標準。Anthropic 和 OpenAI 還將向受資助研究者提供 AI 工具與算力，範圍從數學擴充套件到基礎科學。該基金會曾資助 Lean 證明助手的開發，是機器學習用於科學的早期支持者。
基金會與兩家頭部 AI 公司聯合投入 1500 萬美元，專門用於評估 AI 輔助數學成果並推動社群自定使用標準，對關心 AI 科研應用與數學界立場的人有參考價值。
原標題：Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era
閱讀原文
| 評分 | 65 / 60（平均 62，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
Anthropic 向 Genesis Mission 投入 1.5 億美元
Anthropic 宣布向 Genesis Mission 承諾投入 1.5 億美元，以深化對科學研究與技術發現的支援，這是本次公告的核心內容。同時，Anthropic 將把 Claude 及其技術支援開放給超過 15 家聯邦機構。訊息由 Anthropic 官方帳號於 2026 年 10 月 8 日發布，公告未披露資金的具體用途與投放週期，也未列出參與合作的聯邦機構名單。
Anthropic 投 1 億美元培訓萬名工程師
Anthropic 宣布投入 1 億美元，通過 Claude Frontier Academy 培養 10000 名 Frontier Deployed Engineers，目標在 2027 年底前完成。首批學員來自埃森哲、貝恩、凱捷、澳大利亞聯邦銀行、德勤、麥肯錫、摩根士丹利和諾和諾德等企業。按人數計算，人均培訓投入約 1 萬美元。
陶哲軒宣告數學 2.0 時代：AI 讓證明從稀缺走向氾濫
菲爾茲獎得主陶哲軒發布《數學 2.0》演講，宣告建立在證明稀缺之上的數學 1.0 時代落幕：AI 正讓數學證明變得氾濫。他呼籲建立更透明的評估機制，把失敗結果與算力成本一併納入報告，並減少對搶先生成證明的強調，轉而重視解釋、評審與知識整理；其參與創立的 SAIR 基金會開放數學模型計劃將很快發布。此番表態的背景是 OpenAI 一次性發布 722 篇數學論文後，陶哲軒牽頭成立人類數學協會（AHM），並呼籲數學家停止與 OpenAI 合作。
OpenAI 放出 722 篇數學手稿，稱攻下準黎曼猜想等難題
OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿，歸入 372 個成果族，全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明，模型被投餵約 4000 個研究問題，平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力，手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化，約佔六成三；OpenAI 承認未形式化的結果可能存在問題，且未公布模型名稱。