最近,第二届「阿里巴巴全球数学竞赛」正在紧锣密鼓地开展,仅预选赛题目的公布就引来了大量围观。这种数学竞赛的举办似乎透露出一个信号:科技互联网公司越来越重视数学了。为什么会出现这种现象?数学好的人才对这些企业有多重要?在知乎的一个问题讨论中,阿里巴巴技术副总裁贾扬清、达摩院语音实验室负责人鄢志杰等业内大牛给出了自己的看法。

基础数学可以提供可以证明的方法突破。 基础数学和工程实践是一个乘法关系,可以相互放大它们的影响。



实际的浮点数是有比特数限制的,Strassen 算法因为使用多次加法,数值的稳定性会差。也就是说,「算不准」。
理论上的加速,还需要和硬件关联起来。现在的硬件因为乘法和加法在指令集层面的结合(fused multiplication and addition, FMA)以及指令流水线的缘故,最底层的乘法和加法如果不平衡,反而会造成减速
在通过 Strassen 算法做矩阵的乘积的时候,还需要考虑具体实现当中的 cache locality 的问题