青城科技|给我们出了什么难题?,马云和数学家( 三 )


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


推荐阅读