Simons 基金會宣布一項新計畫，旨在協助數學社群應對人工智慧在該領域的快速崛起。根據合作協議，Simons 基金會、Anthropic 和 OpenAI 將共同承諾提供總計 1500 萬美元的資金與資源。Simons 基金會將負責管理並發放這筆資金，包括透過公開徵求提案的方式，資助研討會及其他倡議，以幫助研究人員評估近期的 AI 輔助成果、學習與使用新工具、分享觀點，並共同制定 AI 使用的集體標準。
Simons 基金會總裁 David Spergel 表示：「隨著人工智慧迅速重塑研究格局，我們希望幫助數學社群團結起來，開闢最佳的前進道路。現在是時候從整體看待數學——不是將其視為證明與定理的集合，而是由人類好奇心驅動的集體理解。」
除了資金支持，Anthropic 和 OpenAI 還將向獲得 Simons 基金會支持的研究人員提供 AI 工具和運算資源，這些支持範圍將擴展至數學以外的基礎科學領域。這些獎項和資源將由社群驅動，並利用基金會數十年來支持數學研究的承諾。Simons 基金會曾是科學機器學習的早期支持者，包括資助 Lean 證明輔助工具（proof assistant）的開發，該工具徹底改變了數學家的工作方式，並使 AI 輔助證明成為可能。此外，基金會還舉辦了研討會、講座和合作項目，促進數學家討論 AI 在該領域的角色。
Spergel 強調：「這是數學社群團結一致的時刻。關於這些工具如何被評估、採用和使用，應由社群主導討論，而非任何單一公司或機構。該計畫的目標是支持數學社群。」
事件背景
Simons 基金會長期致力於支持數學研究，包括早期資助 Lean 證明輔助工具的開發，該工具徹底改變了數學家的工作方式，並使 AI 輔助證明成為可能。基金會過去也曾舉辦多場研討會與講座，探討 AI 在數學領域的角色。
社群觀察
社群評論對該計畫的資金分配公平性提出質疑。網友 muragekibicho 認為資金可能流向已獲充足資助的資深數學家（如 Terrence Tao 等），而非早期職涯的學生，並比喻這如同捐款給 Node.js 基金會而非實際維護的套件開發者。網友 mrandish 批評 Anthropic 和 OpenAI 過去將數學發現作為行銷素材引發反彈，認為此次各出資約 500 萬美元（部分以代幣額度形式）是自我服務的公關行為，並讚揚 Simons 基金會把握時機提供實驗室「體面」的遮羞布。網友 efficient_dairy 諷刺這可能導致數學家需不斷向模型提供回饋以澄清證明，最終讓模型透過縮放定律「湧現」出可讀的證明能力。網友 an0malous 則建議科學家應在 ChatGPT 和 Claude 的設定中關閉「改進模型」選項，以避免作品被抓取。
