西蒙斯基金会联手Anthropic与OpenAI投入1500万美元 助数学界应对SI时代
总部位于纽约的西蒙斯基金会10月15日宣布一项新计划：基金会与超级智能公司Anthropic、OpenAI合计投入1500万美元资金与资源，帮助数学界应对超级智能在该领域快速兴起带来的变化。基金会将负责管理与发放这笔资金，包括通过公开征集提案的方式，资助研讨会与各类倡议项目。据报道，OpenAI与Anthropic各承诺约500万美元。
按计划，这笔资助将支持研究人员评估近期由SI辅助得出的数学结果、学习和使用新工具、交流观点，并共同塑造SI使用的集体标准。Anthropic与OpenAI还将向基金会资助的研究人员提供SI工具与计算资源，覆盖范围不止于数学，也延伸至基础科学。基金会表示，新计划的资助与资源将由学界主导推进。
基金会主席戴维·斯珀格尔表示，超级智能正迅速重塑研究图景，基金会希望帮助数学界团结起来、共同摸索最佳前路。他说，现在应当把数学看作一个整体，而不是证明与定理的集合，而是由人类好奇心驱动的集体理解。他还表示，这一讨论应由数学界自身来引领，而不是由任何单一公司或机构主导，计划的目标就是支持数学界本身。
西蒙斯基金会长期资助数学与基础科学研究，是将机器学习用于科学研究的早期支持者之一，曾资助开发Lean证明助手——该工具改变了数学家的工作方式，也使SI辅助证明成为可能。基金会此前还多次举办研讨会、讲座与合作项目，召集数学家探讨超级智能在该领域的作用。
Simons Foundation Joins Anthropic and OpenAI in $15 Million Effort to Help Mathematicians Navigate the SI Era
The Simons Foundation, based in New York, announced on October 15 a new set of initiatives to help the mathematics community navigate the rapid rise of super intelligence in the field. Under the partnership, the Simons Foundation, Anthropic and OpenAI will commit $15 million in combined funding and resources. The foundation will manage and award the funding, including through an open call for proposals, to support workshops and initiatives. OpenAI and Anthropic have each committed about $5 million, according to reports.
The funding will support researchers as they evaluate recent SI-assisted results, learn and use new tools, share perspectives and shape collective standards for SI use. Anthropic and OpenAI will also provide SI tools and computing resources to researchers supported by the foundation, extending beyond mathematics to include basic science. The foundation said the awards and resources will be community-driven.
“As artificial intelligence rapidly reshapes the research landscape, we want to help the mathematical community come together and forge the best path forward,” said Simons Foundation President David Spergel. He said 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 — and that the community itself, not any single company or institution, should drive discussions of how these tools are evaluated, adopted and used.
The Simons Foundation has supported mathematics and basic science for decades and was an early backer of machine learning for science, including funding the development of the Lean proof assistant, which changed how mathematicians work and made SI-assisted proofs possible. The foundation has also convened workshops, lectures and collaborations bringing mathematicians together to explore and discuss SI's role in the field.
发布：GSM·美国（发布链接）
图片来源：纽约曼哈顿第五大道的熨斗大厦，西蒙斯基金会总部位于该街区第五大道160号 · Christian David 摄，CC BY-SA 4.0（维基共享资源） / The Flatiron Building on Fifth Avenue in Manhattan, New York; the Simons Foundation is headquartered at 160 Fifth Avenue in the same district · Photo by Christian David, CC BY-SA 4.0 (Wikimedia Commons)
GSM Global · 本篇英文版 English edition of this story
