原标题:《Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era》 评分: 167 | 作者: aaraujo002 💭 先用数学家训练模型,再资助他们适应失业? 🎯 讨论背景 Simons Foundation(由数学家兼 Renaissance Technologies 对冲基金创始人 Jim Simons 创建的科学慈善基金会)将与 OpenAI、Anthropic 共同投入 1500 万美元及资源,通过公开征案资助研讨会和项目,帮助研究者评估 AI 辅助成果、学习工具并制定使用规范。该基金会长期资助 arXiv(开放科研预印本平台),且曾支持 Lean(可机器核验数学证明的形式化证明助手)等机器辅助数学基础设施。讨论的直接背景是 AI 实验室近期宣称解决包括 Navier–Stokes(描述流体运动的核心偏微分方程)在内的公开数学问题,引发数学界对证明是否可靠、可解释及研究生态是否会被快速“采空”的争论。争议因此不止于工具性能,也涉及闭源模型的数据反馈、青年研究者机会、学术署