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

陶哲轩在演讲中指出，人工智能（AI）并非要取代数学家，而是帮助扩展数学研究的范围。他强调形式验证是促进大规模数学协作的关键，能够解决信任问题。他的项目在三个月内解决了2200万道代数题，展示了AI与人类合作的潜力。AI应被视为工具，帮助处理大量中等难度问题，让数学家专注于更复杂的挑战。