青城科技|给我们出了什么难题？，马云和数学家( 三 ) 2020年7月2日

印卧涛图源受访者
郑凡是今年阿里数学竞赛的金奖获得者，他现在在西班牙数学科学研究院做博士后。他参加了第一届阿里数学竞赛，拿了铜奖。再次参加是因为答题有意思，「赛题把数学和生活联系起来了」。「网络上有个段子说，数学只要会加减乘除、去买菜就行了，但阿里举办这个比赛其实想告诉大家，生活中还有很多的地方都用到数学。」郑凡说，天气预报里有数学，设计飞机也要用数学，数学还能预测海啸，通过数学建模测洋流运动功率。他的愿望就是利用自己的数学研究，减轻海啸给人类的伤害。
作为阿里巴巴达摩院决策智能实验室负责人，印卧涛的工作就是用数学解决复杂的业务问题。小到快递小哥的路线规划，物流的仓库选址，大到金融资金的调度，都可以还原成数学问题。
在数学家眼里，很多现实问题都能抽象化为数学模型，比如「ABtesting」问题。 APP开发者现有两套方案，想知道哪套更好，他需要同时对两个方案做测试，但并不希望在错的方案上浪费太多时间，那会影响用户体验。在信息不完备且实时变动的情况下，如何用最短时间找到答案？
这类问题的数学原型是赌博机问题——你拿着一笔钱到了拉斯维加斯，一排老虎机摆在面前，你要测试出哪台老虎机赢率高，但又不想在赢率低的机子上浪费太多钱。怎么办？
在业务场景以秒迭代的科技公司，来自现实的难题也是每时每刻涌现。每年双十一是普通人的狂欢节，但也是技术人员的极限挑战。每当11月11日零时到来，天猫tb的访问量和交易量会比日常高三倍，这个数字逐年倍增。 2019天猫双11的交易峰值达到54.4万笔/秒，是2009年第一次双11的1360倍。消费奇迹为这个时代的科技公司制造了世界第一的技术难题：技术要以什么样的速度升级，才能迎面追上疯涨的社会需求？
云计算、人工智能、芯片乃至量子，每一项技术爆炸的源头总是藏在纯数学中。「人工智能、大数据与数学密不可分的。有观点认为， AI的本质就是数学。」田刚说。「数学实力往往影响着国家实力，几乎所有的重大发现都与数学的发展与进步相关。」
云集多国数学人才的阿里巴巴全球数学竞赛图源受访者
交卷之后：走向山顶
今年阿里数学竞赛的预选赛答题时间有48小时，决赛6个小时，那已是常人难以想象的脑力激荡，但组织了这场竞赛的数学家们都说，最关键的是结束考试之后的日子。
「在竞赛中，你要花几个小时去思考一个问题，但从这场竞赛走出来之后，要把百米冲刺变成人生的马拉松。」田刚说。
在普林斯顿大学任教的时候，田刚是数学家安德鲁·怀尔斯（AndrewWiles）的同事。怀尔斯从1985年开始了费马大定理的解题之旅，花了七年寻找自己的证明，可是他公布结果之后，很快在同行评审中发现了论证中一个漏洞。在巨大的压力下，怀尔斯又花了14个月，反复检查、思考，最终修改完善了他的证明。费马大定理的证明被公认为20世纪最伟大的数学成就之一。
「做研究的时候，你对一个问题思考一小时，跟思考一个月，本质上没有太大的区别，关键就在于你愿不愿意思考下去。怀尔斯在宣布解决后发现有问题的状况下，还能沉下心来，这需要巨大的勇气，也需要非凡的毅力。」田刚说。
一生投身数学的田刚说，数学带给他两种乐趣，想得通有乐趣，想不通也有乐趣。想通了是一种兴奋感，经过很长时间的努力，走了很久的路终于豁然开朗，天亮了。想不通的时候也有喜悦，就像爬山一样，爬过一定的高度，即便没到山顶，回头一看，视野依然有了提升，风景有一种独特的美。