【国际数学日】数学蒸馏挑战赛启动
宾夕法尼亚大学副教授Damek Davis与菲尔兹奖得主陶哲轩共同发起新竞赛，核心命题：将数学推理"蒸馏"为AI可执行的简短提示词。
详情请关注SAIR Foundation官网
#AI辅助数学# #提示工程# #陶哲轩# #形式化证明# #数学基础# http://t.cn/AXfLE19k
发布于 北京
SAIRfoundation
【国际数学日】数学蒸馏挑战赛启动
宾夕法尼亚大学副教授Damek Davis与菲尔兹奖得主陶哲轩共同发起新竞赛，核心命题：将数学推理"蒸馏"为AI可执行的简短提示词。
详情请关注SAIR Foundation官网
#AI辅助数学# #提示工程# #陶哲轩# #形式化证明# #数学基础# http://t.cn/AXfLE19k