2026年3月14日国际数学日，SAIR Foundation在‘圆周率时刻’正式启动首届‘数学蒸馏挑战赛’。赛事由菲尔兹奖得主陶哲轩等专家组织，聚焦AI逻辑推理瓶颈，旨在通过2200万道代数题和‘一张A4纸’策略指南的极限挑战，提升弱模型推理能力。比赛分为两阶段：策略测试（即日起至4月20日）与形式化验证（4月下旬）。主办方强调开放合作，欢迎全球学者和科学爱好者参与，并将公开研究数据以推动数学与AI交叉领域发展。