陶哲轩宣布SAIR开放数学操作系统软启动，提供类似前沿AI的数学服务。平台托管DeepSeek V4.1 Flash、Kimi K3和GLM 5.3 Flash等开放模型，能力约落后前沿模型一年，但足以完成中等规模Lean形式化、总结数学论证等任务。平台强调团队账户，成员可互见提示词，适合协作。正招募伙伴微调数学专用模型，使用捐赠算力，向学术机构免费开放账户，欢迎反馈。

陶哲轩代表SAIR基金会启动开放数学模型计划，联合学界与产业界构建开放权重模型及开源工具。首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，遵循开放权重、可复现评测和社区治理原则，现征集资金、算力、专业经验与社区建设合作伙伴。

陶哲轩宣布，其联合创办的SAIR基金会启动“开放模型”计划，联合学界与业界开发科学开源大模型及工具。首阶段聚焦数学研究，包括理解论证、验证引用、编写代码和形式化证明。模型权重、代码和训练方法将开放，数据使用需经同意，社区主导治理，欢迎各方以资金、算力或专业知识参与。

陶哲轩等人宣布启动Lean内核挑战赛第一阶段，旨在提升Lean 4内核验证计算的性能。比赛设八个问题：斐波那契、整数分拆、梅尔滕斯函数、素数计数、矩阵积和式、Rule 110、SHA-256和多项式判别式。参赛者需用Lean开发算法并证明其符合规范。截止日期为2026年11月20日，由Lean FRO与SAIR基金会合办。

陶哲轩等人发起安德鲁斯–柯蒂斯猜想挑战赛，由SAIR基金会与加州理工Math-AI团队合办。该猜想称平凡群的平衡表示可经AC变换化为平凡表示，与低维拓扑及四维光滑庞加莱猜想相关。比赛设发现赛道，提供10115个二生成元表示，要求寻找最短平凡化路径；证明赛道接受证明或反例。截止日期为2026年11月30日，欢迎AI工具参与。

本文介绍了第三届SAIR挑战，旨在收集逆伽罗瓦问题的数值数据。该项目与L-functions和模形式数据库合作，参与者需寻找具有特定伽罗瓦群的整数多项式。挑战分为两个阶段，第一阶段关注广度，利用众包和现代AI技术，鼓励提交小判别式的多项式，比赛将于8月15日结束，随后启动第二阶段，侧重于更具合作性和创造性的数学成果。

SAIR Foundation于2026年3月14日启动“数学蒸馏挑战赛”，旨在突破AI逻辑瓶颈，提升机器推理能力。比赛提供2200万道代数题，参赛者需编写压缩的“策略指南”以提高弱模型的准确率，分为两个阶段，欢迎全球学者和爱好者参与。