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

2026年初，数学家陶哲轩以联合创始人身份发起非营利组织SAIR Foundation，旨在重塑AI与科学的关系，连接学术界与产业界，推动两大目标：用科学方法打造AI、借助AI重塑基础科研。陶哲轩指出，AI在科研中的应用需解决幻觉和可解释性问题，并强调高质量数据的重要性。SAIR希望促进跨学科、全球化协作，降低科研门槛，让AI成为普惠工具。陶哲轩认为，未来的科研将更注重团队合作，年轻研究者可通过导师制及多样化背景参与前沿研究。此外，高等教育需适应AI时代，培养批判性思维与协作能力。

北京时间2月11日凌晨1:00，全球顶尖科学家与AI领军人物将齐聚“AI for Science: Kickoff 2026”思想峰会。陶哲轩、巴里·巴里什等诺奖、菲尔兹奖得主，与微软、英伟达等科技巨头代表共同探讨未来十年AI赋能科研的新范式。会议聚焦三大核心议题：AI×数学验证、AI×产业落地及AI×高等教育转型。SAIR Foundation主办此次活动，致力于推动科研体系智能化，强调AI为科学装配“翅膀”，而非替代科学家。直播可通过SAIR官网及多平台同步观看，线下席位有限需提前报名。