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

4月25日，英伟达发布两款专注于数学推理的AI模型——OpenMath-Nemotron-32B和OpenMath-Nemotron-14B-Kaggle。这两款基于Qwen系列transformer架构的模型，通过在OpenMathReasoning数据集上的深度微调，显著提升了复杂数学问题的解决...