时隔半年上海再抛“数学橄榄枝” 三道难题邀全球AI共探知识边界