面对海量机器生成定理引发的学界焦虑，西蒙斯基金会主席大卫·斯珀格尔传递出明确信号：人工智能是邀请而非威胁。2026年10月15日，该基金会宣布与Anthropic及OpenAI共同投入1500万美元，旨在协助数学界吸收、测试并构建由AI产生的数学成果。
巨资护航：从纯数学到基础科学
这笔资金将通过公开提案申请发放，支持研讨会、会议及针对性项目，让研究人员直面高速涌现的AI输出。其中，OpenAI贡献500万美元，并承诺为获支持的科学家提供模型访问权限及大量算力；Anthropic也做出了类似的资源承诺。此举范围已超越纯数学，延伸至更广泛的基础科学领域。
斯珀格尔在声明中表示：“随着人工智能迅速重塑研究格局，我们希望帮助数学界凝聚共识，探索最佳前进道路。”他进一步阐述愿景，主张从整体角度审视数学，将其视为由人类好奇心驱动的集体理解，而非单纯的证明和定理集合。
时机背后：AI数学成果的爆发与争议
这一倡议的推出并非巧合。就在几天前的10月6日，OpenAI发布了722篇论文，整理为372个结果家族。其内部前沿模型攻克了约4000个问题，平均每个结果消耗约3小时ChatGPT Pro的高强度计算。然而，其中仅有162篇包含完整的Lean形式化证明，允许计算机验证主要结论；其余仍处于暂定状态，部分需修正，另有三篇在发布后不久被撤回。
此前，OpenAI还宣称其系统解决了千禧年大奖难题之一的纳维-斯托克斯方程部分问题。据报道，该工作涉及数千个AI代理协同，成本高昂且验证尚不完整。这些消息在数学界引发了兴奋与警觉交织的反应。
伦敦帝国理工学院的凯文·巴扎德在审查10月发布的数论部分后发现，30篇相关论文中仅7篇值得注意，且只有1篇附带Lean证明。特里斯坦·巴克马斯特和菲尔兹奖得主雨果·杜米尼尔-科普恩等人也在GitHub仓库上线后给出了尖锐反馈。普遍担忧在于，数学家缺乏足够工具和时间去核查积压的潜在发现。
独特定位：聚焦验证与社区标准
这并非AI数学推理能力突破的首个信号。谷歌DeepMind此前已在国际数学奥林匹克竞赛中展现金银奖水平；西蒙斯计算理论研究所于2025年加入谷歌.org支持的“AI for Math”倡议；文艺复兴慈善机构和XTX Markets也在2026年10月初向该基金注入1710万美元，使其总承诺额达3510万美元，主要支持基准测试和基础设施。
相比之下，西蒙斯基金会的倡议独特之处在于聚焦验证、社区标准和人类解读。提案将资助对近期AI辅助成果的评估，研究人员将获得最新工具的实操经验，并通过公开分享观点，形成负责任的集体使用规范。基金会凭借长期支持数学的历史，确保过程扎根于社区本身。
尽管OpenAI以Apache 2.0许可证发布了代码库，并提供思维链摘要及顾问小组指导，但许多数学家认为，真正的进步不仅依赖原始输出，更需要解释、概括以及与现有知识的连接。
未来挑战：严谨性与进步的平衡
1500万美元并未平息所有质疑。批评者指出，鉴于挑战规模，这笔金额显得微薄。舆论呼吁建立无需许可的协作层，以便在单一供应商控制之外留下可验证记录。同时，人们也在讨论受资助研讨会是专攻证明验证，还是促进更广泛的数学家与开发者合作。
然而，社区似乎已准备好进行结构化回应。在2026年8月的国际数学家大会上，陶哲轩、乔迪·威廉森等人与艾米丽·里尔共同探讨了如何熟练掌握新工具、拥抱颠覆性变化以及制定新的审稿和招聘规范。
西蒙斯基金会此前曾运行过类似的社区驱动项目，如2026年8月宣布的“目标西蒙斯研究小组”，资助了12个合作团队探索从暗物质到生命形态等问题。这种持续、专注的支持模式为新的人工智能努力提供了借鉴。
OpenAI直截了当地表述了其贡献意图：“我们希望在人工智能取得进展之际，支持数学界将其转化为更深入的人类理解和新的发现。”该公司已将模型访问权限从数学扩展到其他由基金会支持的基础科学领域，Anthropic亦做出平行承诺。
舞台已经搭好。数学家们即将竞争拨款，举办研讨会剖析从π的无理性指数到相对论性Vlasov-Maxwell系统等AI生成证明。他们将辩论引用惯例、形式化标准，以及人类洞察力在机器大规模生成内容中的角色。一些结果将被证实正确并开辟新途径，而其他可能包含细微缺陷，唯有持续的人类审查才能揭露。
其影响远超纯数学系。物理学、计算机科学、工程和金融均建立在数学基础之上。如果AI加速发现过程的同时给验证管道带来压力，整个科学事业都将受到冲击。西蒙斯基金会的这项投注，旨在危机爆发前缓解这种压力。
成功不能仅用新定理数量衡量，而要看社区是否发展出共享的实践方式，在坚持严谨性的同时不拒绝真正进步。斯珀格尔直言，数学一直由人类好奇心驱动。现在的任务是确保即使机器产生结果的速度超过个人吸收能力，这种好奇心仍居于中心地位。这1500万美元，正是为此付出的首付。