陶哲轩启动“开放数学模型计划”，推动开源模型与算力赋能数学科研

菲尔兹奖得主陶哲轩代表科学与人工智能研究基金会（SAIR Foundation）于 2026 年 9 月 18 日宣布启动“开放数学模型计划”，旨在为数学和基础科学界构建开源权重模型与科研协作生态。

• 该计划主张开发开放权重模型（Open Weight Models）与开源工具链，以保障学术界在科学研究中具备独立于商业闭源机构的探索能力。
• 初期核心聚焦于辅助数学家解析艰深论证、交叉比对学术文献、自动生成构造示例与计算代码，并推进 Lean 等形式化数学验证。
• 遵循社区治理原则，承诺以开源许可协议发布模型权重与训练流程，并公开评测中的失败用例以保证研究透明度。
• 影响/看点：开源专用模型有助于降低数学研究者的计算工具使用门槛，但该计划能否产生实质性科研成果，取决于全球学术共同体在形式化数据积累与持续算力赞助上的协同深度。
• 资料依据：
• Terence Tao 博客（2026-09-18）：https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/
• 量子位（2026-09-19）：https://www.qbitai.com/2026/09/492467.html

本内容由 AI 生成，仅供参考，请注意甄别