（文 / 袁越）

传统的科学研究基本上可以分成四个步骤，先提出假说，再设计实验，然后做实验并得到数据，最后分析数据得出结论。在计算机出现之前，最重要的是前两步，这也是评价一个科学家水平高低的关键所在。但是随着时间的推移，科学研究的难点已经逐渐向后两个步骤转移，尤其是分析数据的能力正变得格外重要。

这方面的一个经典案例就是四色定理的证明。这个定理最早是在1977年被证明的，证明者将无限种可能出现的情况归纳为1936种状态，但仅靠人脑是无法对这么多状态逐一进行分析的，于是研究者借助计算机来完成这个工作。这是第一个主要借助计算机的超能力而被证明的数学定理，虽然证明过程不够漂亮，没能显示出人类理性的优美，但随着计算机性能的不断提升，借助计算机的力量来完成一些人类完不成的工作已经成为科学研究的常态了。

遗传学就是一个很好的案例。遗传学的开山鼻祖孟德尔仅仅依靠数豆子就总结出了遗传学的基本规律，但当基因组的密码被破解后，遗传学家们所要面对的数据量越来越大，对基因序列的数学分析已经可以自成一派，变成一门单独的学问了。