主题：一个华人几乎证明了孪生质数猜想，海外的 -- 老成都

我倒觉得，孪生素数、哥德巴赫猜想这样的经典猜想，其实完全可以当定理用（如果用电脑能演算到足够大），证明本身起的直接作用不大。

但是其证明过程很有用，很可能会发展出一个新的领域，然后在这个新领域里面会有很重要的作用，所以大家才几百年乐此不疲。

比如2、300百年前，人们不会解高次方程（3次及以上），后来发现用复数可以解决，于是复数大发展。

比如微积分也是在纯粹数学领域发展（莱布尼兹，牛顿不算，反正他和欧洲大陆的交流不多），现在要是没有这个工具，还有科学吗？

所以简单的证明过程意义不大（实际上在现有数学水平也不会有），但是用了复杂的数学工具来证明可能（基本是肯定）会促使某种数学工具的完善，这个作用可是很大很大的。