9 月 18 日，菲尔兹奖得主、华裔数学家陶哲轩（Terence Tao）在个人博客宣布：由他联合创立的非营利机构 SAIR Foundation（科学与 AI 研究基金会）正式启动 "开放数学模型计划"（Open Math Model Initiative），要联合学术界与产业界，为数学和基础科学研究打造开放权重的大模型与配套工具链。
为什么数学家要"自己造 AI"？
过去两年，AI 在数学上的表现突飞猛进，从 IMO 金牌到形式化证明都在被大模型改写。但科研人员很快发现：用大厂闭源模型做研究，模型不透明、评测不可复现、社区无法参与决策，很多前沿方法想复现都复现不了。SAIR 计划的思路是——模型权重开放、评测开放、治理由社区决定，让数学界真正"自己掌握工具"。
第一阶段干什么？
据介绍，计划首阶段聚焦数学家每天最耗时的三件事：
- 理解论证：帮研究者读懂一篇新论文的推理链条；
- 核对文献：自动检查引用是否准确、论据是否被正确转述；
- 形式化证明：把自然语言证明草稿逐步转成计算机可验证的形式化代码（类似 Lean / Isabelle 那种"证明助手"）。
对普通人意味着什么？
这个计划不直接做聊天机器人，而是想改变"做科研的方式"。如果成功，未来一名博士生读论文、查文献、写证明，背后都有一个开放、可审计的 AI 助手在协助——而不是只能依赖某家闭源公司。陶哲轩本人在数学社区的号召力，也让这个计划被视为"学术界下场"做开源大模型的标志性事件。
信息来源：量子位、DeepTech 深科技。
