2026年9月11日，菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩在加州理工学院 Science x AI Summit 发表主题演讲。9月18日，SAIR正式启动「开放数学模型计划」。
陶哲轩在演讲中提出了一个关键观察：在数学问题求解的三个核心环节，证明生成（proof generation）、证明验证（proof verification）、证明消化（proof digestion）中，前两个环节正被AI以远超第三环节的速度自动化。这导致了一种新的现象：proof indigestion（证明消化不良），证明被生成、甚至被验证，却没有被消化。
所谓“消化”，是指理解一个证明为何成立、将其与已有数学文献相连接、并从中提取可迁移的思想。陶哲轩明确指出：“正确的衡量标准，不是证明是否被生成或验证，而是是否有人能就它做一场报告并回答问题。”
同一天，陶哲轩与另外24位菲尔兹奖得主联合发布声明《A Severe Misalignment of AI in Mathematics》。声明指出，前沿AI实验室倾向于将“解决著名未解问题”作为能力基准，这可能与数学共同体追求理解、洞察和人才培养的核心目标产生错位。
SAIR的回应是「开放数学模型计划」：与数学社区共同构建开放权重模型与开源工具，首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，以开放权重、可复现评测与社区治理为原则运作。
演讲还介绍了SAIR的四项竞赛：Distillation Challenge、Inverse Galois Challenge、Andrews-Curtis Challenge、Lean Kernel Challenge with Lean FRO。
时间轴：
00:00 数学的价值：不止于求解问题
04:54 AI生成与验证证明的速度与理解瓶颈
07:34 SAIR开放数学模型计划
10:37 将代数知识蒸馏为提示与程序
13:59 逆伽罗瓦挑战：从竞赛到协作
17:54 对齐AI激励与数学价值
21:21 保存人类洞察与数学知识质量
