西蒙斯基金会 (Simons Foundation) 宣布了一系列新举措，旨在帮助数学界应对人工智能在该领域的快速崛起，该基金会、Anthropic 和 OpenAI 提供 1500 万美元的联合资金和资源作为支持。
该基金会将管理和授予资金，包括通过公开征集提案的方式，支持研讨会和倡议，帮助研究人员评估最近的人工智能辅助成果，学习和使用新工具，分享观点，并制定人工智能在数学研究中使用的集体标准。 更多相关背景，请参阅我们的AI行业报道。
数学之外的工具和计算
除了资金之外，Anthropic 和 OpenAI 还将向西蒙斯基金会支持的研究人员提供人工智能工具和计算资源。根据该基金会的公告，这种支持超出了数学范围，涵盖了更广泛的基础科学——这是前沿人工智能实验室和工作学术研究人员之间异常直接的渠道。
该安排因其结构而引人注目：基金会控制资金的授予方式，而不是由实验室制定议程，并且新闻材料强调奖项和资源将由社区驱动。
为什么数学是第一线
数学已成为人工智能在科学领域最重要的试验场之一。西蒙斯基金会是科学机器学习的早期支持者，包括资助精益证明助手的开发，该助手重塑了数学家形式化工作的方式，并使人工智能辅助证明成为可能。随着人工智能系统对数学发现的贡献越来越大，社区面临着一个实际问题：如何验证、评估和信任在大量机器辅助下产生的结果。
验证问题是新计划资助的核心。旨在“评估最近的人工智能辅助结果”的研讨会和倡议承认，传统的同行评审流程并不是为用人工智能系统起草或在某些情况下实质上由人工智能系统生成的证明而设计的。
基金会的框架：社区第一
西蒙斯基金会主席大卫·斯佩格尔将这一努力视为集体决策的时刻。斯佩格尔在声明中表示：“随着人工智能迅速重塑研究格局，我们希望帮助数学界走到一起，开辟最佳的前进道路。” “现在是时候把数学作为一个整体来看待——不是作为证明和定理的集合，而是作为人类好奇心驱动的集体理解。”
斯佩格尔明确指出谁应该制定采用条款。他说：“社区应该推动如何评估、采用和使用这些工具的讨论，而不是任何一家公司或机构。” “该计划的目标是支持数学界。”
该声明被解读为与人工智能采用过程中常见的动态形成鲜明对比：各个机构与模型提供商单独谈判交易，并由先采取行动的实验室或大学制定规范。通过公开募集资金并强调集体标准，该基金会试图为一门学科建立一个协调点，该学科的输出（证明）是异常可验证的，因此异常容易受到人工智能辅助捷径的影响。
其他领域的模型
该倡议可以作为数学之外的模板。基础科学领域面临着同样的根本问题——如何吸收人工智能工具而不将标准让给这些工具的供应商——而西蒙斯基金会的结构，其中一个中立的慈善机构管理竞争人工智能公司捐赠的资源，是解决这个问题的首批尝试之一。
该基金会的历史赋予了它发挥这一作用的可信度：除了早期资助精益证明助手之外，它还举办了研讨会、讲座和合作，探索人工智能在数学中的作用。新的 1500 万美元承诺正式表明，在人工智能辅助结果到达速度快于社区规范吸收速度的时刻，将力量集中到资助项目中。
---
掌握AI最新动态获取最新的AI新闻、分析和突破——尽在一处。
阅读更多AI新闻 →
