Hacker News AI · 2026/10/15 22:58:48
Simons 基金会联合 Anthropic 与 OpenAI 启动 1500 万美元计划：资助数学家评估 AI 辅助成果并制定使用标准
Simons 基金会宣布与 Anthropic 和 OpenAI 合作，共同投入 1500 万美元及计算资源，旨在帮助数学界应对 AI 带来的变革。该计划将通过公开征集提案，支持研讨会以评估 AI 辅助证明、学习新工具并建立集体使用标准，同时向基础科学研究者提供额外的算力支持。
报道全文原始报道全文
本文目录3 个章节
The Simons Foundation today announced a new set of initiatives that will help the mathematics community navigate the rapid rise of artificial intelligence in the field.
Under a 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 that help researchers evaluate recent AI-assisted results, learn and use new tools, share perspectives and shape collective standards for AI use.
“As artificial intelligence rapidly reshapes the research landscape, we want to help the mathematical community come together and forge the best path forward,” says Simons Foundation President David Spergel. “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.”
Anthropic and OpenAI will also provide AI tools and computing resources to researchers supported by the Simons Foundation, extending beyond mathematics to include basic science.
The awards and resources will be community-driven and leverage the foundation’s decades-long dedication to supporting and championing mathematics. The foundation was an early backer of machine learning for science, including funding the development of the Lean proof assistant, which has revolutionized how mathematicians work and made AI-assisted proofs possible. Additionally, the foundation has convened workshops, lectures and collaborations that have brought mathematicians together to explore and discuss AI’s role in the field.
“This is a moment for the mathematics community to come together,” Spergel says. “The community should be driving discussions of how these tools are evaluated, adopted and used, not any single company or institution. The goal of the program is to support the mathematics community.”
More News
From Trust to Verification: Lean’s Impact on Mathematics
July 22, 2026
AI Will Be Top of Mind at ICM, Math’s Biggest Conference
May 4, 2026