菲尔兹奖得主陶哲轩领衔，SAIR Foundation开启“AI+数学”现象级新竞赛

在2026年“国际数学日”来临之际，SAIR Foundation正式启动首届“数学蒸馏挑战赛”。本次赛事由菲尔兹奖得主、UCLA教授陶哲轩，以及宾夕法尼亚大学副教授Damek Davis等专家共同组织，旨在突破AI逻辑推理瓶颈，将复杂的数学逻辑“蒸馏”为人类可理解的智慧。