西蒙斯基金会砸1500万美元，拉OpenAI和Anthropic一起给数学家配AI

数学系的研究生趴在草稿纸上推导公式的场景，正在悄悄发生变化。西蒙斯基金会（一家专注推动基础科学和数学研究的公益机构）宣布投入1500万美元，联合OpenAI和Anthropic，给数学研究者提供免费的AI算力资源，还要办一系列工作坊，帮数学界找到在AI时代往前走的最好路径。

这笔钱里，OpenAI单独捐了500万美元。OpenAI在推文中说，他们希望支持数学界把AI的技术进展，转化为更深刻的人类认知和新的科学发现。OpenAI一直主张建立国家AI研究资源库，认为当研究者能广泛接触前沿AI工具和开放数据时，AI辅助的科研能把原本需要几十年的发现周期压缩到几年。

Anthropic也参与了这次合作。这家由前OpenAI研究员Dario Amodei和Daniela Amodei联合创立的公司，已经围绕Claude模型家族搭建了成熟的企业业务，本身也非常看好AI在科学领域的应用，此前已经推出了专门支持科研的项目。

@boazbaraktcs 转发OpenAI的相关推文，也代表了不少学界研究者的态度：AI辅助科研的价值，正在从概念走向实际的资源支持。

这不是AI第一次跨界进入基础科学领域。此前Google已经推出了“AI co-scientist”，声称能帮科学家生成研究假设和实验方案。现在连最依赖逻辑推导的纯数学领域，也开始拿到真金白银的AI支持。

对于普通大众来说，这件事的影响不在当下，而在未来：如果AI能帮数学家更快突破基础理论的瓶颈，这些理论最终会落地到密码学、材料科学、人工智能算法本身这些和日常生活紧密相关的领域。现在还没人说得清，AI到底能在数学研究里走多远——是只能帮着查资料、整理文献，还是真的能参与到核心猜想的推导里？