西蒙斯基金会宣布与 Anthropic、OpenAI 合作，共同投入 1500 万美元的资金与资源，帮助数学界应对 AI 的快速崛起。基金会负责管理与发放，包括公开征集提案，用来支持评估近期 AI 辅助成果的工作坊与计划，让研究者学习与使用新工具、分享观点，并形成对 AI 使用的集体标准；两家 AI 公司还会向受资助的研究者提供工具与算力，范围不止数学，也覆盖基础科学。基金会主席 David Spergel 强调，这些工具如何被评估、采纳与使用，应该由学界自己推动，而不是某一家公司或机构。
🔑 核心要点
西蒙斯基金会 + Anthropic + OpenAI 共同出资 1500 万美元与资源。
钱由基金会管理与发放，含公开征集提案，用于工作坊与评估 AI 辅助成果。
目标之一是让数学界自己形成对 AI 使用的集体标准。
两家公司另提供AI 工具与算力，受益范围从数学扩到基础科学。
基金会此前长期资助 Lean 证明助手，让 AI 辅助证明成为可能。
💡 金句
Now is the time to look at mathematics as a whole — not as a collection of proofs and theorems, but as a collective understanding driven by human curiosity.